Function "continue" state at s

The "continue" state at s

Format:

"continue" 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
  • "continue" state at t = "continuing"
  • 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) = while_line

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • "continue" state at t = "continuing"
  • 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
  • "continue" state at t = "continuing"
  • value at (j - 1) in map (Control Map at time t) = control_value
  • control_value describes a loop = False

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

  (link)

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

  (link)

• if "continue" state at t = "continuing", then expression state at time (t + 1) = "not_expr"

  (link)

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

  (link)

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

  (link)

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

  (link)

• if "continue" state at t = "continuing", then stack at time (t + 1) = stack at time t

  (link)

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • "continue" state at t = "continuing"
  • 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) = while_line

  (link)

• if the following are true:

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

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

  (link)

• if the following are true:

  • the line at time t = i
  • the tab at time t = j
  • "continue" state at t = "continuing"
  • 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
  • "continue" state at t = "continuing"
  • value at (j - 1) in map (Control Map at time t) = control_value
  • control_value describes a loop = False

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

  (link)

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

  (link)

• if "continue" state at t = "continuing", then Expression Stack at time (t + 1) = [ ]

  (link)

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

  (link)

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

  (link)

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

  (link)

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

  (link)

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

  (link)

Comments

Please log in to add comments