public interface LoopOps
Modifier and Type | Method and Description |
---|---|
boolean |
condIsConstant(JLang lang)
Returns true of cond() evaluates to a constant.
|
boolean |
condIsConstantFalse(JLang lang)
Returns true if cond() is a constant that evaluates to false.
|
boolean |
condIsConstantTrue(JLang lang)
Returns true if cond() is a constant that evaluates to true.
|
Term |
continueTarget()
Target of a continue statement in the loop body.
|
boolean condIsConstant(JLang lang)
boolean condIsConstantTrue(JLang lang)
boolean condIsConstantFalse(JLang lang)
Term continueTarget()