Function "for" statement with target: target and iterable iterable

the "for" statement loops through elements in iterable. On each iteration, the target is set to the element from the iterable.

Format:

"for" statement with target: target and iterable iterable

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:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • Expression Stack at time t = [ ]

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

  (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:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = 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 = for target in 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
  • statement at line i, tab j = for target in iterable:
  • 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 = for target in iterable:
  • 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 = for target in iterable:
  • Expression Stack at time t = [ [ ], [ ] ]

  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:
  • 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 = for target in iterable:
  • 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 = for target in iterable:
  • 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 = for target in iterable:
  • Expression Stack at time t = [ [ ], [ ] ]

  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:
  • 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 j = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • expression state at time t = "not_expr"

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

  (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:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • expression state at time t = "not_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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • 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 = for target in iterable:
  • map (Control Map at time t) does not contain a for loop entry at line: i and tab: j
  • expression state at time t = "not_expr"

  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:
  • 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 = for target in iterable:
  • expression state at time t = "end_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 = for target in iterable:
  • expression state at time t = "end_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 = for target in iterable:
  • 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 = for target in iterable:
  • 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 = for target in iterable:
  • 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 = for target in iterable:
  • 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 = for target in iterable:
  • 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 = for target in iterable:
  • expression state at time t = "end_expr"

  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:
  • 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)

Comments

Please log in to add comments