Function "break" statement

The "break" statement breaks out of a loop.

Format:

"break" 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 = break

  then "break" state at (t + 1) = "breaking"

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

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

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

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

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

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

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

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

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

  then "break" state at (t + 1) = "breaking"

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

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

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

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

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

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

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

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

  (link)

Comments

Please log in to add comments