Package boomerang.controlflowgraph
Class StaticCFG
- java.lang.Object
-
- boomerang.controlflowgraph.StaticCFG
-
- All Implemented Interfaces:
ObservableControlFlowGraph
public class StaticCFG extends Object implements ObservableControlFlowGraph
-
-
Constructor Summary
Constructors Constructor Description StaticCFG(BoomerangOptions options)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddPredsOfListener(PredecessorListener l)voidaddSuccsOfListener(SuccessorListener l)voidsetCurrentVal(Val val)voidstep(Statement curr, Statement succ)voidunregisterAllListeners()
-
-
-
Constructor Detail
-
StaticCFG
public StaticCFG(BoomerangOptions options)
-
-
Method Detail
-
setCurrentVal
public void setCurrentVal(Val val)
-
addPredsOfListener
public void addPredsOfListener(PredecessorListener l)
- Specified by:
addPredsOfListenerin interfaceObservableControlFlowGraph
-
addSuccsOfListener
public void addSuccsOfListener(SuccessorListener l)
- Specified by:
addSuccsOfListenerin interfaceObservableControlFlowGraph
-
step
public void step(Statement curr, Statement succ)
- Specified by:
stepin interfaceObservableControlFlowGraph
-
unregisterAllListeners
public void unregisterAllListeners()
- Specified by:
unregisterAllListenersin interfaceObservableControlFlowGraph
-
-