public class JL5LoopExt extends JL5TermExt implements LoopOps
Constructor and Description |
---|
JL5LoopExt() |
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.
|
Loop |
node()
The node we ultimately extend.
|
acceptCFG, firstChild
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, init, initPred, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
public Loop node()
Ext
node
in interface Ext
node
in class JL5TermExt
public boolean condIsConstant(JLang lang)
LoopOps
condIsConstant
in interface LoopOps
public boolean condIsConstantTrue(JLang lang)
LoopOps
condIsConstantTrue
in interface LoopOps
public boolean condIsConstantFalse(JLang lang)
LoopOps
condIsConstantFalse
in interface LoopOps
public Term continueTarget()
LoopOps
continueTarget
in interface LoopOps