Proofs

A proof is a series of claims that lead to a conclusion. Some proofs are conditional, which means that the claims can only be made under certain conditions. Click on a statement to see the proof

Do Class Defs At Unchanged 19
if the following are true:
  • expression state at time 19 = "return"
  • Class Map at time 19 = [ ]

then Class Map at time 20 = [ ]


Do Object Store At Unchanged 19
if the following are true:
  • expression state at time 19 = "return"
  • Python Object Store at time 19 = [ [4, 7], [ ] ]

then Python Object Store at time 20 = [ [4, 7], [ ] ]


Do Control Map At Unchanged 19
if the following are true:
  • expression state at time 19 = "return"
  • Control Map at time 19 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then Control Map at time 20 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]


Get Iterate Expr 20
if the following are true:
  • expression state at time 20 = "iterate_args"
  • arguments stack at time 20 = [ [ 4, [ ] ], [ ] ]

then the expression at time 21 = 4


Get Iterate Params 20
if the following are true:
  • expression state at time 20 = "iterate_args"
  • arguments stack at time 20 = [ [ 4, [ ] ], [ ] ]

then arguments stack at time 21 = [ [ ], [ ] ]


Get Iterate State 20
if the following are true:
  • expression state at time 20 = "iterate_args"
  • arguments stack at time 20 = [ [ 4, [ ] ], [ ] ]

then expression state at time 21 = "begin_expr"


Get Iterate Parent 20
if the following are true:
  • expression state at time 20 = "iterate_args"
  • arguments stack at time 20 = [ [ 4, [ ] ], [ ] ]
  • parent stack at time 20 = [ __mul__(value, 4), [ ] ]

then parent stack at time 21 = [ __mul__(value, 4), [ ] ]


Do Value Stack At Unchanged 20
if the following are true:
  • expression state at time 20 = "iterate_args"
  • Value Stack at time 20 = [ [ 4, [ ] ], [ ] ]

then Value Stack at time 21 = [ [ 4, [ ] ], [ ] ]


Do Line At Unchanged 20
if the following are true:
  • expression state at time 20 = "iterate_args"
  • the line at time 20 = 3

then the line at time 21 = 3


Do Tab At Unchanged 20
if the following are true:
  • expression state at time 20 = "iterate_args"
  • the tab at time 20 = 1

then the tab at time 21 = 1


Do Stack At Unchanged 20
if the following are true:
  • expression state at time 20 = "iterate_args"
  • stack at time 20 = [ ]

then stack at time 21 = [ ]


Do Object Store At Unchanged 20
if the following are true:
  • expression state at time 20 = "iterate_args"
  • Python Object Store at time 20 = [ [4, 7], [ ] ]

then Python Object Store at time 21 = [ [4, 7], [ ] ]


Do Control Map At Unchanged 20
if the following are true:
  • expression state at time 20 = "iterate_args"
  • Control Map at time 20 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then Control Map at time 21 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]


Do Variables At Unchanged 20
if the following are true:
  • expression state at time 20 = "iterate_args"
  • Variables Map at time 20 = [ entry numbers: (Python reference 0), [ entry value: 4, [ ] ] ]

then Variables Map at time 21 = [ entry numbers: (Python reference 0), [ entry value: 4, [ ] ] ]


Do Class Defs At Unchanged 20
if the following are true:
  • expression state at time 20 = "iterate_args"
  • Class Map at time 20 = [ ]

then Class Map at time 21 = [ ]


Get Begin Expr State 21
if the following are true:
  • the expression at time 21 = 4
  • expression state at time 21 = "begin_expr"
  • 4 is constant
  • parent stack at time 21 = [ __mul__(value, 4), [ ] ]

then expression state at time 22 = "return"


Get Begin Expr Value Unchaged 21
if the following are true:
  • the expression at time 21 = 4
  • expression state at time 21 = "begin_expr"
  • 4 is constant
  • Value Stack at time 21 = [ [ 4, [ ] ], [ ] ]

