|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectforge.cfg.CFGStmt
forge.cfg.ReferenceStmt
forge.cfg.BranchStmt
public final class BranchStmt
A branching node of a Forge control flow graph.
Method Summary | |
---|---|
void |
accept(CFGVisitor visitor)
Applies a CFG visitor to this stmt. |
ForgeExpression |
condition()
|
CFGStmt |
getElse()
|
CFGStmt |
getThen()
|
java.util.Set<ForgeExpression.Modifiable> |
referenced()
Returns the set of variables and instance domains referenced by the statement. |
void |
setElse(CFGStmt elseStmt)
|
void |
setThen(CFGStmt thenStmt)
|
StmtSet |
succs()
Returns an unmodifiable view of the successor stmts. |
Methods inherited from class forge.cfg.CFGStmt |
---|
cfg, id, preds, program, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public ForgeExpression condition()
public java.util.Set<ForgeExpression.Modifiable> referenced()
ReferenceStmt
referenced
in class ReferenceStmt
public StmtSet succs()
ReferenceStmt
succs
in class ReferenceStmt
public CFGStmt getThen()
public void setThen(CFGStmt thenStmt)
public CFGStmt getElse()
public void setElse(CFGStmt elseStmt)
public void accept(CFGVisitor visitor)
CFGStmt
accept
in class CFGStmt
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |