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

Write Call Function Begin Multiply Return Val 37

if the following are true:

expression state at time 37 = "call_function_begin"
Value Stack at time 37 = [ [ 4, [ 7, [ ] ] ], [ ] ]
the expression at time 37 = __mul__(value, 4)

then Return Value at time 38 = 28

Write Call Function Begin Next State 37

if the following are true:

expression state at time 37 = "call_function_begin"
parent stack at time 37 = [ ]
the expression at time 37 = __mul__(value, 4)

then expression state at time 38 = "end_expr"

Write Call Function Begin Value Stack 37

if the following are true:

expression state at time 37 = "call_function_begin"
Value Stack at time 37 = [ [ 4, [ 7, [ ] ] ], [ ] ]
the expression at time 37 = __mul__(value, 4)

then Value Stack at time 38 = [ ]

Do Arg Stack At Unchanged 37

if the following are true:

expression state at time 37 = "call_function_begin"
arguments stack at time 37 = [ ]

then arguments stack at time 38 = [ ]

Do Parent Stack At Unchanged 37

if the following are true:

expression state at time 37 = "call_function_begin"
parent stack at time 37 = [ ]

then parent stack at time 38 = [ ]

Do Control Map At Unchanged 37

if the following are true:

expression state at time 37 = "call_function_begin"
Control Map at time 37 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]

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

Do Variables At Unchanged 37

if the following are true:

expression state at time 37 = "call_function_begin"
Variables Map at time 37 = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 16, [ ] ] ] ]

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

Do Line At Unchanged 37

if the following are true:

expression state at time 37 = "call_function_begin"
the line at time 37 = 3

then the line at time 38 = 3

Do Tab At Unchanged 37

if the following are true:

expression state at time 37 = "call_function_begin"
the tab at time 37 = 1

then the tab at time 38 = 1

Do Stack At Unchanged 37

if the following are true:

expression state at time 37 = "call_function_begin"
stack at time 37 = [ ]

then stack at time 38 = [ ]

Do Class Defs At Unchanged 37

if the following are true:

expression state at time 37 = "call_function_begin"
Class Map at time 37 = [ ]

then Class Map at time 38 = [ ]

Do Set Key Value 38 0

result of storing 28 at key: x in map: [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 16, [ ] ] ] ] = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 28, [ ] ] ] ]

Write Assign End Vars 38

if the following are true:

the line at time 38 = 3
the tab at time 38 = 1
statement at line 3, tab 1 = x = __mul__(value, 4)
expression state at time 38 = "end_expr"
Variables Map at time 38 = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 16, [ ] ] ] ]
Return Value at time 38 = 28

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

Write Increment T And Val Line At 38

if the following are true:

the line at time 38 = 3
the tab at time 38 = 1
statement at line 3, tab 1 = x = __mul__(value, 4)
expression state at time 38 = "end_expr"

then the line at time 39 = 4

Write Stmt Tab At Unchanged Expr38

if the following are true:

the line at time 38 = 3
the tab at time 38 = 1
statement at line 3, tab 1 = x = __mul__(value, 4)
expression state at time 38 = "end_expr"

then the tab at time 39 = 1

Write Stmt Object Store At Unchanged Expr38

if the following are true:

the line at time 38 = 3
the tab at time 38 = 1
statement at line 3, tab 1 = x = __mul__(value, 4)
expression state at time 38 = "end_expr"
Python Object Store at time 38 = [ [4, 7], [ ] ]

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

Write Assign End Stack 38

if the following are true:

the line at time 38 = 3
the tab at time 38 = 1
statement at line 3, tab 1 = x = __mul__(value, 4)
stack at time 38 = [ ]
expression state at time 38 = "end_expr"

then stack at time 39 = [ ]

Write End to Not Expr 38

if expression state at time 38 = "end_expr", then expression state at time 39 = "not_expr"

Write Stmt Control Map At Unchanged 38

if the following are true:

the line at time 38 = 3
the tab at time 38 = 1
statement at line 3, tab 1 = x = __mul__(value, 4)
Control Map at time 38 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]

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

Write Stmt Class Defs At Unchanged 38

if the following are true:

the line at time 38 = 3
the tab at time 38 = 1
statement at line 3, tab 1 = x = __mul__(value, 4)
Class Map at time 38 = [ ]

then Class Map at time 39 = [ ]

Do Get Key Value 39 0

value at 0 in map [ entry 0: (trio ("for", 2, [ ])), [ ] ] = trio ("for", 2, [ ])

Get Decrement Key Value Control Map At 39

if Control Map at time 39 = [ entry 0: (trio ("for", 2, [ ])), [ ] ], then value at (1 - 1) in map (Control Map at time 39) = trio ("for", 2, [ ])

Write Return to For Line 39

if the following are true:

the line at time 39 = 4
the tab at time 39 = 1
statement at line 4, tab 0 = for value in numbers:
Control Map at time 39 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]

then the line at time 40 = 2

Write End For Tab 39

if the following are true:

the line at time 39 = 4
the tab at time 39 = 1
statement at line 4, tab 0 = for value in numbers:
Control Map at time 39 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]

then the tab at time 40 = 0

Write Return to For Variables At 39

if the following are true:

the line at time 39 = 4
the tab at time 39 = 1
statement at line 4, tab 0 = for value in numbers:
Control Map at time 39 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]
Variables Map at time 39 = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 28, [ ] ] ] ]

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

Write Return to For Stack At 39

if the following are true:

the line at time 39 = 4
the tab at time 39 = 1
statement at line 4, tab 0 = for value in numbers:
Control Map at time 39 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]
stack at time 39 = [ ]

then stack at time 40 = [ ]

Write Return to For Object Store At 39

if the following are true:

the line at time 39 = 4
the tab at time 39 = 1
statement at line 4, tab 0 = for value in numbers:
Control Map at time 39 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]
Python Object Store at time 39 = [ [4, 7], [ ] ]

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

Write Return to For Control Map At 39

if the following are true:

the line at time 39 = 4
the tab at time 39 = 1
statement at line 4, tab 0 = for value in numbers:
Control Map at time 39 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]

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

Write Return to For Class Defs At 39

if the following are true:

the line at time 39 = 4
the tab at time 39 = 1
statement at line 4, tab 0 = for value in numbers:
Control Map at time 39 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]
Class Map at time 39 = [ ]

then Class Map at time 40 = [ ]

Do Get Key Value 40 0

value at 0 in map [ entry 0: (trio ("for", 2, [ ])), [ ] ] = trio ("for", 2, [ ])

Get Key Value Control Map At 40

if Control Map at time 40 = [ entry 0: (trio ("for", 2, [ ])), [ ] ], then value at 0 in map (Control Map at time 40) = trio ("for", 2, [ ])

Write For Iterate Line At 40

if the following are true:

the line at time 40 = 2
the tab at time 40 = 0
statement at line 2, tab 0 = for value in numbers:
Control Map at time 40 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]

then the line at time 41 = 3

Write For Iterate Tab At 40

if the following are true:

the line at time 40 = 2
the tab at time 40 = 0
statement at line 2, tab 0 = for value in numbers:
Control Map at time 40 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]

then the tab at time 41 = 0

Write For Iterate Expr State At 40

if the following are true:

the line at time 40 = 2
the tab at time 40 = 0
statement at line 2, tab 0 = for value in numbers:
Control Map at time 40 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]

then expression state at time 41 = "not_expr"

Write For Iterate Stack At Unchanged 40

if the following are true:

the line at time 40 = 2
the tab at time 40 = 0
statement at line 2, tab 0 = for value in numbers:
Control Map at time 40 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]
stack at time 40 = [ ]

then stack at time 41 = [ ]

Write For Iterate Object Store At Unchanged 40

if the following are true:

the line at time 40 = 2
the tab at time 40 = 0
statement at line 2, tab 0 = for value in numbers:
Control Map at time 40 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]
Python Object Store at time 40 = [ [4, 7], [ ] ]

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

Write For Iterate Variables At Unchanged 40

if the following are true:

the line at time 40 = 2
the tab at time 40 = 0
statement at line 2, tab 0 = for value in numbers:
Control Map at time 40 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]
Variables Map at time 40 = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 28, [ ] ] ] ]

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

Write For Iterate Class Defs At Unchanged 40

if the following are true:

the line at time 40 = 2
the tab at time 40 = 0
statement at line 2, tab 0 = for value in numbers:
Control Map at time 40 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]
Class Map at time 40 = [ ]

then Class Map at time 41 = [ ]

Write For Iterate Control Map At Unchanged 40

if the following are true:

the line at time 40 = 2
the tab at time 40 = 0
statement at line 2, tab 0 = for value in numbers:
Control Map at time 40 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]

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

Write Skip Line Line 41

if the following are true:

the line at time 41 = 3
the tab at time 41 = 0
statement at line 3, tab 1 = x = value * 4

then the line at time 42 = 4

Write Skip Line Tab 41

if the following are true:

the line at time 41 = 3
the tab at time 41 = 0
statement at line 3, tab 1 = x = value * 4

then the tab at time 42 = 0

Write Skip Line Variables At 41

if the following are true:

the line at time 41 = 3
the tab at time 41 = 0
statement at line 3, tab 1 = x = value * 4
Variables Map at time 41 = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 28, [ ] ] ] ]

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

Write Skip Line Stack At 41

if the following are true:

the line at time 41 = 3
the tab at time 41 = 0
statement at line 3, tab 1 = x = value * 4
stack at time 41 = [ ]

then stack at time 42 = [ ]

Write Skip Line Object Store At 41

if the following are true:

the line at time 41 = 3
the tab at time 41 = 0
statement at line 3, tab 1 = x = value * 4
Python Object Store at time 41 = [ [4, 7], [ ] ]

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

Write Skip Line Control Map At 41

if the following are true:

the line at time 41 = 3
the tab at time 41 = 0
statement at line 3, tab 1 = x = value * 4
Control Map at time 41 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]

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

Write Skip Line Class Defs At 41

if the following are true:

the line at time 41 = 3
the tab at time 41 = 0
statement at line 3, tab 1 = x = value * 4
Class Map at time 41 = [ ]

then Class Map at time 42 = [ ]

Write Skip Line State 41

if the following are true:

the line at time 41 = 3
the tab at time 41 = 0
statement at line 3, tab 1 = x = value * 4

then expression state at time 42 = "not_expr"

Do Get Key Value 42 0

value at 0 in map [ entry 0: (trio ("for", 2, [ ])), [ ] ] = trio ("for", 2, [ ])

Get Key Value Control Map At 42

if Control Map at time 42 = [ entry 0: (trio ("for", 2, [ ])), [ ] ], then value at 0 in map (Control Map at time 42) = trio ("for", 2, [ ])

Get Not Has For At 42

if value at 0 in map (Control Map at time 42) = trio ("for", 2, [ ]), then map (Control Map at time 42) does not contain a for loop entry at line: 4 and tab: 0

Write Set Name Expr At on State 42

if the following are true:

the line at time 42 = 4
the tab at time 42 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 42 = "not_expr"
map (Control Map at time 42) does not contain a for loop entry at line: 4 and tab: 0

then the expression at time 43 = numbers

Write Set Name Expr State At on State 42

if the following are true:

the line at time 42 = 4
the tab at time 42 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 42 = "not_expr"
map (Control Map at time 42) does not contain a for loop entry at line: 4 and tab: 0

then expression state at time 43 = "begin_expr"

Write Set Name Line At on State 42

if the following are true:

the line at time 42 = 4
the tab at time 42 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 42 = "not_expr"
map (Control Map at time 42) does not contain a for loop entry at line: 4 and tab: 0

then the line at time 43 = 4

Write Set Name Tab At on State 42

if the following are true:

the line at time 42 = 4
the tab at time 42 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 42 = "not_expr"
map (Control Map at time 42) does not contain a for loop entry at line: 4 and tab: 0

then the tab at time 43 = 0

Write Set Name Value Stack At on State 42

if the following are true:

the line at time 42 = 4
the tab at time 42 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 42 = "not_expr"
map (Control Map at time 42) does not contain a for loop entry at line: 4 and tab: 0

then Value Stack at time 43 = [ ]

Write Set Name Parent Stack At on State 42

if the following are true:

the line at time 42 = 4
the tab at time 42 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 42 = "not_expr"
map (Control Map at time 42) does not contain a for loop entry at line: 4 and tab: 0

then parent stack at time 43 = [ ]

Write Set Name Arg Stack At on State 42

if the following are true:

the line at time 42 = 4
the tab at time 42 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 42 = "not_expr"
map (Control Map at time 42) does not contain a for loop entry at line: 4 and tab: 0

then arguments stack at time 43 = [ ]

Write Stmt Object Store At Unchanged Expr42

if the following are true:

the line at time 42 = 4
the tab at time 42 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 42 = "not_expr"
Python Object Store at time 42 = [ [4, 7], [ ] ]
map (Control Map at time 42) does not contain a for loop entry at line: 4 and tab: 0

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

Write Stmt Control Map At Unchanged Expr42

if the following are true:

the line at time 42 = 4
the tab at time 42 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 42 = "not_expr"
Control Map at time 42 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]
map (Control Map at time 42) does not contain a for loop entry at line: 4 and tab: 0

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

Write Stmt Variables At Unchanged Expr42

if the following are true:

the line at time 42 = 4
the tab at time 42 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 42 = "not_expr"
Variables Map at time 42 = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 28, [ ] ] ] ]
map (Control Map at time 42) does not contain a for loop entry at line: 4 and tab: 0

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

Write Stmt Stack At Unchanged 42

if the following are true:

the line at time 42 = 4
the tab at time 42 = 0
statement at line 4, tab 0 = for value in numbers:
stack at time 42 = [ ]
numbers is a variable

then stack at time 43 = [ ]

Write Stmt Class Defs At Unchanged 42

if the following are true:

the line at time 42 = 4
the tab at time 42 = 0
statement at line 4, tab 0 = for value in numbers:
Class Map at time 42 = [ ]
numbers is a variable

then Class Map at time 43 = [ ]

Do Get Key Value 43 0

value at numbers in map [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 28, [ ] ] ] ] = Python reference 0

Do Variables At Unchanged 43

if the following are true:

expression state at time 43 = "begin_expr"
Variables Map at time 43 = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 28, [ ] ] ] ]

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

Get Begin Expr State Name 43

if the following are true:

the expression at time 43 = numbers
expression state at time 43 = "begin_expr"
numbers is a variable
parent stack at time 43 = [ ]

then expression state at time 44 = "end_expr"

Get Begin Expr Value Unchaged Name 43

if the following are true:

the expression at time 43 = numbers
expression state at time 43 = "begin_expr"
numbers is a variable
Value Stack at time 43 = [ ]

then Value Stack at time 44 = [ ]

Get Begin Expr Params Unchanged Name43

if the following are true:

the expression at time 43 = numbers
expression state at time 43 = "begin_expr"
numbers is a variable
arguments stack at time 43 = [ ]

then arguments stack at time 44 = [ ]

Get Begin Expr Return Name 43

if the following are true:

expression state at time 43 = "begin_expr"
the expression at time 43 = numbers
numbers is a variable
Variables Map at time 43 = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 28, [ ] ] ] ]

then Return Value at time 44 = Python reference 0

Get Begin Expr Parent Name 43

if the following are true:

expression state at time 43 = "begin_expr"
the expression at time 43 = numbers
numbers is a variable
parent stack at time 43 = [ ]

then parent stack at time 44 = [ ]

Do Line At Unchanged 43

if the following are true:

expression state at time 43 = "begin_expr"
the line at time 43 = 4

then the line at time 44 = 4

Do Tab At Unchanged 43

if the following are true:

expression state at time 43 = "begin_expr"
the tab at time 43 = 0

then the tab at time 44 = 0

Do Stack At Unchanged 43

if the following are true:

expression state at time 43 = "begin_expr"
stack at time 43 = [ ]

then stack at time 44 = [ ]

Do Object Store At Unchanged 43

if the following are true:

expression state at time 43 = "begin_expr"
Python Object Store at time 43 = [ [4, 7], [ ] ]

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

Do Control Map At Unchanged 43

if the following are true:

expression state at time 43 = "begin_expr"
Control Map at time 43 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]

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

Do Class Defs At Unchanged 43

if the following are true:

expression state at time 43 = "begin_expr"
Class Map at time 43 = [ ]

then Class Map at time 44 = [ ]

Write End to Not Expr 44

if expression state at time 44 = "end_expr", then expression state at time 45 = "not_expr"

Write Set Name Line At on State 44

if the following are true:

the line at time 44 = 4
the tab at time 44 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 44 = "end_expr"

then the line at time 45 = 4

Write Set Name Tab At on State 44

if the following are true:

the line at time 44 = 4
the tab at time 44 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 44 = "end_expr"

then the tab at time 45 = 0

Write Stmt Variables At Unchanged Expr44

if the following are true:

the line at time 44 = 4
the tab at time 44 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 44 = "end_expr"
Variables Map at time 44 = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 28, [ ] ] ] ]

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

Write Stmt Stack At Unchanged Expr44

if the following are true:

the line at time 44 = 4
the tab at time 44 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 44 = "end_expr"
stack at time 44 = [ ]

then stack at time 45 = [ ]

Write Stmt Object Store At Unchanged Expr44

if the following are true:

the line at time 44 = 4
the tab at time 44 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 44 = "end_expr"
Python Object Store at time 44 = [ [4, 7], [ ] ]

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

Write Stmt Class Defs At Unchanged Expr44

if the following are true:

the line at time 44 = 4
the tab at time 44 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 44 = "end_expr"
Class Map at time 44 = [ ]

then Class Map at time 45 = [ ]

Do Element At 44 0

the element at index 0 of stack [ [4, 7], [ ] ] = [4, 7]

Write Element At Object Store 44

if Python Object Store at time 44 = [ [4, 7], [ ] ], then the element at index 0 of stack (Python Object Store at time 44) = [4, 7]

Do Set Key Value 44 0

result of storing (trio ("for", 4, [ 4, [ 7, [ ] ] ])) at key: 0 in map: [ entry 0: (trio ("for", 2, [ ])), [ ] ] = [ entry 0: (trio ("for", 4, [ 4, [ 7, [ ] ] ])), [ ] ]

Write For Iterable Finished Control Map44

if the following are true:

the line at time 44 = 4
the tab at time 44 = 0
statement at line 4, tab 0 = for value in numbers:
expression state at time 44 = "end_expr"
Return Value at time 44 = Python reference 0
Control Map at time 44 = [ entry 0: (trio ("for", 2, [ ])), [ ] ]
the element at index 0 of stack (Python Object Store at time 44) = [4, 7]

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

Do Set Key Value 45 0

result of storing 4 at key: value in map: [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 28, [ ] ] ] ] = [ entry numbers: (Python reference 0), [ entry value: 4, [ entry x: 28, [ ] ] ] ]

Do Get Key Value 45 0

value at 0 in map [ entry 0: (trio ("for", 4, [ 4, [ 7, [ ] ] ])), [ ] ] = trio ("for", 4, [ 4, [ 7, [ ] ] ])

Get Key Value Control Map At 45

if Control Map at time 45 = [ entry 0: (trio ("for", 4, [ 4, [ 7, [ ] ] ])), [ ] ], then value at 0 in map (Control Map at time 45) = trio ("for", 4, [ 4, [ 7, [ ] ] ])

Write For Iterate Line At 45

if the following are true:

the line at time 45 = 4
the tab at time 45 = 0
statement at line 4, tab 0 = for value in numbers:
Control Map at time 45 = [ entry 0: (trio ("for", 4, [ 4, [ 7, [ ] ] ])), [ ] ]

then the line at time 46 = 5

Write For Iterate Tab At 45

if the following are true:

the line at time 45 = 4
the tab at time 45 = 0
statement at line 4, tab 0 = for value in numbers:
Control Map at time 45 = [ entry 0: (trio ("for", 4, [ 4, [ 7, [ ] ] ])), [ ] ]

then the tab at time 46 = 1

Write For Iterate Expr State At 45

if the following are true:

the line at time 45 = 4
the tab at time 45 = 0
statement at line 4, tab 0 = for value in numbers:
Control Map at time 45 = [ entry 0: (trio ("for", 4, [ 4, [ 7, [ ] ] ])), [ ] ]

then expression state at time 46 = "not_expr"

Write For Iterate Variables 45

if the following are true:

the line at time 45 = 4
the tab at time 45 = 0
statement at line 4, tab 0 = for value in numbers:
Control Map at time 45 = [ entry 0: (trio ("for", 4, [ 4, [ 7, [ ] ] ])), [ ] ]
Variables Map at time 45 = [ entry numbers: (Python reference 0), [ entry value: 7, [ entry x: 28, [ ] ] ] ]

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

Do Set Key Value 45 1

result of storing (trio ("for", 4, [ 7, [ ] ])) at key: 0 in map: [ entry 0: (trio ("for", 4, [ 4, [ 7, [ ] ] ])), [ ] ] = [ entry 0: (trio ("for", 4, [ 7, [ ] ])), [ ] ]

Write For Iterate Control Map 45

if the following are true:

the line at time 45 = 4
the tab at time 45 = 0
statement at line 4, tab 0 = for value in numbers:
Control Map at time 45 = [ entry 0: (trio ("for", 4, [ 4, [ 7, [ ] ] ])), [ ] ]

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

Write For Iterate Stack At Unchanged 45

if the following are true:

the line at time 45 = 4
the tab at time 45 = 0
statement at line 4, tab 0 = for value in numbers:
Control Map at time 45 = [ entry 0: (trio ("for", 4, [ 4, [ 7, [ ] ] ])), [ ] ]
stack at time 45 = [ ]

then stack at time 46 = [ ]

Write For Iterate Object Store At Unchanged 45

if the following are true:

the line at time 45 = 4
the tab at time 45 = 0
statement at line 4, tab 0 = for value in numbers:
Control Map at time 45 = [ entry 0: (trio ("for", 4, [ 4, [ 7, [ ] ] ])), [ ] ]
Python Object Store at time 45 = [ [4, 7], [ ] ]

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

Write For Iterate Class Defs At Unchanged 45

if the following are true:

the line at time 45 = 4
the tab at time 45 = 0
statement at line 4, tab 0 = for value in numbers:
Control Map at time 45 = [ entry 0: (trio ("for", 4, [ 4, [ 7, [ ] ] ])), [ ] ]
Class Map at time 45 = [ ]

then Class Map at time 46 = [ ]

Do Convert Stmt 46

if statement at line 5, tab 1 = x = value * 4, then statement at line 5, tab 1 = x = __mul__(value, 4)

Write Set Name Expr At on State 46

if the following are true:

the line at time 46 = 5
the tab at time 46 = 1
statement at line 5, tab 1 = x = __mul__(value, 4)
expression state at time 46 = "not_expr"

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

Pages: 164 165 166 ... 193