then Value Stack at time 22 = [ [ 4, [ ] ], [ ] ]


Get Begin Expr Params Unchanged21
if the following are true:
  • the expression at time 21 = 4
  • expression state at time 21 = "begin_expr"
  • 4 is constant
  • arguments stack at time 21 = [ [ ], [ ] ]

then arguments stack at time 22 = [ [ ], [ ] ]


Get Begin Expr Return 21
if the following are true:
  • expression state at time 21 = "begin_expr"
  • the expression at time 21 = 4
  • 4 is constant

then Return Value at time 22 = 4


Get Begin Expr Const Parent 21
if the following are true:
  • expression state at time 21 = "begin_expr"
  • the expression at time 21 = 4
  • 4 is constant
  • parent stack at time 21 = [ __mul__(value, 4), [ ] ]

then parent stack at time 22 = [ __mul__(value, 4), [ ] ]


Do Line At Unchanged 21
if the following are true:
  • expression state at time 21 = "begin_expr"
  • the line at time 21 = 3

then the line at time 22 = 3


Do Tab At Unchanged 21
if the following are true:
  • expression state at time 21 = "begin_expr"
  • the tab at time 21 = 1

then the tab at time 22 = 1


Do Stack At Unchanged 21
if the following are true:
  • expression state at time 21 = "begin_expr"
  • stack at time 21 = [ ]

then stack at time 22 = [ ]


Do Object Store At Unchanged 21
if the following are true:
  • expression state at time 21 = "begin_expr"
  • Python Object Store at time 21 = [ [4, 7], [ ] ]

then Python Object Store at time 22 = [ [4, 7], [ ] ]


Do Control Map At Unchanged 21
if the following are true:
  • expression state at time 21 = "begin_expr"
  • Control Map at time 21 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then Control Map at time 22 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]


Do Variables At Unchanged 21
if the following are true:
  • expression state at time 21 = "begin_expr"
  • Variables Map at time 21 = [ entry numbers: (Python reference 0), [ entry value: 4, [ ] ] ]

then Variables Map at time 22 = [ entry numbers: (Python reference 0), [ entry value: 4, [ ] ] ]


Do Class Defs At Unchanged 21
if the following are true:
  • expression state at time 21 = "begin_expr"
  • Class Map at time 21 = [ ]

then Class Map at time 22 = [ ]


Get New State 22
if expression state at time 22 = "return", then expression state at time 23 = "iterate_args"

Get Return Value 22
if the following are true:
  • expression state at time 22 = "return"
  • Value Stack at time 22 = [ [ 4, [ ] ], [ ] ]
  • Return Value at time 22 = 4

then Value Stack at time 23 = [ [ 4, [ 4, [ ] ] ], [ ] ]


Do Variables At Unchanged 22
if the following are true:
  • expression state at time 22 = "return"
  • Variables Map at time 22 = [ entry numbers: (Python reference 0), [ entry value: 4, [ ] ] ]

then Variables Map at time 23 = [ entry numbers: (Python reference 0), [ entry value: 4, [ ] ] ]


Do Line At Unchanged 22
if the following are true:
  • expression state at time 22 = "return"
  • the line at time 22 = 3

then the line at time 23 = 3


Do Tab At Unchanged 22
if the following are true:
  • expression state at time 22 = "return"
  • the tab at time 22 = 1

then the tab at time 23 = 1


Do Arg Stack At Unchanged 22
if the following are true:
  • expression state at time 22 = "return"
  • arguments stack at time 22 = [ [ ], [ ] ]

then arguments stack at time 23 = [ [ ], [ ] ]


Do Parent Stack At Unchanged 22
if the following are true:
  • expression state at time 22 = "return"
  • parent stack at time 22 = [ __mul__(value, 4), [ ] ]

then parent stack at time 23 = [ __mul__(value, 4), [ ] ]


Do Stack At Unchanged 22
if the following are true:
  • expression state at time 22 = "return"
  • stack at time 22 = [ ]

then stack at time 23 = [ ]


