Function Python Constructor

This is the Python Object Constructor.

Format:

Python constructor with name: class_name and arguments: arguments

Input:

Output:

Conditional properties that reference this function:

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • Expression Stack at time t = [ ]

  then Expression Stack at time (t + 1) = [ [ Python constructor with name: name and arguments: args, [ ] ], [ ] ]

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • Expression Stack at time t = [ ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • Expression Stack at time t = [ ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • Expression Stack at time t = [ ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • Expression Stack at time t = [ ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • Expression Stack at time t = [ ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • Expression Stack at time t = [ ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • Expression Stack at time t = [ ]

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

  (link)

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

  (link)

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

  (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 Expression Stack at time t = [ [ Python constructor with name: class_name and arguments: args, ys ], rest ], then the line at time (t + 1) = the line at time t

  (link)

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

  (link)

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

  (link)

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

  (link)

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

  (link)

• if Expression Stack at time t = [ [ Python constructor with name: class_name and arguments: args, ys ], rest ], 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 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 Value Stack at time (t + 1) = [ [ r, next_level ], other_levels ]

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

  (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 Return Value at time (t + 1) = [ ]

  (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 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 Variables Map at time (t + 1) = Variables Map at time t

  (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 Control Map at time (t + 1) = Control Map at time t

  (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 Python Object Store at time (t + 1) = Python Object Store at time t

  (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 Context Stack at time (t + 1) = Context Stack at time t

  (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 the line at time (t + 1) = the line at time t

  (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 the tab at time (t + 1) = the tab at time t

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: class_name and arguments: args)
  • Expression Stack at time t = [ [ ], [ ] ]
  • Value Stack at time t = [ [ value, [ ] ], [ ] ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: class_name and arguments: args)
  • Expression Stack at time t = [ [ ], [ ] ]
  • Value Stack at time t = [ [ value, [ ] ], [ ] ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: class_name and arguments: args)
  • Expression Stack at time t = [ [ ], [ ] ]
  • Value Stack at time t = [ [ value, [ ] ], [ ] ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: class_name and arguments: args)
  • Expression Stack at time t = [ [ ], [ ] ]
  • Value Stack at time t = [ [ value, [ ] ], [ ] ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: class_name and arguments: args)
  • Expression Stack at time t = [ [ ], [ ] ]
  • Value Stack at time t = [ [ value, [ ] ], [ ] ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: class_name and arguments: args)
  • Expression Stack at time t = [ [ ], [ ] ]
  • Value Stack at time t = [ [ value, [ ] ], [ ] ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • expression state at time t = "not_expr"

  then the expression at time (t + 1) = Python constructor with name: name and arguments: args

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • expression state at time t = "not_expr"

  then expression state at time (t + 1) = "begin_expr"

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • expression state at time t = "not_expr"

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • expression state at time t = "not_expr"

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • expression state at time t = "not_expr"

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • expression state at time t = "not_expr"

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • expression state at time t = "not_expr"

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • expression state at time t = "not_expr"

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • expression state at time t = "not_expr"

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • expression state at time t = "not_expr"

  then parent stack at time (t + 1) = [ ]

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: name and arguments: args)
  • expression state at time t = "not_expr"

  then arguments stack at time (t + 1) = [ ]

  (link)

• if the following are true:

  • expression state at time t = "begin_expr"
  • the expression at time t = Python constructor with name: class_name and arguments: args

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

  (link)

• if the following are true:

  • expression state at time t = "begin_expr"
  • the expression at time t = Python constructor with name: class_name and arguments: args

  then parent stack at time (t + 1) = [ Python constructor with name: class_name and arguments: args, parent stack at time t ]

  (link)

• if the following are true:

  • expression state at time t = "begin_expr"
  • the expression at time t = Python constructor with name: class_name and arguments: args

  then arguments stack at time (t + 1) = [ args, arguments stack at time t ]

  (link)

• if the following are true:

  • expression state at time t = "begin_expr"
  • the expression at time t = Python constructor with name: class_name and arguments: args

  then expression state at time (t + 1) = "iterate_args"

  (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

  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"
  • Value Stack at time t = [ evaluated, stack ]
  • the expression at time t = Python constructor with name: class_name and arguments: args

  then expression state at time (t + 1) = "call_build_args"

  (link)

• if the following are true:

  • expression state at time t = "call_function_begin"
  • Value Stack at time t = [ evaluated, stack ]
  • the expression at time t = Python constructor with name: class_name and arguments: args

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

  (link)

• if the following are true:

  • expression state at time t = "call_function_begin"
  • Value Stack at time t = [ evaluated, stack ]
  • the expression at time t = Python constructor with name: class_name and arguments: args

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

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

  • expression state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • 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 state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • 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 state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • 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 state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • 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:

  • expression state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

  then expression state at time (t + 1) = "call_build_args"

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

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

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

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

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • Function Variables Map at time t = [ ]
  • Parameters List at time t = [ self, p_rest ]

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

  (link)

• if the following are true:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • 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:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • 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:

  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • 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:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: class_name and arguments: args)
  • expression state at time t = "end_expr"

  then Variables Map at time (t + 1) = result of storing (Return Value at time t) at key: x in map: (Variables Map at time t)

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: class_name and arguments: args)
  • expression state at time t = "end_expr"

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: class_name and arguments: args)
  • expression state at time t = "end_expr"

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: class_name and arguments: args)
  • expression state at time t = "end_expr"

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: class_name and arguments: args)
  • expression state at time t = "end_expr"

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (Python constructor with name: class_name and arguments: args)
  • expression state at time t = "end_expr"

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

  (link)

Comments

Please log in to add comments