Function Find method parameters

None

Format:

method parameters where the Class Map is class_defs, class name is class_name, and method name is method_name

Input:

Output:

Conditional properties that reference this function:

• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ obj_name.method_name(args), ys ], rest ] ]
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params
  • Parameters List at time t = None
  • Value Stack at time t = [ values, v_stack ]

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

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ obj_name.method_name(args), ys ], rest ] ]
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params
  • Parameters List at time t = None
  • Value Stack at time t = [ values, v_stack ]

  then Value Stack at time (t + 1) = v_stack

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ obj_name.method_name(args), ys ], rest ] ]
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params
  • Parameters List at time t = None
  • Value Stack at time t = [ values, v_stack ]

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

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ obj_name.method_name(args), ys ], rest ] ]
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params
  • Parameters List at time t = None
  • Value Stack at time t = [ values, v_stack ]

  then Argument Values at time (t + 1) = [ Python reference index, reverse of values ]

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ obj_name.method_name(args), ys ], rest ] ]
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params
  • Parameters List at time t = None
  • Value Stack at time t = [ values, v_stack ]

  then Expression Stack at time (t + 1) = Expression Stack at time t

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ obj_name.method_name(args), ys ], rest ] ]
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params
  • Parameters List at time t = None
  • Value Stack at time t = [ values, v_stack ]

  then Variables Map at time (t + 1) = Variables Map at time t

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ obj_name.method_name(args), ys ], rest ] ]
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params
  • Parameters List at time t = None
  • Value Stack at time t = [ values, v_stack ]

  then Control Map at time (t + 1) = Control Map at time t

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ obj_name.method_name(args), ys ], rest ] ]
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params
  • Parameters List at time t = None
  • Value Stack at time t = [ values, v_stack ]

  then Python Object Store at time (t + 1) = Python Object Store at time t

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ obj_name.method_name(args), ys ], rest ] ]
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params
  • Parameters List at time t = None
  • Value Stack at time t = [ values, v_stack ]

  then Context Stack at time (t + 1) = Context Stack at time t

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ obj_name.method_name(args), ys ], rest ] ]
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params
  • Parameters List at time t = None
  • Value Stack at time t = [ values, v_stack ]

  then the line at time (t + 1) = the line at time t

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ obj_name.method_name(args), ys ], rest ] ]
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params
  • Parameters List at time t = None
  • Value Stack at time t = [ values, v_stack ]

  then the tab at time (t + 1) = the tab at time t

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ evaluated, stack ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params
  • Parameters List at time t = None

  then Value Stack at time (t + 1) = stack

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ evaluated, stack ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params
  • Parameters List at time t = None

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

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ evaluated, stack ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = 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 = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ evaluated, stack ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params
  • Parameters List at time t = None

  then Argument Values at time (t + 1) = reverse of evaluated

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ evaluated, stack ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params
  • Parameters List at time t = None

  then Expression Stack at time (t + 1) = Expression Stack at time t

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ evaluated, stack ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params
  • Parameters List at time t = None

  then Variables Map at time (t + 1) = Variables Map at time t

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ evaluated, stack ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params
  • Parameters List at time t = None

  then Control Map at time (t + 1) = Control Map at time t

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ evaluated, stack ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params
  • Parameters List at time t = None

  then Python Object Store at time (t + 1) = Python Object Store at time t

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ evaluated, stack ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params
  • Parameters List at time t = None

  then Context Stack at time (t + 1) = Context Stack at time t

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ evaluated, stack ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params
  • Parameters List at time t = None

  then the line at time (t + 1) = the line at time t

  (link)
• if the following are true:
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ evaluated, stack ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params
  • Parameters List at time t = None

  then the tab at time (t + 1) = the tab at time t

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • the expression at time t = obj_name.method_name(args)
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params

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

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • the expression at time t = obj_name.method_name(args)
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params

  then Python Object Store at time (t + 1) = Python Object Store at time t

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is "__init__" = params

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

  (link)
• if the following are true:
  • definition of method method_name of class class_name in class_defs = method_map
  • value at "params" in map method_map = params

  then method parameters where the Class Map is class_defs, class name is class_name, and method name is method_name = params

  (link)

Comments

Please log in to add comments