Do Class Defs At Unchanged 22
if the following are true:
  • expression state at time 22 = "return"
  • Class Map at time 22 = [ ]

then Class Map at time 23 = [ ]


Do Object Store At Unchanged 22
if the following are true:
  • expression state at time 22 = "return"
  • Python Object Store at time 22 = [ [4, 7], [ ] ]

then Python Object Store at time 23 = [ [4, 7], [ ] ]


Do Control Map At Unchanged 22
if the following are true:
  • expression state at time 22 = "return"
  • Control Map at time 22 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then Control Map at time 23 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]


Get Iterate End State 23
if the following are true:
  • expression state at time 23 = "iterate_args"
  • arguments stack at time 23 = [ [ ], [ ] ]
  • parent stack at time 23 = [ __mul__(value, 4), [ ] ]

then expression state at time 24 = "call_function_begin"


Get Iterate End Expr 23
if the following are true:
  • expression state at time 23 = "iterate_args"
  • arguments stack at time 23 = [ [ ], [ ] ]
  • parent stack at time 23 = [ __mul__(value, 4), [ ] ]

then the expression at time 24 = __mul__(value, 4)


Get Iterate End Parent 23
if the following are true:
  • expression state at time 23 = "iterate_args"
  • arguments stack at time 23 = [ [ ], [ ] ]
  • parent stack at time 23 = [ __mul__(value, 4), [ ] ]

then parent stack at time 24 = [ ]


Get Iterate End Params 23
if the following are true:
  • expression state at time 23 = "iterate_args"
  • arguments stack at time 23 = [ [ ], [ ] ]
  • parent stack at time 23 = [ __mul__(value, 4), [ ] ]

then arguments stack at time 24 = [ ]


Do Value Stack At Unchanged 23
if the following are true:
  • expression state at time 23 = "iterate_args"
  • Value Stack at time 23 = [ [ 4, [ 4, [ ] ] ], [ ] ]

then Value Stack at time 24 = [ [ 4, [ 4, [ ] ] ], [ ] ]


Do Line At Unchanged 23
if the following are true:
  • expression state at time 23 = "iterate_args"
  • the line at time 23 = 3

then the line at time 24 = 3


Do Tab At Unchanged 23
if the following are true:
  • expression state at time 23 = "iterate_args"
  • the tab at time 23 = 1

then the tab at time 24 = 1


Do Stack At Unchanged 23
if the following are true:
  • expression state at time 23 = "iterate_args"
  • stack at time 23 = [ ]

then stack at time 24 = [ ]


Do Object Store At Unchanged 23
if the following are true:
  • expression state at time 23 = "iterate_args"
  • Python Object Store at time 23 = [ [4, 7], [ ] ]

then Python Object Store at time 24 = [ [4, 7], [ ] ]


Do Control Map At Unchanged 23
if the following are true:
  • expression state at time 23 = "iterate_args"
  • Control Map at time 23 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then Control Map at time 24 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]


Do Variables At Unchanged 23
if the following are true:
  • expression state at time 23 = "iterate_args"
  • Variables Map at time 23 = [ entry numbers: (Python reference 0), [ entry value: 4, [ ] ] ]

then Variables Map at time 24 = [ entry numbers: (Python reference 0), [ entry value: 4, [ ] ] ]


Do Class Defs At Unchanged 23
if the following are true:
  • expression state at time 23 = "iterate_args"
  • Class Map at time 23 = [ ]

then Class Map at time 24 = [ ]


Do Object Store At Unchanged 24
if the following are true:
  • expression state at time 24 = "call_function_begin"
  • the expression at time 24 = __mul__(value, 4)
  • Python Object Store at time 24 = [ [4, 7], [ ] ]

then Python Object Store at time 25 = [ [4, 7], [ ] ]


Write Call Function Begin Multiply Return Val 24
if the following are true:
  • expression state at time 24 = "call_function_begin"
  • Value Stack at time 24 = [ [ 4, [ 4, [ ] ] ], [ ] ]
  • the expression at time 24 = __mul__(value, 4)

