public abstract class Loop_c extends Stmt_c implements Loop, LoopOps
Loop.Instance
Modifier and Type | Field and Description |
---|---|
protected Stmt |
body |
protected Expr |
cond |
exceptions, reachable
Constructor and Description |
---|
Loop_c(Position pos,
Expr cond,
Stmt body) |
Loop_c(Position pos,
Expr cond,
Stmt body,
Ext ext) |
Modifier and Type | Method and Description |
---|---|
Stmt |
body()
Loop body.
|
protected <N extends Loop_c> |
body(N n,
Stmt body) |
Loop |
body(Stmt body)
Set the loop body.
|
Expr |
cond()
Loop condition.
|
Loop |
cond(Expr cond)
Set the loop condition.
|
protected <N extends Loop_c> |
cond(N n,
Expr cond) |
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.
|
protected <N extends Loop_c> |
reconstruct(N n,
Expr cond,
Stmt body)
Reconstruct the statement.
|
acceptCFG, exceptionCheck, exceptions, exceptions, exceptions, extRewrite, firstChild, listChild, reachable, reachable, reachable
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, copyIfNeeded, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, isDisambiguated, isTypeChecked, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, toString, translate, typeCheck, typeCheckEnter, typeCheckOverride, visit, visitChild, visitChildren, visitEdge, visitList
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
exceptions, exceptions, reachable, reachable
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
continueTarget
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