Function function call with name: name and arguments: args

request to call the function name with input args

Format:

function call with name: name and arguments: args

Input:

string name -
list args -

Output:

expression - None

Properties that reference this function:

expression a + b = __add__(a, b) (Addition To Function Call Property)
expression a * b = __mul__(a, b) (Multiplication To Function Call Property)
expression a == b = __eq__(a, b) (Equal To Function Call Property)
expression a > b = __gt__(a, b) (Greater Than To Function Call Property)
expression a < b = __lt__(a, b) (Less Than To Function Call Property)
target_1.target_2 = getattr(target1, target2) (get attribute to getattr)
getattr(target_1, target_2) = value = setattr(target_1, target_2, value) (assign to set attribute)
object[key] = __getitem__(object, key) (get item to getitem)
__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 = function call with name: "__getitem__" 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:
    • Expression Stack at time t = [ [ ], [ [ function call with name: "__getitem__" and arguments: args, ys ], rest ] ]
    • Value Stack at time t = [ [ a, [ Python reference idx, [ ] ] ], [ next_level, other_levels ] ]
    • the element at index idx of stack (Python Object Store at time t) = Python list entries

    then Value Stack at time (t + 1) = [ [ the element at index a of stack entries, next_level ], other_levels ]

    (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__getitem__" and arguments: args, ys ], rest ] ], then Expression Stack at time (t + 1) = [ ys, rest ] (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__getitem__" and arguments: args, ys ], rest ] ], then the line at time (t + 1) = the line at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__getitem__" and arguments: args, ys ], rest ] ], then the tab at time (t + 1) = the tab at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__getitem__" and arguments: args, ys ], rest ] ], then Variables Map at time (t + 1) = Variables Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__getitem__" and arguments: args, ys ], rest ] ], then Control Map at time (t + 1) = Control Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__getitem__" and arguments: args, ys ], rest ] ], 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 = function call with name: "len" 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:
    • Value Stack at time t = [ [ Python reference idx, [ ] ], [ next_level, other_levels ] ]
    • Expression Stack at time t = [ [ ], [ [ function call with name: "len" and arguments: args, ys ], rest ] ]
    • the element at index idx of stack (Python Object Store at time t) = Python list entries

    then Value Stack at time (t + 1) = [ [ length of stack entries, next_level ], other_levels ]

    (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "len" and arguments: args, ys ], rest ] ], then Expression Stack at time (t + 1) = [ ys, rest ] (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "len" and arguments: args, ys ], rest ] ], then the line at time (t + 1) = the line at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "len" and arguments: args, ys ], rest ] ], then the tab at time (t + 1) = the tab at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "len" and arguments: args, ys ], rest ] ], then Variables Map at time (t + 1) = Variables Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "len" and arguments: args, ys ], rest ] ], then Control Map at time (t + 1) = Control Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "len" and arguments: args, ys ], rest ] ], 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 = function call with name: "__contains__" 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:
    • Value Stack at time t = [ [ a, [ Python reference idx, [ ] ] ], [ next_level, other_levels ] ]
    • Expression Stack at time t = [ [ ], [ [ function call with name: "__contains__" and arguments: args, ys ], rest ] ]
    • the element at index idx of stack (Python Object Store at time t) = Python list entries

    then Value Stack at time (t + 1) = [ [ stack entries contains a, next_level ], other_levels ]

    (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__contains__" and arguments: args, ys ], rest ] ], then Expression Stack at time (t + 1) = [ ys, rest ] (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__contains__" and arguments: args, ys ], rest ] ], then the line at time (t + 1) = the line at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__contains__" and arguments: args, ys ], rest ] ], then the tab at time (t + 1) = the tab at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__contains__" and arguments: args, ys ], rest ] ], then Variables Map at time (t + 1) = Variables Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__contains__" and arguments: args, ys ], rest ] ], then Control Map at time (t + 1) = Control Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__contains__" 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 = [ [ ], [ [ function call with name: "__getitem__" and arguments: args, ys ], rest ] ]
    • Value Stack at time t = [ [ a, [ Python reference idx, [ ] ] ], [ next_level, other_levels ] ]
    • the element at index idx of stack (Python Object Store at time t) = Python dictionary entries

    then Value Stack at time (t + 1) = [ [ value at a in map entries, next_level ], other_levels ]

    (link)
  • if the following are true:
    • Expression Stack at time t = [ [ ], [ [ function call with name: "__setitem__" and arguments: args, ys ], rest ] ]
    • Value Stack at time t = [ [ value, [ key, [ Python reference idx, [ ] ] ] ], [ next_level, other_levels ] ]
    • the element at index idx of stack (Python Object Store at time t) = Python dictionary entries

    then Python Object Store at time (t + 1) = result of storing (Python dictionary (result of storing value at key: key in map: entries)) at index idx of stack (Python Object Store at time t)

    (link)
  • if the following are true:
    • Expression Stack at time t = [ [ ], [ [ function call with name: "__setitem__" and arguments: args, ys ], rest ] ]
    • Value Stack at time t = [ [ value, [ key, [ Python reference idx, [ ] ] ] ], [ next_level, other_levels ] ]
    • the element at index idx of stack (Python Object Store at time t) = Python dictionary entries

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

    (link)
  • if the following are true:
    • Expression Stack at time t = [ [ ], [ [ function call with name: "__setitem__" and arguments: args, ys ], rest ] ]
    • Value Stack at time t = [ [ value, [ key, [ Python reference idx, [ ] ] ] ], [ next_level, other_levels ] ]
    • the element at index idx of stack (Python Object Store at time t) = Python list elements

    then Python Object Store at time (t + 1) = result of storing (Python list (result of storing value at index key of stack elements)) at index idx of stack (Python Object Store at time t)

    (link)
  • if the following are true:
    • Expression Stack at time t = [ [ ], [ [ function call with name: "__setitem__" and arguments: args, ys ], rest ] ]
    • Value Stack at time t = [ [ value, [ key, [ Python reference idx, [ ] ] ] ], [ next_level, other_levels ] ]
    • the element at index idx of stack (Python Object Store at time t) = Python list elements

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

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • statement at line i, tab j = function call with name: "__setitem__" and arguments: args
    • Expression Stack at time t = [ ]

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

    (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__setitem__" and arguments: args, ys ], rest ] ], then Expression Stack at time (t + 1) = [ ys, rest ] (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__setitem__" and arguments: args, ys ], rest ] ], then the line at time (t + 1) = the line at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__setitem__" and arguments: args, ys ], rest ] ], then the tab at time (t + 1) = the tab at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__setitem__" and arguments: args, ys ], rest ] ], then Variables Map at time (t + 1) = Variables Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__setitem__" and arguments: args, ys ], rest ] ], then Control Map at time (t + 1) = Control Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__setitem__" and arguments: args, ys ], rest ] ], 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 = 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 = 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 = 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 = 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 = 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 = 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 = 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 = 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 = 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 = 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 = 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 = function call with name: name and arguments: args
    • expression state at time t = "end_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 = 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 = 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 = 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 = function call with name: name and arguments: args
    • expression state at time t = "end_expr"

    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 = function call with name: name and arguments: args

    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 = function call with name: name and arguments: args

    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 = function call with name: name and arguments: args

    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 = function call with name: name and arguments: args

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

    then parent stack at time (t + 1) = [ function call with name: 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 = function call with name: 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 = function call with name: 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"
    • Value Stack at time t = [ [ a, [ b, [ ] ] ], stack ]
    • the expression at time t = function call with name: "__add__" and arguments: args

    then Return Value at time (t + 1) = b + a

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ x, y ]
    • the expression at time t = function call with name: "__add__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ ]
    • the expression at time t = function call with name: "__add__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • the expression at time t = function call with name: "__add__" 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 = [ [ a, [ b, [ ] ] ], stack ]
    • the expression at time t = function call with name: "__mul__" and arguments: args

    then Return Value at time (t + 1) = b ⋅ a

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ x, y ]
    • the expression at time t = function call with name: "__mul__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ ]
    • the expression at time t = function call with name: "__mul__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • the expression at time t = function call with name: "__mul__" 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 = [ [ a, [ b, [ ] ] ], stack ]
    • the expression at time t = function call with name: "__eq__" and arguments: args

    then Return Value at time (t + 1) = b = a

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ x, y ]
    • the expression at time t = function call with name: "__eq__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ ]
    • the expression at time t = function call with name: "__eq__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • the expression at time t = function call with name: "__eq__" 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 = [ [ a, [ b, [ ] ] ], stack ]
    • the expression at time t = function call with name: "__gt__" and arguments: args

    then Return Value at time (t + 1) = b > a

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ x, y ]
    • the expression at time t = function call with name: "__gt__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ ]
    • the expression at time t = function call with name: "__gt__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • the expression at time t = function call with name: "__gt__" 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 = [ [ a, [ b, [ ] ] ], stack ]
    • the expression at time t = function call with name: "__lt__" and arguments: args

    then Return Value at time (t + 1) = b < a

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ x, y ]
    • the expression at time t = function call with name: "__lt__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ ]
    • the expression at time t = function call with name: "__lt__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • the expression at time t = function call with name: "__lt__" 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 = [ values, stack ]
    • the expression at time t = function call with name: name and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • Value Stack at time t = [ values, stack ]
    • the expression at time t = function call with name: 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 = [ values, stack ]
    • the expression at time t = function call with name: 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"
    • the expression at time t = function call with name: name and arguments: args
    • there is a function named name with parameters params at line line

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • the expression at time t = function call with name: 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_build_args"
    • Parameters List at time t = [ ]
    • the expression at time t = function call with name: name and arguments: args
    • 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:
    • expression state at time t = "call_build_args"
    • Parameters List at time t = [ ]
    • the expression at time t = function call with name: name and arguments: args
    • 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:
    • 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 = "while" statement with condition (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 = "while" statement with condition (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 = "while" statement with condition (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 = "while" statement with condition (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 = "while" statement with condition (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 = "while" statement with condition (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 = "while" statement with condition (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 = "while" statement with condition (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 = "while" statement with condition (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 = "while" statement with condition (function call with name: name and arguments: args)

    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 = "while" statement with condition (function call with name: name and arguments: args)

    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 = "while" statement with condition (function call with name: name and arguments: args)

    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 = "while" statement with condition (function call with name: name and arguments: args)

    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 = "while" statement with condition (function call with name: name and arguments: args)

    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 = "while" statement with condition (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 = "while" statement with condition (function call with name: name and arguments: args)
    • expression state at time t = "end_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 = "while" statement with condition (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 = "while" statement with condition (function call with name: name and arguments: args)
    • expression state at time t = "end_expr"
    • Return Value at time t = True

    then the tab at time (t + 1) = j + 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 = "while" statement with condition (function call with name: name and arguments: args)
    • expression state at time t = "end_expr"
    • Return Value at time t = True

    then Control Map at time (t + 1) = result of storing (pair ("while", i)) at key: j in map: (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 = "while" statement with condition (function call with name: name and arguments: args)
    • expression state at time t = "end_expr"
    • Return Value at time t = False

    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 = "while" statement with condition (function call with name: name and arguments: args)
    • expression state at time t = "end_expr"
    • Return Value at time t = False

    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 = return (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 = function call with name: "__getitem__" 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:
    • expression state at time t = "call_function_begin"
    • Value Stack at time t = [ [ a, [ Python reference idx, [ ] ] ], stack ]
    • the expression at time t = function call with name: "__getitem__" and arguments: args
    • the element at index idx of stack (Python Object Store at time t) = Python list entries

    then Return Value at time (t + 1) = the element at index a of stack entries

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • the expression at time t = function call with name: "__getitem__" 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"
    • parent stack at time t = [ x, y ]
    • the expression at time t = function call with name: "__getitem__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ ]
    • the expression at time t = function call with name: "__getitem__" and arguments: args

    then expression state at time (t + 1) = "end_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 = function call with name: "len" 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:
    • expression state at time t = "call_function_begin"
    • Value Stack at time t = [ [ Python reference idx, [ ] ], stack ]
    • the expression at time t = function call with name: "len" and arguments: args
    • the element at index idx of stack (Python Object Store at time t) = Python list entries

    then Return Value at time (t + 1) = length of stack entries

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ x, y ]
    • the expression at time t = function call with name: "len" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ ]
    • the expression at time t = function call with name: "len" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • the expression at time t = function call with name: "len" and arguments: args

    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 = function call with name: "__contains__" 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:
    • expression state at time t = "call_function_begin"
    • the expression at time t = function call with name: "__contains__" 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 = [ [ a, [ Python reference idx, [ ] ] ], stack ]
    • the expression at time t = function call with name: "__contains__" and arguments: args
    • the element at index idx of stack (Python Object Store at time t) = Python list entries

    then Return Value at time (t + 1) = stack entries contains a

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ x, y ]
    • the expression at time t = function call with name: "__contains__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ ]
    • the expression at time t = function call with name: "__contains__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • Value Stack at time t = [ [ a, [ Python reference idx, [ ] ] ], stack ]
    • the expression at time t = function call with name: "__getitem__" and arguments: args
    • the element at index idx of stack (Python Object Store at time t) = Python dictionary entries

    then Return Value at time (t + 1) = value at a in map entries

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • Value Stack at time t = [ [ value, [ key, [ Python reference idx, [ ] ] ] ], stack ]
    • the expression at time t = function call with name: "__setitem__" and arguments: [ obj, rest ]
    • the element at index idx of stack (Python Object Store at time t) = Python dictionary entries

    then Python Object Store at time (t + 1) = result of storing (Python dictionary (result of storing value at key: key in map: entries)) at index idx of stack (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 = [ [ value, [ key, [ Python reference idx, [ ] ] ] ], stack ]
    • the expression at time t = function call with name: "__setitem__" and arguments: [ obj, rest ]
    • the element at index idx of stack (Python Object Store at time t) = Python dictionary entries

    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 = [ [ value, [ key, [ Python reference idx, [ ] ] ] ], stack ]
    • the expression at time t = function call with name: "__setitem__" and arguments: [ obj, rest ]
    • the element at index idx of stack (Python Object Store at time t) = Python list elements

    then Python Object Store at time (t + 1) = result of storing (Python list (result of storing value at index key of stack elements)) at index idx of stack (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 = [ [ value, [ key, [ Python reference idx, [ ] ] ] ], stack ]
    • the expression at time t = function call with name: "__setitem__" and arguments: [ obj, rest ]
    • the element at index idx of stack (Python Object Store at time t) = Python list elements

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

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • statement at line i, tab j = function call with name: "__setitem__" 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:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ x, y ]
    • the expression at time t = function call with name: "__setitem__" and arguments: args

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

    (link)
  • if the following are true:
    • expression state at time t = "call_function_begin"
    • parent stack at time t = [ ]
    • the expression at time t = function call with name: "__setitem__" and arguments: args

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

    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 = function call with name: name and arguments: args
    • Expression Stack at time t = [ ]

    then Expression Stack 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 = function call 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 = function call 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 = function call 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 = function call 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 = function call 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 = function call 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 = function call 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 Expression Stack at time t = [ [ function call with name: name and arguments: args, ys ], rest ], then Expression Stack at time (t + 1) = [ args, [ [ function call with name: name and arguments: args, ys ], rest ] ] (link)
  • if Expression Stack at time t = [ [ function call with name: 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 = [ [ function call with name: name and arguments: args, ys ], rest ], 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 the line at time (t + 1) = the line at time t (link)
  • if Expression Stack at time t = [ [ function call with name: 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 = [ [ function call with name: 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 = [ [ function call with name: 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 = [ [ function call with name: 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 = [ [ function call with name: 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 = [ [ ], [ [ function call with name: "__add__" and arguments: args, ys ], rest ] ]
    • Value Stack at time t = [ [ a, [ b, [ ] ] ], [ next_level, other_levels ] ]

    then Value Stack at time (t + 1) = [ [ b + a, next_level ], other_levels ]

    (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__add__" and arguments: args, ys ], rest ] ], then Expression Stack at time (t + 1) = [ ys, rest ] (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__add__" and arguments: args, ys ], rest ] ], then the line at time (t + 1) = the line at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__add__" and arguments: args, ys ], rest ] ], then the tab at time (t + 1) = the tab at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__add__" and arguments: args, ys ], rest ] ], then Variables Map at time (t + 1) = Variables Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__add__" and arguments: args, ys ], rest ] ], then Control Map at time (t + 1) = Control Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__add__" 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 = [ [ ], [ [ function call with name: "__add__" 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 = [ [ ], [ [ function call with name: "__mul__" and arguments: args, ys ], rest ] ]
    • Value Stack at time t = [ [ a, [ b, [ ] ] ], [ next_level, other_levels ] ]

    then Value Stack at time (t + 1) = [ [ b ⋅ a, next_level ], other_levels ]

    (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__mul__" and arguments: args, ys ], rest ] ], then Expression Stack at time (t + 1) = [ ys, rest ] (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__mul__" and arguments: args, ys ], rest ] ], then the line at time (t + 1) = the line at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__mul__" and arguments: args, ys ], rest ] ], then the tab at time (t + 1) = the tab at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__mul__" and arguments: args, ys ], rest ] ], then Variables Map at time (t + 1) = Variables Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__mul__" and arguments: args, ys ], rest ] ], then Control Map at time (t + 1) = Control Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__mul__" 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 = [ [ ], [ [ function call with name: "__mul__" 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 = [ [ ], [ [ function call with name: "__eq__" and arguments: args, ys ], rest ] ]
    • Value Stack at time t = [ [ a, [ b, [ ] ] ], [ next_level, other_levels ] ]

    then Value Stack at time (t + 1) = [ [ b = a, next_level ], other_levels ]

    (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__eq__" and arguments: args, ys ], rest ] ], then Expression Stack at time (t + 1) = [ ys, rest ] (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__eq__" and arguments: args, ys ], rest ] ], then the line at time (t + 1) = the line at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__eq__" and arguments: args, ys ], rest ] ], then the tab at time (t + 1) = the tab at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__eq__" and arguments: args, ys ], rest ] ], then Variables Map at time (t + 1) = Variables Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__eq__" and arguments: args, ys ], rest ] ], then Control Map at time (t + 1) = Control Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__eq__" 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 = [ [ ], [ [ function call with name: "__eq__" 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 = [ [ ], [ [ function call with name: "__lt__" and arguments: args, ys ], rest ] ]
    • Value Stack at time t = [ [ a, [ b, [ ] ] ], [ next_level, other_levels ] ]

    then Value Stack at time (t + 1) = [ [ b < a, next_level ], other_levels ]

    (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__lt__" and arguments: args, ys ], rest ] ], then Expression Stack at time (t + 1) = [ ys, rest ] (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__lt__" and arguments: args, ys ], rest ] ], then the line at time (t + 1) = the line at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__lt__" and arguments: args, ys ], rest ] ], then the tab at time (t + 1) = the tab at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__lt__" and arguments: args, ys ], rest ] ], then Variables Map at time (t + 1) = Variables Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__lt__" and arguments: args, ys ], rest ] ], then Control Map at time (t + 1) = Control Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__lt__" 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 = [ [ ], [ [ function call with name: "__lt__" 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 = [ [ ], [ [ function call with name: "__gt__" and arguments: args, ys ], rest ] ]
    • Value Stack at time t = [ [ a, [ b, [ ] ] ], [ next_level, other_levels ] ]

    then Value Stack at time (t + 1) = [ [ b > a, next_level ], other_levels ]

    (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__gt__" and arguments: args, ys ], rest ] ], then Expression Stack at time (t + 1) = [ ys, rest ] (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__gt__" and arguments: args, ys ], rest ] ], then the line at time (t + 1) = the line at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__gt__" and arguments: args, ys ], rest ] ], then the tab at time (t + 1) = the tab at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__gt__" and arguments: args, ys ], rest ] ], then Variables Map at time (t + 1) = Variables Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__gt__" and arguments: args, ys ], rest ] ], then Control Map at time (t + 1) = Control Map at time t (link)
  • if Expression Stack at time t = [ [ ], [ [ function call with name: "__gt__" 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 = [ [ ], [ [ function call with name: "__gt__" 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 = [ [ ], [ [ 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 = [ ]
    • 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 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 = [ [ ], [ [ function call with name: 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 = [ [ ], [ [ function call with name: 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 = [ [ ], [ [ 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)
  • 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 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 = [ [ ], [ [ function call with name: 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 = [ [ ], [ [ function call with name: 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 = [ [ ], [ [ function call with name: 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 = [ [ ], [ [ function call with name: 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 = [ [ ], [ [ function call with name: 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 = "while" statement with condition (function call with name: name and arguments: args)
    • Expression Stack at time t = [ [ ], [ ] ]
    • Value Stack at time t = [ [ True, [ ] ], [ ] ]

    then the tab at time (t + 1) = j + 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 = "while" statement with condition (function call with name: name and arguments: args)
    • Expression Stack at time t = [ [ ], [ ] ]
    • Value Stack at time t = [ [ True, [ ] ], [ ] ]

    then Control Map at time (t + 1) = result of storing (pair ("while", i)) at key: j in map: (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 = "while" statement with condition (function call with name: name and arguments: args)
    • Expression Stack at time t = [ [ ], [ ] ]
    • Value Stack at time t = [ [ False, [ ] ], [ ] ]

    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 = "while" statement with condition (function call with name: name and arguments: args)
    • Expression Stack at time t = [ [ ], [ ] ]
    • Value Stack at time t = [ [ False, [ ] ], [ ] ]

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

    (link)


Comments

Please log in to add comments