Function object.attribute = value

set object object attribute attributetovalue

Format:

object.attribute = value

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 = obj.key = value
  • Expression Stack at time t = [ ]

  then Expression Stack at time (t + 1) = [ [ obj.key = value, [ ] ], [ ] ]

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = obj.key = value
  • 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 = obj.key = value
  • 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 = obj.key = value
  • Expression Stack at time t = [ ]

  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 = obj.key = value
  • Expression Stack at time t = [ ]

  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 = obj.key = value
  • Expression Stack at time t = [ ]

  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 = obj.key = value
  • Expression Stack at time t = [ ]

  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 = obj.key = value
  • Expression Stack at time t = [ ]

  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 = obj.key = value

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

  (link)

• if Expression Stack at time t = [ [ obj.key = value, [ ] ], [ ] ], then Expression Stack at time (t + 1) = [ [ obj, [ value, [ ] ] ], [ [ obj.key = value, ys ], rest ] ]

  (link)

• if Expression Stack at time t = [ [ obj.key = value, [ ] ], [ ] ], then Value Stack at time (t + 1) = [ [ ], Value Stack at time t ]

  (link)

• if Expression Stack at time t = [ [ obj.key = value, [ ] ], [ ] ], then Parameters List at time (t + 1) = None

  (link)

• if Expression Stack at time t = [ [ obj.key = value, [ ] ], [ ] ], then the line at time (t + 1) = the line at time t

  (link)

• if Expression Stack at time t = [ [ obj.key = value, [ ] ], [ ] ], then the tab at time (t + 1) = the tab at time t

  (link)

• if Expression Stack at time t = [ [ obj.key = value, [ ] ], [ ] ], then Variables Map at time (t + 1) = Variables Map at time t

  (link)

• if Expression Stack at time t = [ [ obj.key = value, [ ] ], [ ] ], then Control Map at time (t + 1) = Control Map at time t

  (link)

• if Expression Stack at time t = [ [ obj.key = value, [ ] ], [ ] ], then Python Object Store at time (t + 1) = Python Object Store at time t

  (link)

• if Expression Stack at time t = [ [ obj.key = value, [ ] ], [ ] ], then Context Stack at time (t + 1) = Context Stack at time t

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ obj.attribute = val, ys ], rest ] ]
  • Value Stack at time t = [ [ value, [ Python reference idx, [ ] ] ], [ next_level, other_levels ] ]
  • the element at index idx of stack (Python Object Store at time t) = Python object: entries

  then Python Object Store at time (t + 1) = result of storing (Python object: (result of storing value at key: attribute in map: entries)) at index idx of stack (Python Object Store at time t)

  (link)

• if the following are true:

  • Expression Stack at time t = [ [ ], [ [ obj.attribute = val, ys ], rest ] ]
  • Value Stack at time t = [ [ value, [ Python reference idx, [ ] ] ], [ next_level, other_levels ] ]
  • the element at index idx of stack (Python Object Store at time t) = Python object: entries

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

  (link)

• if Expression Stack at time t = [ [ ], [ [ obj.attribute = val, ys ], rest ] ], then Expression Stack at time (t + 1) = [ ys, rest ]

  (link)

• if Expression Stack at time t = [ [ ], [ [ obj.attribute = val, ys ], rest ] ], then the line at time (t + 1) = the line at time t

  (link)

• if Expression Stack at time t = [ [ ], [ [ obj.attribute = val, ys ], rest ] ], then the tab at time (t + 1) = the tab at time t

  (link)

• if Expression Stack at time t = [ [ ], [ [ obj.attribute = val, ys ], rest ] ], then Variables Map at time (t + 1) = Variables Map at time t

  (link)

• if Expression Stack at time t = [ [ ], [ [ obj.attribute = val, ys ], rest ] ], then Control Map at time (t + 1) = Control Map at time t

  (link)

• if Expression Stack at time t = [ [ ], [ [ obj.attribute = val, ys ], rest ] ], 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.y = z
  • Expression Stack at time t = [ [ ], [ ] ]

  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.y = z
  • Expression Stack at time t = [ [ ], [ ] ]

  then the tab at time (t + 1) = the tab 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.y = z
  • Expression Stack at time t = [ [ ], [ ] ]

  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.y = z
  • Expression Stack at time t = [ [ ], [ ] ]

  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.y = z
  • Expression Stack at time t = [ [ ], [ ] ]

  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.y = z
  • Expression Stack at time t = [ [ ], [ ] ]

  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.y = z
  • Expression Stack at time t = [ [ ], [ ] ]

  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 = obj.key = value
  • expression state at time t = "not_expr"

  then the expression at time (t + 1) = obj.key = value

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = obj.key = value
  • expression state at time t = "not_expr"

  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 = obj.key = value
  • expression state at time t = "not_expr"

  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 = obj.key = value
  • expression state at time t = "not_expr"

  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 = obj.key = value
  • expression state at time t = "not_expr"

  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 = obj.key = value
  • expression state at time t = "not_expr"

  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 = obj.key = value
  • expression state at time t = "not_expr"

  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 = obj.key = value
  • expression state at time t = "not_expr"

  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 = obj.key = value
  • expression state at time t = "not_expr"

  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 = obj.key = value

  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 = obj.key = value

  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 = obj.key = value

  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 = obj.key = value

  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 = obj.key = value

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

  (link)

• if the following are true:

  • expression state at time t = "begin_expr"
  • the expression at time t = obj.key = value

  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 = obj.key = value

  then parent stack at time (t + 1) = [ obj.key = value, parent stack at time t ]

  (link)

• if the following are true:

  • expression state at time t = "begin_expr"
  • the expression at time t = obj.key = value

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

  (link)

• if the following are true:

  • expression state at time t = "begin_expr"
  • the expression at time t = obj.key = value

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

  (link)

• if the following are true:

  • expression state at time t = "call_function_begin"
  • Value Stack at time t = [ [ value, [ Python reference idx, [ ] ] ], stack ]
  • the expression at time t = obj.attribute = val
  • the element at index idx of stack (Python Object Store at time t) = Python object: entries

  then Python Object Store at time (t + 1) = result of storing (Python object: (result of storing value at key: attribute in map: entries)) at index idx of stack (Python Object Store at time t)

  (link)

• if the following are true:

  • expression state at time t = "call_function_begin"
  • Value Stack at time t = [ values, stack ]
  • the expression at time t = x.y = z

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

  (link)

• if the following are true:

  • expression state at time t = "call_function_begin"
  • parent stack at time t = [ ]
  • the expression at time t = obj.attr = args

  then expression state at time (t + 1) = "end_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.y = z
  • expression state at time t = "end_expr"

  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.y = z
  • expression state at time t = "end_expr"

  then the tab at time (t + 1) = the tab 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.y = z
  • expression state at time t = "end_expr"

  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.y = z
  • expression state at time t = "end_expr"

  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.y = z
  • expression state at time t = "end_expr"

  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 = x.y = z
  • expression state at time t = "end_expr"

  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 = x.y = z
  • expression state at time t = "end_expr"

  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.y = z
  • expression state at time t = "end_expr"

  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.y = z
  • expression state at time t = "end_expr"

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

  (link)

Comments

Please log in to add comments