public class ASTForLoopNode extends ASTControlFlowNode
col, line, mTagList| Constructor and Description |
|---|
ASTForLoopNode(SETNodeLabel label,
java.util.List<AugmentedStmt> init,
ASTCondition condition,
java.util.List<AugmentedStmt> update,
java.util.List<java.lang.Object> body) |
| Modifier and Type | Method and Description |
|---|---|
void |
apply(Analysis a) |
java.lang.Object |
clone()
Returns a deep clone of this object.
|
java.util.List<AugmentedStmt> |
getInit() |
java.util.List<AugmentedStmt> |
getUpdate() |
void |
replaceBody(java.util.List<java.lang.Object> body) |
java.lang.String |
toString() |
void |
toString(UnitPrinter up) |
get_Condition, perform_Analysis, set_Conditionget_Label, label_toString, label_toString, set_Labelbody_toString, body_toString, branches, fallsThrough, get_SubBodies, perform_AnalysisOnSubBodiesaddBoxPointingToThis, apply, clearUnitBoxes, getBoxesPointingToThis, getDefBoxes, getUnitBoxes, getUseAndDefBoxes, getUseBoxes, redirectJumpsToThisTo, removeBoxPointingToThisaddAllTagsOf, addTag, getJavaSourceStartColumnNumber, getJavaSourceStartLineNumber, getTag, getTags, hasTag, removeAllTags, removeTagequals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitaddAllTagsOf, addTag, getJavaSourceStartColumnNumber, getJavaSourceStartLineNumber, getTag, getTags, hasTag, removeAllTags, removeTagpublic ASTForLoopNode(SETNodeLabel label, java.util.List<AugmentedStmt> init, ASTCondition condition, java.util.List<AugmentedStmt> update, java.util.List<java.lang.Object> body)
public java.util.List<AugmentedStmt> getInit()
public java.util.List<AugmentedStmt> getUpdate()
public void replaceBody(java.util.List<java.lang.Object> body)
public java.lang.Object clone()
AbstractUnitclone in interface Unitclone in class AbstractUnitpublic void toString(UnitPrinter up)
public java.lang.String toString()
toString in class java.lang.Object