Function the expression at time s

the expression at time s

Format:

the expression at time s

Input:

Output:

Conditional properties that reference this function:

• if the following are true:
  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = 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 = c
  • expression state at time t = "not_expr"
  • c is constant

  then the expression at time (t + 1) = c

  (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
  • expression state at time t = "not_expr"
  • x is a variable

  then the expression at time (t + 1) = x

  (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 expression state at time t = "begin_expr", then the expression at time (t + 1) = the expression at time t (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = c
  • c is constant
  • parent stack at time t = [ x, y ]

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = c
  • c is constant
  • parent stack at time t = [ ]

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = c
  • c is constant

  then Return Value at time (t + 1) = c

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = c
  • c is constant

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

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = c
  • c is constant

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = x
  • x is a variable
  • parent stack at time t = [ y, z ]

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = v
  • v is a variable
  • parent stack at time t = [ ]

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = v
  • v is a variable

  then Return Value at time (t + 1) = value at x in map (Variables Map at time t)

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = v
  • v is a variable

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

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = v
  • v is a variable

  then parent stack at time (t + 1) = 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 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 = "iterate_args"
  • arguments stack at time t = [ [ x, y ], z ]

  then the expression at time (t + 1) = x

  (link)
• if the following are true:
  • expression state at time t = "iterate_args"
  • arguments stack at time t = [ [ ], z ]
  • parent stack at time t = [ x, y ]

  then the expression at time (t + 1) = x

  (link)
• if expression state at time t = "call_function_begin", then the expression at time (t + 1) = the expression 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: "__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 expression state at time t = "call_build_args", then the expression at time (t + 1) = the expression 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 expression state at time t = "return", then the expression at time (t + 1) = the expression 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 = if test:
  • expression state at time t = "not_expr"

  then the expression at time (t + 1) = test

  (link)
• if the following are true:
  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = elif test:
  • value at j in map (Control Map at time t) = pair ("if", False)
  • expression state at time t = "not_expr"

  then the expression at time (t + 1) = test

  (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 = return rex
  • expression state at time t = "not_expr"

  then the expression at time (t + 1) = rex

  (link)
• if the following are true:
  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = 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:
  • expression state at time t = "begin_expr"
  • the expression at time t = Python list elements

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = Python list elements

  then parent stack at time (t + 1) = [ Python list elements, parent stack at time t ]

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = Python list elements

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = Python list elements

  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 = [ values, stack ]
  • the expression at time t = Python list elements

  then Return Value at time (t + 1) = Python reference (length 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 = [ values, stack ]
  • the expression at time t = Python list elements

  then Python Object Store at time (t + 1) = result of appending (Python list (reverse of values)) to (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 = Python list elements

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

  (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 = Python list elements

  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 = Python list elements

  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 = 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 = 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 the expression at time (t + 1) = obj_name.method_name(args)

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = obj_name.method_name(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 = obj_name.method_name(args)

  then parent stack at time (t + 1) = [ obj_name.method_name(args), parent stack at time t ]

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = obj_name.method_name(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 = obj_name.method_name(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 = [ values, stack ]
  • the expression at time t = obj.method_name(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 = [ [ value, [ ] ], stack ]
  • the expression at time t = obj.append(x)
  • value at obj in map (Variables Map at time t) = Python reference idx
  • the element at index idx of stack (Python Object Store at time t) = Python list entries

  then Python Object Store at time (t + 1) = result of storing (Python list (result of appending value to 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"
  • parent stack at time t = [ ]
  • the expression at time t = obj."append"(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 = obj_name.method_name(args)
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • map (Class Map at time t) contains key class_name = True

  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 = obj_name.method_name(args)
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • method parameters where the Class Map is (Class Map at time t), class name is class_name, and method name is method_name = params

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

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

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

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • the expression at time t = obj_name.method_name(args)
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • Value Stack at time t = [ values, v_stack ]
  • definition of method method_name of class class_name in (Class Map at time t) = method_map

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

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • the expression at time t = obj_name.method_name(args)
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • Value Stack at time t = [ values, v_stack ]
  • definition of method method_name of class class_name in (Class Map at time t) = method_map

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

  (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:
  • 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:
  • expression state at time t = "call_function_begin"
  • Value Stack at time t = [ [ a, [ ] ], stack ]
  • the expression at time t = name."pop"(args)
  • value at obj in map (Variables Map at time t) = Python reference idx
  • the element at index idx of stack (Python Object Store at time t) = Python list entries

  then Python Object Store at time (t + 1) = result of storing (Python list (stack after popping a value from stack entries at index a)) 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 = [ [ a, [ ] ], stack ]
  • the expression at time t = name."pop"(args)
  • value at obj in map (Variables Map at time t) = Python reference idx
  • 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"
  • parent stack at time t = [ x, y ]
  • the expression at time t = obj."pop"(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 = obj."pop"(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: "__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:
  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = Python dictionary entries
  • expression state at time t = "not_expr"

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = Python dictionary entries

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = Python dictionary entries

  then parent stack at time (t + 1) = [ Python dictionary entries, parent stack at time t ]

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = Python dictionary entries

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = Python dictionary entries

  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 = [ values, stack ]
  • the expression at time t = Python dictionary elements

  then Return Value at time (t + 1) = Python reference (length 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 = [ values, stack ]
  • the expression at time t = Python dictionary elements

  then Python Object Store at time (t + 1) = result of appending (Python dictionary (reverse of values)) to (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 = Python dictionary elements

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

  (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 = Python dictionary elements

  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 = Python dictionary elements

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = entry key: value

  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 = entry key: value

  then parent stack at time (t + 1) = [ entry key: value, parent stack at time t ]

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = entry key: value

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = entry key: value

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

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • the expression at time t = entry key: value

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

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • Value Stack at time t = [ [ evaluated_value, [ evaluated_key, [ ] ] ], stack ]
  • the expression at time t = entry key: value

  then Return Value at time (t + 1) = entry evaluated_key: evaluated_value

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • Value Stack at time t = [ [ evaluated_value, [ evaluated_key, [ ] ] ], stack ]
  • the expression at time t = entry key: value

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

  (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 = entry key: value

  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 = entry key: value

  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 = 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:
  • 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:
  • 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:
  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = obj_name.method_name(args)
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • line number of method method_name of class class_name in (Class Map at time t) = line

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

  (link)
• if the following are true:
  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = obj_name.method_name(args)
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • line number of method method_name of class class_name in (Class Map at time t) = line

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

  (link)
• if the following are true:
  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = obj_name.method_name(args)
  • value at obj_name in map (Variables Map at time t) = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python object: [ entry "__class_name__": class_name, e_rest ]
  • line number of method method_name of class class_name in (Class Map at time t) = line

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

  (link)
• if the following are true:
  • 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:
  • expression state at time t = "begin_expr"
  • the expression at time t = Python constructor with name: class_name and arguments: args

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = Python constructor with name: class_name and arguments: args

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = Python constructor with name: class_name and arguments: args

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = Python constructor with name: class_name and arguments: args

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

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • the expression at time t = Python constructor with name: class_name and arguments: args

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

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • Value Stack at time t = [ evaluated, stack ]
  • the expression at time t = Python constructor with name: class_name and arguments: args

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

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • Value Stack at time t = [ evaluated, stack ]
  • the expression at time t = Python constructor with name: class_name and arguments: args

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

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • Value Stack at time t = [ evaluated, stack ]
  • the expression at time t = Python constructor with name: class_name and arguments: args

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

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

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

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

  then Function Variables Map at time (t + 1) = [ entry self: (Python reference (length of stack (Python Object Store at time t))), [ ] ]

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

  then Python Object Store at time (t + 1) = result of appending (Python object: [ entry "__class_name__": class_name, [ ] ]) to (Python Object Store at time t)

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

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

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

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

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

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

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

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

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

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

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

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

  (link)
• if the following are true:
  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • line number of method "__init__" of class class_name in (Class Map at time t) = line

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

  (link)
• if the following are true:
  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • line number of method "__init__" of class class_name in (Class Map at time t) = line

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

  (link)
• if the following are true:
  • expression state at time t = "call_build_args"
  • Parameters List at time t = [ ]
  • the expression at time t = Python constructor with name: class_name and arguments: args
  • line number of method "__init__" of class class_name in (Class Map at time t) = line

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

  (link)
• if the following are true:
  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = assign statement with target x and expression (obj.attr)
  • expression state at time t = "not_expr"

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = obj.attr

  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 = obj.attr

  then parent stack at time (t + 1) = [ obj.attr, parent stack at time t ]

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = obj.attr

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = obj.attr

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

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • the expression at time t = obj.attr

  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 = obj.attr
  • Value Stack at time t = [ [ Python reference index, [ ] ], v_stack ]

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

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • the expression at time t = obj.attr
  • Value Stack at time t = [ [ Python reference index, [ ] ], v_stack ]
  • the element at index index of stack (Python Object Store at time t) = Python object: attributes

  then Return Value at time (t + 1) = value at attr in map attributes

  (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 = obj.attr

  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 = obj.attr

  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 = obj.key = value
  • expression state at time t = "not_expr"

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = obj.key = value

  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 = obj.key = value

  then parent stack at time (t + 1) = [ obj.key = value, parent stack at time t ]

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = obj.key = value

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

  (link)
• if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = obj.key = value

  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 = [ [ value, [ Python reference idx, [ ] ] ], stack ]
  • the expression at time t = obj.attribute = val
  • the element at index idx of stack (Python Object Store at time t) = Python object: entries

  then Python Object Store at time (t + 1) = result of storing (Python object: (result of storing value at key: attribute 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 = [ values, stack ]
  • the expression at time t = x.y = z

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

  (link)
• if the following are true:
  • expression state at time t = "call_function_begin"
  • parent stack at time t = [ ]
  • the expression at time t = obj.attr = 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • expression state at time t = "not_expr"

  then the expression at time (t + 1) = iterable

  (link)

Comments

Please log in to add comments