Package boomerang.callgraph

Class BackwardsObservableICFG

java.lang.Object

boomerang.callgraph.BackwardsObservableICFG

All Implemented Interfaces:

ObservableICFG<Statement,Method>

public class BackwardsObservableICFG
extends Object
implements ObservableICFG<Statement,Method>

Field Summary

Fields

Modifier and Type	Field	Description
protected ObservableICFG<Statement,Method>	delegate

Constructor Summary

Constructors

Constructor	Description
BackwardsObservableICFG(ObservableICFG<Statement,Method> fwOICFG)

Method Summary

Modifier and Type	Method	Description
void	addCalleeListener(CalleeListener listener)	Registers a listener that will be notified whenever a callee is added
void	addCallerListener(CallerListener listener)	Registers a listener that will be notified whenever a caller is added.
void	addEdges(CallGraph.Edge e)
void	computeFallback()
Collection<Statement>	getEndPointsOf(Method m)
int	getNumberOfEdgesTakenFromPrecomputedGraph()
Collection<Statement>	getStartPointsOf(Method m)
boolean	isCallStmt(Statement stmt)	Returns true if the given statement is a call site.
boolean	isExitStmt(Statement stmt)	Returns true if the given statement leads to a method return (exceptional or not).
boolean	isStartPoint(Statement stmt)	Returns true is this is a method's start statement.
void	resetCallGraph()	Resets the call graph.

Methods inherited from class java.lang.Object

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

Field Detail

delegate

protected final ObservableICFG<Statement,Method> delegate

Constructor Detail

BackwardsObservableICFG

public BackwardsObservableICFG(ObservableICFG<Statement,Method> fwOICFG)

Method Detail

getStartPointsOf

public Collection<Statement> getStartPointsOf(Method m)

Specified by:

getStartPointsOf in interface ObservableICFG<Statement,Method>

isExitStmt

public boolean isExitStmt(Statement stmt)

Description copied from interface: ObservableICFG

Returns true if the given statement leads to a method return (exceptional or not). For backward analyses may also be start statements.

Specified by:

isExitStmt in interface ObservableICFG<Statement,Method>

isStartPoint

public boolean isStartPoint(Statement stmt)

Description copied from interface: ObservableICFG

Returns true is this is a method's start statement. For backward analyses those may also be return or throws statements.

Specified by:

isStartPoint in interface ObservableICFG<Statement,Method>

getEndPointsOf

public Collection<Statement> getEndPointsOf(Method m)

Specified by:

getEndPointsOf in interface ObservableICFG<Statement,Method>

isCallStmt

public boolean isCallStmt(Statement stmt)

Description copied from interface: ObservableICFG

Returns true if the given statement is a call site.

Specified by:

isCallStmt in interface ObservableICFG<Statement,Method>

addCalleeListener

public void addCalleeListener(CalleeListener listener)

Description copied from interface: ObservableICFG

Registers a listener that will be notified whenever a callee is added

Specified by:

addCalleeListener in interface ObservableICFG<Statement,Method>

addCallerListener

public void addCallerListener(CallerListener listener)

Description copied from interface: ObservableICFG

Registers a listener that will be notified whenever a caller is added.

Specified by:

addCallerListener in interface ObservableICFG<Statement,Method>

getNumberOfEdgesTakenFromPrecomputedGraph

public int getNumberOfEdgesTakenFromPrecomputedGraph()

Specified by:

getNumberOfEdgesTakenFromPrecomputedGraph in interface ObservableICFG<Statement,Method>

resetCallGraph

public void resetCallGraph()

Description copied from interface: ObservableICFG

Resets the call graph. Only affects the call graph if it was built demand-driven, otherwise graph will remain unchanged. Demand-driven call graph will keep intraprocedual information, but reset start with an empty call graph again.

Specified by:

resetCallGraph in interface ObservableICFG<Statement,Method>

computeFallback

public void computeFallback()

Specified by:

computeFallback in interface ObservableICFG<Statement,Method>

addEdges

public void addEdges(CallGraph.Edge e)

Specified by:

addEdges in interface ObservableICFG<Statement,Method>