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_Condition
get_Label, label_toString, label_toString, set_Label
body_toString, body_toString, branches, fallsThrough, get_SubBodies, perform_AnalysisOnSubBodies
addBoxPointingToThis, apply, clearUnitBoxes, getBoxesPointingToThis, getDefBoxes, getUnitBoxes, getUseAndDefBoxes, getUseBoxes, redirectJumpsToThisTo, removeBoxPointingToThis
addAllTagsOf, addTag, getJavaSourceStartColumnNumber, getJavaSourceStartLineNumber, getTag, getTags, hasTag, removeAllTags, removeTag
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addAllTagsOf, addTag, getJavaSourceStartColumnNumber, getJavaSourceStartLineNumber, getTag, getTags, hasTag, removeAllTags, removeTag
public 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()
AbstractUnit
clone
in interface Unit
clone
in class AbstractUnit
public void toString(UnitPrinter up)
public java.lang.String toString()
toString
in class java.lang.Object