public abstract class ASTControlFlowNode extends ASTLabeledNode
col, line, mTagList| Constructor and Description |
|---|
ASTControlFlowNode(SETNodeLabel label,
ASTCondition condition) |
ASTControlFlowNode(SETNodeLabel label,
ConditionExpr condition) |
| Modifier and Type | Method and Description |
|---|---|
ASTCondition |
get_Condition() |
void |
perform_Analysis(ASTAnalysis a) |
void |
set_Condition(ASTCondition condition) |
get_Label, label_toString, label_toString, set_Labelapply, body_toString, body_toString, branches, fallsThrough, get_SubBodies, perform_AnalysisOnSubBodies, toStringaddBoxPointingToThis, apply, clearUnitBoxes, clone, getBoxesPointingToThis, getDefBoxes, getUnitBoxes, getUseAndDefBoxes, getUseBoxes, redirectJumpsToThisTo, removeBoxPointingToThisaddAllTagsOf, addTag, getJavaSourceStartColumnNumber, getJavaSourceStartLineNumber, getTag, getTags, hasTag, removeAllTags, removeTagequals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitaddAllTagsOf, addTag, getJavaSourceStartColumnNumber, getJavaSourceStartLineNumber, getTag, getTags, hasTag, removeAllTags, removeTagpublic ASTControlFlowNode(SETNodeLabel label, ConditionExpr condition)
public ASTControlFlowNode(SETNodeLabel label, ASTCondition condition)
public ASTCondition get_Condition()
public void set_Condition(ASTCondition condition)
public void perform_Analysis(ASTAnalysis a)
perform_Analysis in class ASTLabeledNode