Function "continue" statement

The "continue" statement goes back to the test condition of a loop.

Format:

"continue" statement

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 = continue

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

  (link)
• if the following are true:
  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = continue

  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 = continue

  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 = continue

  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 = continue

  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 = continue

  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 = continue

  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 = continue

  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 = continue

  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 = continue

  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 = continue

  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 = continue

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

  (link)
• if the following are true:
  • the line at time t = i
  • the tab at time t = j
  • statement at line i, tab j = continue

  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 = continue

  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 = continue

  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 = continue

  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 = continue

  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 = continue

  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 = continue

  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 = continue

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

  (link)

Comments

Please log in to add comments