then Return Value at time 25 = 16


Write Call Function Begin Next State 24
if the following are true:
  • expression state at time 24 = "call_function_begin"
  • parent stack at time 24 = [ ]
  • the expression at time 24 = __mul__(value, 4)

then expression state at time 25 = "end_expr"


Write Call Function Begin Value Stack 24
if the following are true:
  • expression state at time 24 = "call_function_begin"
  • Value Stack at time 24 = [ [ 4, [ 4, [ ] ] ], [ ] ]
  • the expression at time 24 = __mul__(value, 4)

then Value Stack at time 25 = [ ]


Do Arg Stack At Unchanged 24
if the following are true:
  • expression state at time 24 = "call_function_begin"
  • arguments stack at time 24 = [ ]

then arguments stack at time 25 = [ ]


Do Parent Stack At Unchanged 24
if the following are true:
  • expression state at time 24 = "call_function_begin"
  • parent stack at time 24 = [ ]

then parent stack at time 25 = [ ]


Do Control Map At Unchanged 24
if the following are true:
  • expression state at time 24 = "call_function_begin"
  • Control Map at time 24 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then Control Map at time 25 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]


Do Variables At Unchanged 24
if the following are true:
  • expression state at time 24 = "call_function_begin"
  • Variables Map at time 24 = [ entry numbers: (Python reference 0), [ entry value: 4, [ ] ] ]

then Variables Map at time 25 = [ entry numbers: (Python reference 0), [ entry value: 4, [ ] ] ]


Do Line At Unchanged 24
if the following are true:
  • expression state at time 24 = "call_function_begin"
  • the line at time 24 = 3

then the line at time 25 = 3


Do Tab At Unchanged 24
if the following are true:
  • expression state at time 24 = "call_function_begin"
  • the tab at time 24 = 1

then the tab at time 25 = 1


Do Stack At Unchanged 24
if the following are true:
  • expression state at time 24 = "call_function_begin"
  • stack at time 24 = [ ]

then stack at time 25 = [ ]


Do Class Defs At Unchanged 24
if the following are true:
  • expression state at time 24 = "call_function_begin"
  • Class Map at time 24 = [ ]

then Class Map at time 25 = [ ]


Do Set Key Value 25 0
result of storing 16 at key: x in map: [ entry numbers: (Python reference 0), [ entry value: 4, [ ] ] ] = [ entry numbers: (Python reference 0), [ entry value: 4, [ entry x: 16, [ ] ] ] ]

Write Assign End Vars 25
if the following are true:
  • the line at time 25 = 3
  • the tab at time 25 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • expression state at time 25 = "end_expr"
  • Variables Map at time 25 = [ entry numbers: (Python reference 0), [ entry value: 4, [ ] ] ]
  • Return Value at time 25 = 16

then Variables Map at time 26 = [ entry numbers: (Python reference 0), [ entry value: 4, [ entry x: 16, [ ] ] ] ]


Write Increment T And Val Line At 25
if the following are true:
  • the line at time 25 = 3
  • the tab at time 25 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • expression state at time 25 = "end_expr"

then the line at time 26 = 4


Write Stmt Tab At Unchanged Expr25
if the following are true:
  • the line at time 25 = 3
  • the tab at time 25 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • expression state at time 25 = "end_expr"

then the tab at time 26 = 1


Write Stmt Object Store At Unchanged Expr25
if the following are true:
  • the line at time 25 = 3
  • the tab at time 25 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • expression state at time 25 = "end_expr"
  • Python Object Store at time 25 = [ [4, 7], [ ] ]

then Python Object Store at time 26 = [ [4, 7], [ ] ]


Write Assign End Stack 25
if the following are true:
  • the line at time 25 = 3
  • the tab at time 25 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • stack at time 25 = [ ]
  • expression state at time 25 = "end_expr"

then stack at time 26 = [ ]


