Function x is a variable

x is a variable

Format:

x is a variable

Input:

Output:

Conditional properties that reference this function:

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = for target in iterable:
  • iterable is a variable

  then Context Stack at time (t + 1) = Context Stack at time t

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

  then Variables Map at time (t + 1) = result of storing (value at c in map (Variables Map at time t)) at key: x in map: (Variables Map at time t)

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

  • expression state at time t = "begin_expr"
  • the expression at time t = x
  • x is a variable
  • parent stack at time t = [ y, z ]

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

  (link)

• if the following are true:

  • expression state at time t = "begin_expr"
  • the expression at time t = v
  • v is a variable
  • parent stack at time t = [ ]

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

  (link)

• if the following are true:

  • expression state at time t = "begin_expr"
  • the expression at time t = v
  • v is a variable

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

  (link)

• if the following are true:

  • expression state at time t = "begin_expr"
  • the expression at time t = v
  • v is a variable

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

  (link)

• if the following are true:

  • expression state at time t = "begin_expr"
  • the expression at time t = v
  • v is a variable

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

  (link)

• if the following are true:

  • expression state at time t = "begin_expr"
  • the expression at time t = v
  • v is a variable

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = for target in iterable:
  • iterable is a variable

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = for target in iterable:
  • iterable is a variable

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = for target in iterable:
  • iterable is a variable

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = for target in iterable:
  • iterable is a variable

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

  then Context Stack at time (t + 1) = Context Stack at time t

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = x
  • c is a variable
  • Expression Stack at time t = [ ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = x
  • c is a variable
  • Expression Stack at time t = [ ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = x
  • c is a variable
  • Expression Stack at time t = [ ]

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = x
  • c is a variable
  • Expression Stack at time t = [ ]

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

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ x, ys ], rest ]
  • Value Stack at time t = [ values, v_rest ]
  • x is a variable

  then Expression Stack at time (t + 1) = [ ys, rest ]

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ x, ys ], rest ]
  • Value Stack at time t = [ values, v_rest ]
  • x is a variable

  then Value Stack at time (t + 1) = [ [ value at x in map (Variables Map at time t), values ], v_rest ]

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ x, ys ], rest ]
  • Value Stack at time t = [ values, v_rest ]
  • x is a variable

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

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ x, ys ], rest ]
  • Value Stack at time t = [ values, v_rest ]
  • x is a variable

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

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ x, ys ], rest ]
  • Value Stack at time t = [ values, v_rest ]
  • x is a variable

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

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ x, ys ], rest ]
  • Value Stack at time t = [ values, v_rest ]
  • x is a variable

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

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ x, ys ], rest ]
  • Value Stack at time t = [ values, v_rest ]
  • x is a variable

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

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ x, ys ], rest ]
  • Value Stack at time t = [ values, v_rest ]
  • x is a variable

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

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ x, ys ], rest ]
  • Value Stack at time t = [ values, v_rest ]
  • x is a variable

  then Context Stack at time (t + 1) = Context Stack at time t

  (link)

• if the following are true:

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

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

  (link)

Comments

Please log in to add comments