Conditional Properties

if the following are true:

• value at class_name in map class_defs = class_def
• value at "methods" in map class_def = methods
• value at method_name in map methods = method_map

then definition of method method_name of class class_name and base classes in class_defs = method_map

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k > j

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k > j

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k > j

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k > j

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k > j

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k > j

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k > j

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k > j

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k < j
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k < j
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

then the tab at time (t + 1) = j - 1

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k < j
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k < j
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k < j
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

then "if" map at time (t + 1) = "if" map at time t

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k < j
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k < j
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k < j
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k < j
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

then the tab at time (t + 1) = j - 1

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("while", while_line)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab k = s
• k < j

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("if", if_value)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("if", if_value)

then the tab at time (t + 1) = j - 1

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("if", if_value)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("if", if_value)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("if", if_value)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("if", if_value)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• number of lines = i - 1
• value at (j - 1) in map (Control Map at time t) = pair ("if", if_value)

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• "break" state at t = "breaking"
• value at (j - 1) in map (Control Map at time t) = control_value
• control_value describes a loop = True

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• "break" state at t = "breaking"
• value at (j - 1) in map (Control Map at time t) = control_value
• control_value describes a loop = True

then "break" state at (t + 1) = "not_breaking"

if the following are true:

• the line at time t = i
• the tab at time t = j
• "break" state at t = "breaking"
• value at (j - 1) in map (Control Map at time t) = control_value
• control_value describes a loop = False

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• "break" state at t = "breaking"
• value at (j - 1) in map (Control Map at time t) = control_value
• control_value describes a loop = False

then "break" state at (t + 1) = "breaking"

if "break" state at t = "breaking", then the tab at time (t + 1) = (the tab at time t) - 1

if "break" state at t = "breaking", then Python Object Store at time (t + 1) = Python Object Store at time t

if "break" state at t = "breaking", then Class Map at time (t + 1) = Class Map at time t

if "break" state at t = "breaking", then Variables Map at time (t + 1) = Variables Map at time t

if "break" state at t = "breaking", then stack at time (t + 1) = stack at time t

if "break" state at t = "breaking", then Control Map at time (t + 1) = Control Map at time t

if the following are true:

• the line at time t = i
• the tab at time t = j
• "continue" state at t = "continuing"
• value at (j - 1) in map (Control Map at time t) = control_value
• control_value describes a loop = True

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• "continue" state at t = "continuing"
• value at (j - 1) in map (Control Map at time t) = control_value
• control_value describes a loop = True

then "continue" state at (t + 1) = "not_continuing"

if the following are true:

• the line at time t = i
• the tab at time t = j
• "continue" state at t = "continuing"
• value at (j - 1) in map (Control Map at time t) = control_value
• control_value describes a loop = False

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• "continue" state at t = "continuing"
• value at (j - 1) in map (Control Map at time t) = control_value
• control_value describes a loop = False

then "continue" state at (t + 1) = "continuing"

if "continue" state at t = "continuing", then the tab at time (t + 1) = (the tab at time t) - 1

if "continue" state at t = "continuing", then expression state at time (t + 1) = "not_expr"

if "continue" state at t = "continuing", then Python Object Store at time (t + 1) = Python Object Store at time t

if "continue" state at t = "continuing", then Class Map at time (t + 1) = Class Map at time t

if "continue" state at t = "continuing", then Variables Map at time (t + 1) = Variables Map at time t

if "continue" state at t = "continuing", then stack at time (t + 1) = stack at time t

if "continue" state at t = "continuing", then Control Map at time (t + 1) = Control Map at time t

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "not_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "not_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "not_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "not_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "not_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "not_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "not_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "not_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "end_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "end_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "end_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "end_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "end_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "end_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args
• expression state at time t = "end_expr"

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = c
• c is constant

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = c
• c is constant

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = c
• c is constant

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

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

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 expression state at time (t + 1) = "begin_expr"

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 line at time (t + 1) = i

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 tab at time (t + 1) = j

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 Value Stack at time (t + 1) = [ ]

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 parent stack at time (t + 1) = [ ]

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 arguments stack at time (t + 1) = [ ]

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

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 expression state at time (t + 1) = "begin_expr"

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 line at time (t + 1) = i

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 tab at time (t + 1) = j

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 Value Stack at time (t + 1) = [ ]

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 parent stack at time (t + 1) = [ ]

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 arguments stack at time (t + 1) = [ ]

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 Control Map at time (t + 1) = Control Map at time t

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = function call with name: name and arguments: args

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = c
• c is constant

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = c
• c is constant

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = c
• c is constant

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = x
• x is a variable

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = x
• x is a variable

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = x
• x is a variable

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

if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = x
• x is a variable

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