Write End to Not Expr 25
if expression state at time 25 = "end_expr", then expression state at time 26 = "not_expr"

Write Stmt Control Map At Unchanged 25
if the following are true:
  • the line at time 25 = 3
  • the tab at time 25 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • Control Map at time 25 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then Control Map at time 26 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]


Write Stmt Class Defs At Unchanged 25
if the following are true:
  • the line at time 25 = 3
  • the tab at time 25 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • Class Map at time 25 = [ ]

then Class Map at time 26 = [ ]


Do Get Key Value 26 0
value at 0 in map [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ] = trio ("for", 2, [ 7, [ ] ])

Get Decrement Key Value Control Map At 26
if Control Map at time 26 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ], then value at (1 - 1) in map (Control Map at time 26) = trio ("for", 2, [ 7, [ ] ])

Return To For Statement Line Property Example
if the following are true:
  • the line at time 26 = 4
  • the tab at time 26 = 1
  • statement at line 4, tab 0 = for value in numbers:
  • Control Map at time 26 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then the line at time 27 = 2


Return To For Statement Tab Property Example
if the following are true:
  • the line at time 26 = 4
  • the tab at time 26 = 1
  • statement at line 4, tab 0 = for value in numbers:
  • Control Map at time 26 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then the tab at time 27 = 0


Write Return to For Variables At 26
if the following are true:
  • the line at time 26 = 4
  • the tab at time 26 = 1
  • statement at line 4, tab 0 = for value in numbers:
  • Control Map at time 26 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]
  • Variables Map at time 26 = [ entry numbers: (Python reference 0), [ entry value: 4, [ entry x: 16, [ ] ] ] ]

then Variables Map at time 27 = [ entry numbers: (Python reference 0), [ entry value: 4, [ entry x: 16, [ ] ] ] ]


Write Return to For Stack At 26
if the following are true:
  • the line at time 26 = 4
  • the tab at time 26 = 1
  • statement at line 4, tab 0 = for value in numbers:
  • Control Map at time 26 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]
  • stack at time 26 = [ ]

then stack at time 27 = [ ]


Write Return to For Object Store At 26
if the following are true:
  • the line at time 26 = 4
  • the tab at time 26 = 1
  • statement at line 4, tab 0 = for value in numbers:
  • Control Map at time 26 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]
  • Python Object Store at time 26 = [ [4, 7], [ ] ]

then Python Object Store at time 27 = [ [4, 7], [ ] ]


Write Return to For Control Map At 26
if the following are true:
  • the line at time 26 = 4
  • the tab at time 26 = 1
  • statement at line 4, tab 0 = for value in numbers:
  • Control Map at time 26 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then Control Map at time 27 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]


Write Return to For Class Defs At 26
if the following are true:
  • the line at time 26 = 4
  • the tab at time 26 = 1
  • statement at line 4, tab 0 = for value in numbers:
  • Control Map at time 26 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]
  • Class Map at time 26 = [ ]

then Class Map at time 27 = [ ]


Do Set Key Value 27 0
result of storing 7 at key: value in map: [ entry numbers: (Python reference 0), [ entry value: 4, [ entry x: 16, [ ] ] ] ] = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 16, [ ] ] ] ]

Do Get Key Value 27 0
value at 0 in map [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ] = trio ("for", 2, [ 7, [ ] ])

Get Key Value Control Map At 27
if Control Map at time 27 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ], then value at 0 in map (Control Map at time 27) = trio ("for", 2, [ 7, [ ] ])

Write For Iterate Line At 27
if the following are true:
  • the line at time 27 = 2
  • the tab at time 27 = 0
  • statement at line 2, tab 0 = for value in numbers:
  • Control Map at time 27 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then the line at time 28 = 3


Write For Iterate Tab At 27
if the following are true:
  • the line at time 27 = 2
  • the tab at time 27 = 0
  • statement at line 2, tab 0 = for value in numbers:
  • Control Map at time 27 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then the tab at time 28 = 1


