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 and Description
StaticCFG(BoomerangOptions options)

Method Summary

Modifier and Type	Method and Description
void	addPredsOfListener(PredecessorListener l)
void	addSuccsOfListener(SuccessorListener l)
void	setCurrentVal(Val val)
void	step(Statement curr, Statement succ)
void	unregisterAllListeners()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StaticCFG

public StaticCFG(BoomerangOptions options)

Method Detail

setCurrentVal

public void setCurrentVal(Val val)

addPredsOfListener

public void addPredsOfListener(PredecessorListener l)

Specified by:

addPredsOfListener in interface ObservableControlFlowGraph

addSuccsOfListener

public void addSuccsOfListener(SuccessorListener l)

Specified by:

addSuccsOfListener in interface ObservableControlFlowGraph

step

public void step(Statement curr,
                 Statement succ)

Specified by:

step in interface ObservableControlFlowGraph

unregisterAllListeners

public void unregisterAllListeners()

Specified by:

unregisterAllListeners in interface ObservableControlFlowGraph