Function target = value

an assign statement sets the value at target to value

Format:

target = value

Input:

number target -
number value -

Output:

statement - None

Properties that reference this function:

type of x = e = "assign" (Type of Assign)
getattr(target_1, target_2) = value = setattr(target_1, target_2, value) (assign to set attribute)
__getitem__(object, key) = value = __setitem__(object, key, value) (assign getitem to set item)

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 list elements)
    • Expression Stack at time t = [ ]

    then Expression Stack at time (t + 1) = [ [ Python list elements, [ ] ], [ ] ]

    (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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • Expression Stack at time t = [ ]

    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 target and expression (obj_name.method_name(args))
    • Expression Stack at time t = [ ]

    then Expression Stack at time (t + 1) = [ [ obj_name.method_name(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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(args))
    • Expression Stack at time t = [ ]

    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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(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 dictionary elements)
    • Expression Stack at time t = [ ]

    then Expression Stack at time (t + 1) = [ [ Python dictionary elements, [ ] ], [ ] ]

    (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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • 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 (obj_name.method_name(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 (obj_name.method_name(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 (obj_name.method_name(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 (obj_name.method_name(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 (obj_name.method_name(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 (obj_name.method_name(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 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 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 (obj.attr)
    • Expression Stack at time t = [ ]

    then Expression Stack at time (t + 1) = [ [ obj.attr, [ ] ], [ ] ]

    (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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • Expression Stack at time t = [ ]

    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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 = x = c

    then "if" map at time (t + 1) = "if" 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 = x = c

    then 'while stack' at time (t + 1) = 'while 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 = x = c

    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 = x = c

    then Class Map at time (t + 1) = Class 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 = x = c
    • c is constant

    then Variables Map at time (t + 1) = result of storing c 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 = x = c
    • c is constant

    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 = x = c
    • c is constant

    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 = x = c
    • c is constant

    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 = x = c
    • c is constant

    then expression state at time (t + 1) = "not_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 = x = c
    • c is constant

    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 = x = c
    • c is a variable

    then Variables Map at time (t + 1) = result of storing (value at c in map (Variables Map 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 = x = c
    • c is a variable

    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 = x = c
    • c is a variable

    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 = x = c
    • c is a variable

    then expression state at time (t + 1) = "not_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 = x = c
    • c is a variable

    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 = x = c
    • c is a variable

    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 (function call with name: name and arguments: args)
    • expression state at time t = "not_expr"

    then the expression at time (t + 1) = function call 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 (function call 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 (function call 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 (function call 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 (function call 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 (function call 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 (function call 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 (function call 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 (function call 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:
    • 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 (function call 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 (function call 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 (function call with name: 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 (function call with name: 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 (function call with name: 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 (function call with name: 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 (function call with name: 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 (function call with name: name and arguments: args)
    • expression state at time t = "end_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 list elements)
    • expression state at time t = "not_expr"

    then the expression at time (t + 1) = Python list elements

    (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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • expression state at time t = "not_expr"

    then arguments 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • 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 list elements)
    • expression state at time t = "end_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 target and expression (obj_name.method_name(args))
    • expression state at time t = "not_expr"

    then the expression at time (t + 1) = obj_name.method_name(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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(args))
    • expression state at time t = "not_expr"

    then arguments 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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(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 target and expression (obj_name.method_name(args))
    • expression state at time t = "not_expr"

    then "if" map at time (t + 1) = "if" 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 target and expression (obj_name.method_name(args))
    • expression state at time t = "not_expr"

    then 'while stack' at time (t + 1) = 'while 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 dictionary elements)
    • expression state at time t = "not_expr"

    then the expression at time (t + 1) = Python dictionary elements

    (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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • expression state at time t = "not_expr"

    then arguments 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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • 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 dictionary elements)
    • 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 (obj_name.method_name(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 (obj_name.method_name(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 (obj_name.method_name(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 (obj_name.method_name(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 (obj_name.method_name(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 (obj_name.method_name(args))
    • expression state at time t = "end_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 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:
    • 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)
  • 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 (obj.attr)
    • expression state at time t = "not_expr"

    then the expression at time (t + 1) = obj.attr

    (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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • expression state at time t = "not_expr"

    then arguments 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • 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 (obj.attr)
    • expression state at time t = "end_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 = target = expr
    • Expression Stack at time t = [ ]

    then Expression Stack at time (t + 1) = [ [ 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 = target = expr
    • 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 = target = expr
    • 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 = target = expr
    • 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 = target = expr
    • 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 = target = expr
    • Expression Stack at time t = [ ]

    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 = target = expr
    • 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 = target = expr
    • 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 = target = expr
    • Expression Stack at time t = [ [ ], [ ] ]
    • Value Stack at time t = [ [ value, [ ] ], [ ] ]

    then Variables Map at time (t + 1) = result of storing value at key: target 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 = target = expr
    • 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 = target = expr
    • 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 = target = expr
    • 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 = target = expr
    • 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 = target = expr
    • 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 = target = expr

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

    (link)


Comments

Please log in to add comments