Function Python Super Reference

This is a reference to a Python object.

Format:

Python super reference index class

Input:

Output:

Conditional properties that reference this function:

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ super(), ys ], rest ] ]
  • Value Stack at time t = [ [ ], [ next_level, other_levels ] ]
  • Control Map at time t = [ entry 0: (pair ("class", class_name)), [ entry 1: (pair ("method", method_name)), [ ] ] ]
  • definition of method method_name of class class_name in (Class Map at time t) = method_map
  • value at "params" in map method_map = [ param_name, other_params ]
  • value at param_name in map (Variables Map at time t) = Python reference pi

  then Value Stack at time (t + 1) = [ [ Python super reference pi class_name, next_level ], other_levels ]

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ super().method_name(args), ys ], rest ] ]
  • Value Stack at time t = [ values, [ next_level, other_levels ] ]
  • reverse of values = [ Python super reference pi class_name, other_vals ]
  • Class Map at time t = cds
  • value at "bases" in map (value at class_name in map cds) = base_classes
  • definition of method method_name in base classes base_classes in (Class Map at time t) = method_map
  • value at "params" in map method_map = [ base_param, other_base_params ]
  • Parameters List at time t = None

  then Parameters List at time (t + 1) = [ base_param, other_base_params ]

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ super().method_name(args), ys ], rest ] ]
  • Value Stack at time t = [ values, [ next_level, other_levels ] ]
  • reverse of values = [ Python super reference pi class_name, other_vals ]
  • Class Map at time t = cds
  • value at "bases" in map (value at class_name in map cds) = base_classes
  • definition of method method_name in base classes base_classes in (Class Map at time t) = method_map
  • value at "params" in map method_map = [ base_param, other_base_params ]
  • Parameters List at time t = None

  then Argument Values at time (t + 1) = [ Python super reference pi class_name, other_vals ]

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ super().method_name(args), ys ], rest ] ]
  • Value Stack at time t = [ values, [ next_level, other_levels ] ]
  • reverse of values = [ Python super reference pi class_name, other_vals ]
  • Class Map at time t = cds
  • value at "bases" in map (value at class_name in map cds) = base_classes
  • definition of method method_name in base classes base_classes in (Class Map at time t) = method_map
  • value at "params" in map method_map = [ base_param, other_base_params ]
  • Parameters List at time t = None

  then Function Variables Map at time (t + 1) = [ ]

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ super().method_name(args), ys ], rest ] ]
  • Value Stack at time t = [ values, [ next_level, other_levels ] ]
  • reverse of values = [ Python super reference pi class_name, other_vals ]
  • Class Map at time t = cds
  • value at "bases" in map (value at class_name in map cds) = base_classes
  • definition of method method_name in base classes base_classes in (Class Map at time t) = method_map
  • value at "params" in map method_map = [ base_param, other_base_params ]
  • Parameters List at time t = None

  then Value Stack at time (t + 1) = [ next_level, other_levels ]

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ super().method_name(args), ys ], rest ] ]
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ base_param, other_base_params ]
  • Argument Values at time t = [ Python super reference pi class_name, other_vals ]

  then Function Variables Map at time (t + 1) = result of storing (Python reference pi) at key: base_param in map: (Function Variables Map at time t)

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ super().method_name(args), ys ], rest ] ]
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ base_param, other_base_params ]
  • Argument Values at time t = [ Python super reference pi class_name, other_vals ]

  then Parameters List at time (t + 1) = other_base_params

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ super().method_name(args), ys ], rest ] ]
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ base_param, other_base_params ]
  • Argument Values at time t = [ Python super reference pi class_name, other_vals ]

  then Argument Values at time (t + 1) = other_vals

  (link)

Comments

Please log in to add comments