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 Class Def 7

if the following are true:

the line at time 7 = 7
the tab at time 7 = 0
statement at line 7, tab 0 = class Dog(Animal):
Class Map at time 7 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

then Class Map at time 8 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

Do Set Key Value 7 1

result of storing (pair ("class", "Dog")) at key: 0 in map: [ entry 0: (pair ("class", "Animal")), [ ] ] = [ entry 0: (pair ("class", "Dog")), [ ] ]

Write Class Def Control Map 7

if the following are true:

the line at time 7 = 7
the tab at time 7 = 0
statement at line 7, tab 0 = class Dog(Animal):
Control Map at time 7 = [ entry 0: (pair ("class", "Animal")), [ ] ]

then Control Map at time 8 = [ entry 0: (pair ("class", "Dog")), [ ] ]

Write Increment T And Val Line At 7

if the following are true:

the line at time 7 = 7
the tab at time 7 = 0
statement at line 7, tab 0 = class Dog(Animal):

then the line at time 8 = 8

Write Stmt Variables At Unchanged 7

if the following are true:

the line at time 7 = 7
the tab at time 7 = 0
statement at line 7, tab 0 = class Dog(Animal):
Variables Map at time 7 = [ ]

then Variables Map at time 8 = [ ]

Write Stmt Stack At Unchanged 7

if the following are true:

the line at time 7 = 7
the tab at time 7 = 0
statement at line 7, tab 0 = class Dog(Animal):
stack at time 7 = [ ]

then stack at time 8 = [ ]

Write Increment T And Val Tab At 7

if the following are true:

the line at time 7 = 7
the tab at time 7 = 0
statement at line 7, tab 0 = class Dog(Animal):

then the tab at time 8 = 1

Write Stmt Object Store At Unchanged 7

if the following are true:

the line at time 7 = 7
the tab at time 7 = 0
statement at line 7, tab 0 = class Dog(Animal):
Python Object Store at time 7 = [ ]

then Python Object Store at time 8 = [ ]

Do Get Key Value 8 0

value at "Dog" in map [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ], [ ] ] ] = [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ]

Get Key Value Class Defs At 8

if Class Map at time 8 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ], [ ] ] ], then value at "Dog" in map (Class Map at time 8) = [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ]

Do Get Key Value 8 1

value at "methods" in map [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ] = [ ]

Do Set Key Value 8 0

result of storing [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ] at key: "jump" in map: [ ] = [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ]

Do Set Key Value 8 1

result of storing [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ] at key: "methods" in map: [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ] = [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ]

Do Set Key Value 8 2

result of storing [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ] at key: "Dog" in map: [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ], [ ] ] ] = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

Write Method Def 8

if the following are true:

the line at time 8 = 8
the tab at time 8 = 1
statement at line 8, tab 1 = def jump(self):
value at "Dog" in map (Class Map at time 8) = [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ]
value at "methods" in map [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ] = [ ]
Class Map at time 8 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 9 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

Write Increment T And Val Line At 8

if the following are true:

the line at time 8 = 8
the tab at time 8 = 1
statement at line 8, tab 1 = def jump(self):

then the line at time 9 = 9

Write Stmt Variables At Unchanged 8

if the following are true:

the line at time 8 = 8
the tab at time 8 = 1
statement at line 8, tab 1 = def jump(self):
Variables Map at time 8 = [ ]

then Variables Map at time 9 = [ ]

Write Stmt Stack At Unchanged 8

if the following are true:

the line at time 8 = 8
the tab at time 8 = 1
statement at line 8, tab 1 = def jump(self):
stack at time 8 = [ ]

then stack at time 9 = [ ]

Write Set Name Tab At Unchanged 8

if the following are true:

the line at time 8 = 8
the tab at time 8 = 1
statement at line 8, tab 1 = def jump(self):

then the tab at time 9 = 1

Write Stmt Object Store At Unchanged 8

if the following are true:

the line at time 8 = 8
the tab at time 8 = 1
statement at line 8, tab 1 = def jump(self):
Python Object Store at time 8 = [ ]

then Python Object Store at time 9 = [ ]

Write Stmt Control Map At Unchanged 8

if the following are true:

the line at time 8 = 8
the tab at time 8 = 1
statement at line 8, tab 1 = def jump(self):
Control Map at time 8 = [ entry 0: (pair ("class", "Dog")), [ ] ]

then Control Map at time 9 = [ entry 0: (pair ("class", "Dog")), [ ] ]

Write Skip Line Line 9

if the following are true:

the line at time 9 = 9
the tab at time 9 = 1
statement at line 9, tab 2 = self.y = 5

then the line at time 10 = 10

Write Skip Line Tab 9

if the following are true:

the line at time 9 = 9
the tab at time 9 = 1
statement at line 9, tab 2 = self.y = 5

then the tab at time 10 = 1

Write Skip Line Variables At 9

if the following are true:

the line at time 9 = 9
the tab at time 9 = 1
statement at line 9, tab 2 = self.y = 5
Variables Map at time 9 = [ ]

then Variables Map at time 10 = [ ]

Write Skip Line Stack At 9

if the following are true:

the line at time 9 = 9
the tab at time 9 = 1
statement at line 9, tab 2 = self.y = 5
stack at time 9 = [ ]

then stack at time 10 = [ ]

Write Skip Line Object Store At 9

if the following are true:

the line at time 9 = 9
the tab at time 9 = 1
statement at line 9, tab 2 = self.y = 5
Python Object Store at time 9 = [ ]

then Python Object Store at time 10 = [ ]

Write Skip Line Control Map At 9

if the following are true:

the line at time 9 = 9
the tab at time 9 = 1
statement at line 9, tab 2 = self.y = 5
Control Map at time 9 = [ entry 0: (pair ("class", "Dog")), [ ] ]

then Control Map at time 10 = [ entry 0: (pair ("class", "Dog")), [ ] ]

Write Skip Line Class Defs At 9

if the following are true:

the line at time 9 = 9
the tab at time 9 = 1
statement at line 9, tab 2 = self.y = 5
Class Map at time 9 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 10 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

Write Skip Line State 9

if the following are true:

the line at time 9 = 9
the tab at time 9 = 1
statement at line 9, tab 2 = self.y = 5

then expression state at time 10 = "not_expr"

Do Get Key Value 10 0

value at 0 in map [ entry 0: (pair ("class", "Dog")), [ ] ] = pair ("class", "Dog")

Get Decrement Key Value Control Map At 10

if Control Map at time 10 = [ entry 0: (pair ("class", "Dog")), [ ] ], then value at (1 - 1) in map (Control Map at time 10) = pair ("class", "Dog")

Write Class Def End Tab 10

if the following are true:

the line at time 10 = 10
the tab at time 10 = 1
statement at line 10, tab 0 = joe = Dog()
Control Map at time 10 = [ entry 0: (pair ("class", "Dog")), [ ] ]

then the tab at time 11 = 0

Write Class Def End Control Map At 10

if the following are true:

the line at time 10 = 10
the tab at time 10 = 1
statement at line 10, tab 0 = joe = Dog()
Control Map at time 10 = [ entry 0: (pair ("class", "Dog")), [ ] ]

then Control Map at time 11 = [ entry 0: (pair ("class", "Dog")), [ ] ]

Write Decrement Tab Expr State 10

if the following are true:

the line at time 10 = 10
the tab at time 10 = 1
statement at line 10, tab 0 = joe = Dog()

then expression state at time 11 = "not_expr"

Write Block End Unchanged Line At 10

if the following are true:

the line at time 10 = 10
the tab at time 10 = 1
statement at line 10, tab 0 = joe = Dog()
Control Map at time 10 = [ entry 0: (pair ("class", "Dog")), [ ] ]

then the line at time 11 = 10

Write Block End Unchanged Variables At 10

if the following are true:

the line at time 10 = 10
the tab at time 10 = 1
statement at line 10, tab 0 = joe = Dog()
Control Map at time 10 = [ entry 0: (pair ("class", "Dog")), [ ] ]
Variables Map at time 10 = [ ]

then Variables Map at time 11 = [ ]

Write Block End Unchanged Stack At 10

if the following are true:

the line at time 10 = 10
the tab at time 10 = 1
statement at line 10, tab 0 = joe = Dog()
Control Map at time 10 = [ entry 0: (pair ("class", "Dog")), [ ] ]
stack at time 10 = [ ]

then stack at time 11 = [ ]

Write Block End Unchanged Object Store At 10

if the following are true:

the line at time 10 = 10
the tab at time 10 = 1
statement at line 10, tab 0 = joe = Dog()
Control Map at time 10 = [ entry 0: (pair ("class", "Dog")), [ ] ]
Python Object Store at time 10 = [ ]

then Python Object Store at time 11 = [ ]

Write Block End Unchanged Class Defs At 10

if the following are true:

the line at time 10 = 10
the tab at time 10 = 1
statement at line 10, tab 0 = joe = Dog()
Control Map at time 10 = [ entry 0: (pair ("class", "Dog")), [ ] ]
Class Map at time 10 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 11 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

Write Set Name Expr At on State 11

if the following are true:

the line at time 11 = 10
the tab at time 11 = 0
statement at line 10, tab 0 = joe = Dog()
expression state at time 11 = "not_expr"

then the expression at time 12 = Dog()

Write Set Name Expr State At on State 11

if the following are true:

the line at time 11 = 10
the tab at time 11 = 0
statement at line 10, tab 0 = joe = Dog()
expression state at time 11 = "not_expr"

then expression state at time 12 = "begin_expr"

Write Set Name Line At on State 11

if the following are true:

the line at time 11 = 10
the tab at time 11 = 0
statement at line 10, tab 0 = joe = Dog()
expression state at time 11 = "not_expr"

then the line at time 12 = 10

Write Set Name Tab At on State 11

if the following are true:

the line at time 11 = 10
the tab at time 11 = 0
statement at line 10, tab 0 = joe = Dog()
expression state at time 11 = "not_expr"

then the tab at time 12 = 0

Write Set Name Value Stack At on State 11

if the following are true:

the line at time 11 = 10
the tab at time 11 = 0
statement at line 10, tab 0 = joe = Dog()
expression state at time 11 = "not_expr"

then Value Stack at time 12 = [ ]

Write Set Name Parent Stack At on State 11

if the following are true:

the line at time 11 = 10
the tab at time 11 = 0
statement at line 10, tab 0 = joe = Dog()
expression state at time 11 = "not_expr"

then parent stack at time 12 = [ ]

Write Set Name Arg Stack At on State 11

if the following are true:

the line at time 11 = 10
the tab at time 11 = 0
statement at line 10, tab 0 = joe = Dog()
expression state at time 11 = "not_expr"

then arguments stack at time 12 = [ ]

Write Stmt Variables At Unchanged Expr11

if the following are true:

the line at time 11 = 10
the tab at time 11 = 0
statement at line 10, tab 0 = joe = Dog()
expression state at time 11 = "not_expr"
Variables Map at time 11 = [ ]

then Variables Map at time 12 = [ ]

Write Stmt Stack At Unchanged Expr11

if the following are true:

the line at time 11 = 10
the tab at time 11 = 0
statement at line 10, tab 0 = joe = Dog()
expression state at time 11 = "not_expr"
stack at time 11 = [ ]

then stack at time 12 = [ ]

Write Stmt Object Store At Unchanged Expr11

if the following are true:

the line at time 11 = 10
the tab at time 11 = 0
statement at line 10, tab 0 = joe = Dog()
expression state at time 11 = "not_expr"
Python Object Store at time 11 = [ ]

then Python Object Store at time 12 = [ ]

Write Stmt Control Map At Unchanged 11

if the following are true:

the line at time 11 = 10
the tab at time 11 = 0
statement at line 10, tab 0 = joe = Dog()
Control Map at time 11 = [ entry 0: (pair ("class", "Dog")), [ ] ]

then Control Map at time 12 = [ entry 0: (pair ("class", "Dog")), [ ] ]

Write Stmt Class Defs At Unchanged 11

if the following are true:

the line at time 11 = 10
the tab at time 11 = 0
statement at line 10, tab 0 = joe = Dog()
Class Map at time 11 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 12 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

Get Begin Expr Value 12

if the following are true:

expression state at time 12 = "begin_expr"
the expression at time 12 = Dog()
Value Stack at time 12 = [ ]

then Value Stack at time 13 = [ [ ], [ ] ]

Get Begin Expr Parent 12

if the following are true:

expression state at time 12 = "begin_expr"
the expression at time 12 = Dog()
parent stack at time 12 = [ ]

then parent stack at time 13 = [ Dog(), [ ] ]

Get Begin Expr Params 12

if the following are true:

expression state at time 12 = "begin_expr"
the expression at time 12 = Dog()
arguments stack at time 12 = [ ]

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

Get Begin Expr Call State 12

if the following are true:

expression state at time 12 = "begin_expr"
the expression at time 12 = Dog()

then expression state at time 13 = "iterate_args"

Do Expr At Unchanged 12

if the following are true:

expression state at time 12 = "begin_expr"
the expression at time 12 = Dog()

then the expression at time 13 = Dog()

Do Variables At Unchanged 12

if the following are true:

expression state at time 12 = "begin_expr"
Variables Map at time 12 = [ ]

then Variables Map at time 13 = [ ]

Do Line At Unchanged 12

if the following are true:

expression state at time 12 = "begin_expr"
the line at time 12 = 10

then the line at time 13 = 10

Do Tab At Unchanged 12

if the following are true:

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

then the tab at time 13 = 0

Do Stack At Unchanged 12

if the following are true:

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

then stack at time 13 = [ ]

Do Object Store At Unchanged 12

if the following are true:

expression state at time 12 = "begin_expr"
Python Object Store at time 12 = [ ]

then Python Object Store at time 13 = [ ]

Do Control Map At Unchanged 12

if the following are true:

expression state at time 12 = "begin_expr"
Control Map at time 12 = [ entry 0: (pair ("class", "Dog")), [ ] ]

then Control Map at time 13 = [ entry 0: (pair ("class", "Dog")), [ ] ]

Do Class Defs At Unchanged 12

if the following are true:

expression state at time 12 = "begin_expr"
Class Map at time 12 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 13 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

Get Iterate End State 13

if the following are true:

expression state at time 13 = "iterate_args"
arguments stack at time 13 = [ [ ], [ ] ]
parent stack at time 13 = [ Dog(), [ ] ]

then expression state at time 14 = "call_function_begin"

Get Iterate End Expr 13

if the following are true:

expression state at time 13 = "iterate_args"
arguments stack at time 13 = [ [ ], [ ] ]
parent stack at time 13 = [ Dog(), [ ] ]

then the expression at time 14 = Dog()

Get Iterate End Parent 13

if the following are true:

expression state at time 13 = "iterate_args"
arguments stack at time 13 = [ [ ], [ ] ]
parent stack at time 13 = [ Dog(), [ ] ]

then parent stack at time 14 = [ ]

Get Iterate End Params 13

if the following are true:

expression state at time 13 = "iterate_args"
arguments stack at time 13 = [ [ ], [ ] ]
parent stack at time 13 = [ Dog(), [ ] ]

then arguments stack at time 14 = [ ]

Do Value Stack At Unchanged 13

if the following are true:

expression state at time 13 = "iterate_args"
Value Stack at time 13 = [ [ ], [ ] ]

then Value Stack at time 14 = [ [ ], [ ] ]

Do Line At Unchanged 13

if the following are true:

expression state at time 13 = "iterate_args"
the line at time 13 = 10

then the line at time 14 = 10

Do Tab At Unchanged 13

if the following are true:

expression state at time 13 = "iterate_args"
the tab at time 13 = 0

then the tab at time 14 = 0

Do Stack At Unchanged 13

if the following are true:

expression state at time 13 = "iterate_args"
stack at time 13 = [ ]

then stack at time 14 = [ ]

Do Object Store At Unchanged 13

if the following are true:

expression state at time 13 = "iterate_args"
Python Object Store at time 13 = [ ]

then Python Object Store at time 14 = [ ]

Do Control Map At Unchanged 13

if the following are true:

expression state at time 13 = "iterate_args"
Control Map at time 13 = [ entry 0: (pair ("class", "Dog")), [ ] ]

then Control Map at time 14 = [ entry 0: (pair ("class", "Dog")), [ ] ]

Do Variables At Unchanged 13

if the following are true:

expression state at time 13 = "iterate_args"
Variables Map at time 13 = [ ]

then Variables Map at time 14 = [ ]

Do Class Defs At Unchanged 13

if the following are true:

expression state at time 13 = "iterate_args"
Class Map at time 13 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 14 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

Do Expr At Unchanged 14

if the following are true:

expression state at time 14 = "call_function_begin"
the expression at time 14 = Dog()

then the expression at time 15 = Dog()

Write Call Function Begin State 14

if the following are true:

expression state at time 14 = "call_function_begin"
Value Stack at time 14 = [ [ ], [ ] ]
the expression at time 14 = Dog()

then expression state at time 15 = "call_build_args"

Write Call Function Begin Tmp Vars 14

if expression state at time 14 = "call_function_begin", then Function Variables Map at time 15 = [ ]

Do Get Key Value 14 0

value at "Animal" in map [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ] = [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ]

Do Get Key Value 14 1

value at "methods" in map [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ] = [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ]

Do Get Key Value 14 2

value at "__init__" in map [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ] = [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ]

Do Get Key Value 14 3

value at "params" in map [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ] = [ self, [ ] ]

Prove Find Method Def 14

definition of method "__init__" of class "Animal" in [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ] = [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ]

Do Get Key Value 14 100

value at "Dog" in map [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ] = [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ]

Do Get Key Value 14 101

value at "methods" in map [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ] = [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ]

Do Has Key 14 100

map [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ] contains key "__init__" = False

Do Get Key Value 14 102

value at "bases" in map [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ] = [ "Animal", [ ] ]

Prove Find Method Def Traverse 14

definition of method "__init__" of class "Dog" in [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ] = [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ]

Prove Find Method Def At 14

if Class Map at time 14 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ], then definition of method "__init__" of class "Dog" in (Class Map at time 14) = [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ]

Prove Find Method Params 14

if Class Map at time 14 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ], then method parameters where the Class Map is (Class Map at time 14), class name is "Dog", and method name is "__init__" = [ self, [ ] ]

Write Call Function Begin Method Args 14

if the following are true:

expression state at time 14 = "call_function_begin"
the expression at time 14 = Dog()
method parameters where the Class Map is (Class Map at time 14), class name is "Dog", and method name is "__init__" = [ self, [ ] ]