Write For Iterate Expr State At 27
if the following are true:
  • the line at time 27 = 2
  • the tab at time 27 = 0
  • statement at line 2, tab 0 = for value in numbers:
  • Control Map at time 27 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then expression state at time 28 = "not_expr"


Write For Iterate Variables 27
if the following are true:
  • the line at time 27 = 2
  • the tab at time 27 = 0
  • statement at line 2, tab 0 = for value in numbers:
  • Control Map at time 27 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]
  • Variables Map at time 27 = [ entry numbers: (Python reference 0), [ entry value: 4, [ entry x: 16, [ ] ] ] ]

then Variables Map at time 28 = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 16, [ ] ] ] ]


Do Set Key Value 27 1
result of storing (trio ("for", 2, [ ])) at key: 0 in map: [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ] = [ entry 0: (trio ("for", 2, [ ])), [ ] ]

Write For Iterate Control Map 27
if the following are true:
  • the line at time 27 = 2
  • the tab at time 27 = 0
  • statement at line 2, tab 0 = for value in numbers:
  • Control Map at time 27 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]

then Control Map at time 28 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]


Write For Iterate Stack At Unchanged 27
if the following are true:
  • the line at time 27 = 2
  • the tab at time 27 = 0
  • statement at line 2, tab 0 = for value in numbers:
  • Control Map at time 27 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]
  • stack at time 27 = [ ]

then stack at time 28 = [ ]


Write For Iterate Object Store At Unchanged 27
if the following are true:
  • the line at time 27 = 2
  • the tab at time 27 = 0
  • statement at line 2, tab 0 = for value in numbers:
  • Control Map at time 27 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]
  • Python Object Store at time 27 = [ [4, 7], [ ] ]

then Python Object Store at time 28 = [ [4, 7], [ ] ]


Write For Iterate Class Defs At Unchanged 27
if the following are true:
  • the line at time 27 = 2
  • the tab at time 27 = 0
  • statement at line 2, tab 0 = for value in numbers:
  • Control Map at time 27 = [ entry 0: (trio ("for", 2, [ 7, [ ] ])), [ ] ]
  • Class Map at time 27 = [ ]

then Class Map at time 28 = [ ]


Write Set Name Expr At on State 28
if the following are true:
  • the line at time 28 = 3
  • the tab at time 28 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • expression state at time 28 = "not_expr"

then the expression at time 29 = __mul__(value, 4)


Write Set Name Expr State At on State 28
if the following are true:
  • the line at time 28 = 3
  • the tab at time 28 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • expression state at time 28 = "not_expr"

then expression state at time 29 = "begin_expr"


Write Set Name Line At on State 28
if the following are true:
  • the line at time 28 = 3
  • the tab at time 28 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • expression state at time 28 = "not_expr"

then the line at time 29 = 3


Write Set Name Tab At on State 28
if the following are true:
  • the line at time 28 = 3
  • the tab at time 28 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • expression state at time 28 = "not_expr"

then the tab at time 29 = 1


Write Set Name Value Stack At on State 28
if the following are true:
  • the line at time 28 = 3
  • the tab at time 28 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • expression state at time 28 = "not_expr"

then Value Stack at time 29 = [ ]


Write Set Name Parent Stack At on State 28
if the following are true:
  • the line at time 28 = 3
  • the tab at time 28 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • expression state at time 28 = "not_expr"

then parent stack at time 29 = [ ]


Write Set Name Arg Stack At on State 28
if the following are true:
  • the line at time 28 = 3
  • the tab at time 28 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • expression state at time 28 = "not_expr"

then arguments stack at time 29 = [ ]


Write Stmt Variables At Unchanged Expr28
if the following are true:
  • the line at time 28 = 3
  • the tab at time 28 = 1
  • statement at line 3, tab 1 = x = __mul__(value, 4)
  • expression state at time 28 = "not_expr"
  • Variables Map at time 28 = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 16, [ ] ] ] ]

then Variables Map at time 29 = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 16, [ ] ] ] ]



Pages: 162 163 164 ... 193