dk.brics.tajs.solver

Class CallGraph<BlockStateType extends IBlockState<BlockStateType,?,CallEdgeType>,CallContextType extends ICallContext<?>,CallEdgeType extends ICallEdge<BlockStateType>>

java.lang.Object

dk.brics.tajs.solver.CallGraph<BlockStateType,CallContextType,CallEdgeType>

public class CallGraph<BlockStateType extends IBlockState<BlockStateType,?,CallEdgeType>,CallContextType extends ICallContext<?>,CallEdgeType extends ICallEdge<BlockStateType>>
extends Object

Call graph.

Constructor Summary

Constructors

Constructor and Description
CallGraph() Constructs a new initially empty call graph.

Method Summary

Methods

Modifier and Type	Method and Description
BlockStateType	addTarget(AbstractNode caller, CallContextType caller_context, BasicBlock callee, CallContextType callee_context, CallEdgeType edge, SolverSynchronizer sync) Adds an edge from the given call node to the given function.
int	getBlockContextOrder(BasicBlock b, CallContextType context) Returns the occurrence order of the given (basic block,context).
CallEdgeType	getCallEdge(AbstractNode caller, CallContextType caller_context, BasicBlock callee, CallContextType callee_context) Returns the specified call edge info.
String	getCallGraphStatistics(FlowGraph fg) Return call graph statistics on the number of invocations in human readable form.
Set<NodeAndContext<CallContextType>>	getSources(BasicBlock b, CallContextType callee_context) Returns the call nodes and caller contexts that have the given basic block as target for a given callee context.
void	registerBlockContext(BasicBlock b, CallContextType context) Assigns an order to the given (basic block,context).
void	toDot(PrintWriter out) Produces a Graphviz dot representation of this call graph.
void	toDot(PrintWriter out, boolean show_source_locations) Produces a Graphviz dot representation of this call graph.
String	toString() Returns a textual description of this call graph.
void	visitAllEdges(ICallEdge.Visitor<CallEdgeType> visitor) Visits all edges by the given visitor.

Methods inherited from class java.lang.Object

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

Constructor Detail

CallGraph

public CallGraph()

Constructs a new initially empty call graph.

Method Detail

addTarget

public BlockStateType addTarget(AbstractNode caller,
                       CallContextType caller_context,
                       BasicBlock callee,
                       CallContextType callee_context,
                       CallEdgeType edge,
                       SolverSynchronizer sync)

Adds an edge from the given call node to the given function.

Returns:

the edge state delta

getBlockContextOrder

public int getBlockContextOrder(BasicBlock b,
                       CallContextType context)

Returns the occurrence order of the given (basic block,context).

getCallEdge

public CallEdgeType getCallEdge(AbstractNode caller,
                       CallContextType caller_context,
                       BasicBlock callee,
                       CallContextType callee_context)

Returns the specified call edge info.

getCallGraphStatistics

public String getCallGraphStatistics(FlowGraph fg)

Return call graph statistics on the number of invocations in human readable form.

getSources

public Set<NodeAndContext<CallContextType>> getSources(BasicBlock b,
                                              CallContextType callee_context)

Returns the call nodes and caller contexts that have the given basic block as target for a given callee context.

registerBlockContext

public void registerBlockContext(BasicBlock b,
                        CallContextType context)

Assigns an order to the given (basic block,context).

toDot

public void toDot(PrintWriter out)

Produces a Graphviz dot representation of this call graph. Contexts are disregarded in the output. Each function in the call graph is annotated with its source location.

toDot

public void toDot(PrintWriter out,
         boolean show_source_locations)

Produces a Graphviz dot representation of this call graph. Contexts and pseudo-call-edges are disregarded in the output.

Parameters:

show_source_locations - if true, each function will be annotated with its source location

toString

public String toString()

Returns a textual description of this call graph. Contexts and pseudo-call-edges are disregarded in the output.

Overrides:

toString in class Object

visitAllEdges

public void visitAllEdges(ICallEdge.Visitor<CallEdgeType> visitor)

Visits all edges by the given visitor.