Function Trio

a key,value entry

Format:

trio (first, second, third)

Input:

Output:

Properties that reference this function:

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_ex:
  • Expression Stack at time t = [ [ ], [ ] ]
  • Value Stack at time t = [ [ Python reference index, [ ] ], v_stack ]
  • the element at index index of stack (Python Object Store at time t) = Python list elements

  then Control Map at time (t + 1) = result of storing (trio ("for", i, elements)) at key: j in map: (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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  then Variables Map at time (t + 1) = result of storing elem at key: target 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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  then the tab at time (t + 1) = j + 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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  then Control Map at time (t + 1) = result of storing (trio ("for", i, rest)) at key: j in map: (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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  then Expression 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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, 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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  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_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  then Control Map at time (t + 1) = result of deleting the entry with key j from map (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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  then Expression 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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

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

  (link)
• 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) = trio ("for", for_line, iterable)

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

  (link)
• 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) = trio ("for", for_line, iterable)

  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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  then Expression Stack at time (t + 1) = Expression 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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

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

  (link)
• 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) = trio ("for", for_line, iterable)

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

  (link)
• 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) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

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

  (link)
• 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) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

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

  (link)
• if the following are true:
  • value at j in map map_a = trio ("for", line, ex)
  • not (line = i)

  then map map_a does not contain a for loop entry at line: i and tab: 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 = for target in iterable_ex:
  • expression state at time t = "end_expr"
  • Return Value at time t = Python reference index
  • the element at index index of stack (Python Object Store at time t) = Python list elements

  then Control Map at time (t + 1) = result of storing (trio ("for", i, elements)) at key: j in map: (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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  then Variables Map at time (t + 1) = result of storing elem at key: target 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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  then the tab at time (t + 1) = j + 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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  then Control Map at time (t + 1) = result of storing (trio ("for", i, rest)) at key: j in map: (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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  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_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  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_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  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_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  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_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ elem, rest ])

  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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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 = for target in iterable_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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_ex:
  • value at j in map (Control Map at time t) = trio ("for", i, [ ])

  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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

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

  (link)
• 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) = trio ("for", for_line, iterable)

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

  (link)
• 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) = trio ("for", for_line, iterable)

  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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  then expression state at time (t + 1) = expression state 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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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 k = s
  • k < j
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

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

  (link)
• 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) = trio ("for", for_line, iterable)

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

  (link)
• 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) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

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

  (link)
• 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) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

  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
  • number of lines = i - 1
  • value at (j - 1) in map (Control Map at time t) = trio ("for", for_line, iterable)

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

  (link)

Comments

Please log in to add comments