Function Parameters List at time s

function parameters that are defined in the function definition

Format:

Parameters List at time s

Input:

Output:

Conditional properties that reference this function:

• if Expression Stack at time t = [ [ Python list elements, ys ], rest ], then Parameters List at time (t + 1) = None

  (link)

• if Expression Stack at time t = [ [ obj_name.method_name(args), ys ], rest ], then Parameters List at time (t + 1) = None

  (link)

• if Expression Stack at time t = [ [ Python dictionary entries, ys ], rest ], then Parameters List at time (t + 1) = None

  (link)

• if Expression Stack at time t = [ [ entry key: value, ys ], rest ], then Parameters List at time (t + 1) = None

  (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 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:

  • Parameters List at time t = [ ]
  • 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 ]
  • line number of method method_name of class class_name in (Class Map at time t) = line

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

  (link)

• if the following are true:

  • Parameters List at time t = [ ]
  • 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 ]
  • line number of method method_name of class class_name in (Class Map at time t) = line

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

  (link)

• if the following are true:

  • Parameters List at time t = [ ]
  • 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 ]
  • line number of method method_name of class class_name in (Class Map at time t) = line

  then Control Map at time (t + 1) = [ entry 0: (pair ("class", class_name)), [ entry 1: (pair ("method", method_name)), [ ] ] ]

  (link)

• if the following are true:

  • Return Value at time t = [ r, [ ] ]
  • Expression Stack at time t = [ [ ], [ [ name.method(args), ys ], rest ] ]
  • Value Stack at time t = [ next_level, other_levels ]

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

  (link)

• if Expression Stack at time t = [ [ Python constructor with name: class_name and arguments: args, ys ], rest ], then Parameters List at time (t + 1) = None

  (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 Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

  then Function Variables Map at time (t + 1) = [ entry self: (Python reference (length of stack (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 ] ]
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

  then Python Object Store at time (t + 1) = result of appending (Python object: [ entry "__class_name__": class_name, [ ] ]) to (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 ] ]
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

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

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

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

  (link)

• if the following are true:

  • Parameters List at time t = [ ]
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • line number of method "__init__" of class class_name in (Class Map at time t) = line

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

  (link)

• if the following are true:

  • Parameters List at time t = [ ]
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • line number of method "__init__" of class class_name in (Class Map at time t) = line

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

  (link)

• if the following are true:

  • Parameters List at time t = [ ]
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: class_name and arguments: args, ys ], rest ] ]
  • line number of method "__init__" of class class_name in (Class Map at time t) = line

  then Control Map at time (t + 1) = [ entry 0: (pair ("class", class_name)), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

  (link)

• if the following are true:

  • Return Value at time t = [ r, [ ] ]
  • Expression Stack at time t = [ [ ], [ [ Python constructor with name: clss_name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ next_level, other_levels ]

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

  (link)

• if Expression Stack at time t = [ [ obj.attr, ys ], rest ], then Parameters List at time (t + 1) = None

  (link)

• if Expression Stack at time t = [ [ obj.key = value, [ ] ], [ ] ], then Parameters List at time (t + 1) = None

  (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)

• if the following are true:

  • Expression Stack at time t = [ [ x, ys ], rest ]
  • Value Stack at time t = [ values, v_rest ]
  • x is constant

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

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ x, ys ], rest ]
  • Value Stack at time t = [ values, v_rest ]
  • x is a variable

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

  (link)

• if Expression Stack at time t = [ [ function call with name: name and arguments: args, ys ], rest ], then Parameters List at time (t + 1) = None

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ values, v_rest ]
  • there is a function named name with parameters params at line line
  • 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 = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ values, v_rest ]
  • there is a function named name with parameters params at line line
  • Parameters List at time t = None

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

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ values, v_rest ]
  • there is a function named name with parameters params at line line
  • 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 = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ values, v_rest ]
  • there is a function named name with parameters params at line line
  • Parameters List at time t = None

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

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ values, v_rest ]
  • there is a function named name with parameters params at line line
  • 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 = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ values, v_rest ]
  • there is a function named name with parameters params at line line
  • 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 = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ values, v_rest ]
  • there is a function named name with parameters params at line line
  • 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 = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ values, v_rest ]
  • there is a function named name with parameters params at line line
  • 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 = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ values, v_rest ]
  • there is a function named name with parameters params at line line
  • 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 = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ values, v_rest ]
  • there is a function named name with parameters params at line line
  • 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 = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ values, v_rest ]
  • there is a function named name with parameters params at line line
  • Parameters List at time t = None

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

  (link)

• if the following are true:

  • Parameters List at time t = [ var, frest ]
  • Argument Values at time t = [ value, vrest ]

  then Function Variables Map at time (t + 1) = result of storing value at key: var in map: (Function Variables Map at time t)

  (link)

• if the following are true:

  • Parameters List at time t = [ var, frest ]
  • Argument Values at time t = [ value, vrest ]

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

  (link)

• if the following are true:

  • Parameters List at time t = [ var, frest ]
  • Argument Values at time t = [ value, vrest ]

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

  (link)

• if the following are true:

  • Parameters List at time t = [ var, frest ]
  • Argument Values at time t = [ value, vrest ]

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

  (link)

• if Parameters List at time t = [ var, frest ], then Expression Stack at time (t + 1) = Expression Stack at time t

  (link)

• if Parameters List at time t = [ var, frest ], then Variables Map at time (t + 1) = Variables Map at time t

  (link)

• if Parameters List at time t = [ var, frest ], then Control Map at time (t + 1) = Control Map at time t

  (link)

• if Parameters List at time t = [ var, frest ], then Context Stack at time (t + 1) = Context Stack at time t

  (link)

• if Parameters List at time t = [ var, frest ], then the line at time (t + 1) = the line at time t

  (link)

• if Parameters List at time t = [ var, frest ], then the tab at time (t + 1) = the tab at time t

  (link)

• if Parameters List at time t = [ var, frest ], then Value Stack at time (t + 1) = Value Stack at time t

  (link)

• if Parameters List at time t = [ ], then Variables Map at time (t + 1) = Function Variables Map at time t

  (link)

• if Parameters List at time t = [ ], then the tab at time (t + 1) = 1

  (link)

• if Parameters List at time t = [ ], then Context Stack at time (t + 1) = [ program context with variables: (Variables Map at time t) and expression state: (expression state with expression stack: (Expression Stack at time t) values: (Value Stack at time t) line: (the line at time t) tab: (the tab at time t)) and control map: (Control Map at time t), Context Stack at time t ]

  (link)

• if Parameters List at time t = [ ], then Parameters List at time (t + 1) = None

  (link)

• if Parameters List at time t = [ ], then Expression Stack at time (t + 1) = [ ]

  (link)

• if Parameters List at time t = [ ], then Python Object Store at time (t + 1) = Python Object Store at time t

  (link)

• if the following are true:

  • Parameters List at time t = [ ]
  • Expression Stack at time t = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • there is a function named name with parameters params at line line

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

  (link)

• if the following are true:

  • Parameters List at time t = [ ]
  • Expression Stack at time t = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • there is a function named name with parameters params at line line

  then Control Map at time (t + 1) = [ entry 0: (pair ("function", name)), [ ] ]

  (link)

• if the following are true:

  • Return Value at time t = [ r, [ ] ]
  • Expression Stack at time t = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
  • Value Stack at time t = [ next_level, other_levels ]

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

  (link)

Comments

Please log in to add comments