Function "break" state at s

The "break" state at s

Format:

"break" state at s

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
  • "break" state at t = "breaking"
  • value at (j - 1) in map (Control Map at time t) = control_value
  • control_value describes a loop = True

  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
  • "break" state at t = "breaking"
  • value at (j - 1) in map (Control Map at time t) = control_value
  • control_value describes a loop = True

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • "break" state at t = "breaking"
  • value at (j - 1) in map (Control Map at time t) = control_value
  • control_value describes a loop = False

  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
  • "break" state at t = "breaking"
  • value at (j - 1) in map (Control Map at time t) = control_value
  • control_value describes a loop = False

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

  (link)

• if "break" state at t = "breaking", then the tab at time (t + 1) = (the tab at time t) - 1

  (link)

• if "break" state at t = "breaking", then Python Object Store at time (t + 1) = Python Object Store at time t

  (link)

• if "break" state at t = "breaking", then Class Map at time (t + 1) = Class Map at time t

  (link)

• if "break" state at t = "breaking", then Variables Map at time (t + 1) = Variables Map at time t

  (link)

• if "break" state at t = "breaking", then stack at time (t + 1) = stack at time t

  (link)

• if "break" state at t = "breaking", 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 "break" state at (t + 1) = "breaking"

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • "break" state at t = "breaking"
  • value at (j - 1) in map (Control Map at time t) = control_value
  • control_value describes a loop = True

  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
  • "break" state at t = "breaking"
  • value at (j - 1) in map (Control Map at time t) = control_value
  • control_value describes a loop = True

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • "break" state at t = "breaking"
  • value at (j - 1) in map (Control Map at time t) = control_value
  • control_value describes a loop = False

  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
  • "break" state at t = "breaking"
  • value at (j - 1) in map (Control Map at time t) = control_value
  • control_value describes a loop = False

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

  (link)

• if "break" state at t = "breaking", then the tab at time (t + 1) = (the tab at time t) - 1

  (link)

• if "break" state at t = "breaking", then Python Object Store at time (t + 1) = Python Object Store at time t

  (link)

• if "break" state at t = "breaking", then Class Map at time (t + 1) = Class Map at time t

  (link)

• if "break" state at t = "breaking", then Variables Map at time (t + 1) = Variables Map at time t

  (link)

• if "break" state at t = "breaking", then Context Stack at time (t + 1) = Context Stack at time t

  (link)

• if "break" state at t = "breaking", 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 "break" state at (t + 1) = "breaking"

  (link)

Comments

Please log in to add comments