|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectforge.dataflow.DataflowAnalysis<java.util.Set<CFGStmt>>
forge.dataflow.DominatorAnalysis
public final class DominatorAnalysis
Computes the dominators for each node in the CFG.
Field Summary | |
---|---|
static DominatorAnalysis |
ANALYSIS
singleton. |
Method Summary | |
---|---|
java.util.Set<CFGStmt> |
copy(java.util.Set<CFGStmt> data)
Makes a copy of the specified data. |
java.util.Set<CFGStmt> |
initial()
Returns the initial data set. |
boolean |
merge(java.util.Set<CFGStmt> from,
java.util.Set<CFGStmt> into)
Merges "from" data into the "into" data and return true iff the into data has changed. |
java.util.Set<CFGStmt> |
transfer(AssignStmt stmt,
java.util.Set<CFGStmt> input)
Transfer function at an assign stmt. |
BranchData<java.util.Set<CFGStmt>> |
transfer(BranchStmt stmt,
java.util.Set<CFGStmt> input)
Transfer function at a branch node. |
java.util.Set<CFGStmt> |
transfer(CallStmt stmt,
java.util.Set<CFGStmt> input)
Transfer function at a call stmt. |
java.util.Set<CFGStmt> |
transfer(CreateStmt stmt,
java.util.Set<CFGStmt> input)
Transfer function at a create stmt. |
java.util.Set<CFGStmt> |
transfer(ExitStmt stmt,
java.util.Set<CFGStmt> input)
Transfer function at a terminal node. |
java.util.Set<CFGStmt> |
transfer(SpecStmt stmt,
java.util.Set<CFGStmt> input)
Transfer function at an spec stmt. |
Methods inherited from class forge.dataflow.DataflowAnalysis |
---|
analyze, isBackward |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final DominatorAnalysis ANALYSIS
Method Detail |
---|
public java.util.Set<CFGStmt> initial()
DataflowAnalysis
initial
in class DataflowAnalysis<java.util.Set<CFGStmt>>
public java.util.Set<CFGStmt> transfer(AssignStmt stmt, java.util.Set<CFGStmt> input)
DataflowAnalysis
transfer
in class DataflowAnalysis<java.util.Set<CFGStmt>>
public BranchData<java.util.Set<CFGStmt>> transfer(BranchStmt stmt, java.util.Set<CFGStmt> input)
DataflowAnalysis
transfer
in class DataflowAnalysis<java.util.Set<CFGStmt>>
public java.util.Set<CFGStmt> transfer(CallStmt stmt, java.util.Set<CFGStmt> input)
DataflowAnalysis
transfer
in class DataflowAnalysis<java.util.Set<CFGStmt>>
public java.util.Set<CFGStmt> transfer(CreateStmt stmt, java.util.Set<CFGStmt> input)
DataflowAnalysis
transfer
in class DataflowAnalysis<java.util.Set<CFGStmt>>
public java.util.Set<CFGStmt> transfer(SpecStmt stmt, java.util.Set<CFGStmt> input)
DataflowAnalysis
transfer
in class DataflowAnalysis<java.util.Set<CFGStmt>>
public java.util.Set<CFGStmt> transfer(ExitStmt stmt, java.util.Set<CFGStmt> input)
DataflowAnalysis
transfer
in class DataflowAnalysis<java.util.Set<CFGStmt>>
public boolean merge(java.util.Set<CFGStmt> from, java.util.Set<CFGStmt> into)
DataflowAnalysis
merge
in class DataflowAnalysis<java.util.Set<CFGStmt>>
public java.util.Set<CFGStmt> copy(java.util.Set<CFGStmt> data)
DataflowAnalysis
copy
in class DataflowAnalysis<java.util.Set<CFGStmt>>
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |