Function Find Method in Class

None

Format:

definition of method method_name of class class_name in class_defs

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 Expression Stack at time (t + 1) = [ ys, rest ]

  (link)

• 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 value at method_name in map (value at "methods" in map (value at class_name in map class_defs)) = method_map, then definition of method method_name of class class_name in class_defs = method_map

  (link)

Comments

Please log in to add comments