|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectforge.dataflow.AnalysisResults<D>
public final class AnalysisResults<D>
The results of a dataflow analysis.
Method Summary | |
---|---|
BranchData<D> |
dataAfter(BranchStmt branch)
Returns the data at the program points in the CFG that immediately follow the specified branch stmt. |
D |
dataAfter(UpdateStmt update)
Returns the data at the program point in the CFG immediately following the specified update stmt. |
D |
dataBefore(CFGStmt stmt)
Returns the data at the program point in the CFG immediately preceding the specified stmt. |
D |
exitData()
Returns the data at the program point in the CFG immediately following the exit node. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public D dataBefore(CFGStmt stmt)
public D dataAfter(UpdateStmt update)
public BranchData<D> dataAfter(BranchStmt branch)
public D exitData()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |