boomerang

Class QueryGraph<W extends wpds.impl.Weight>

java.lang.Object

boomerang.QueryGraph<W>

public class QueryGraph<W extends wpds.impl.Weight>
extends Object

Constructor Summary

Constructors

Constructor and Description
QueryGraph(WeightedBoomerang<W> weightedBoomerang)

Method Summary

Modifier and Type	Method and Description
void	addEdge(Query parent, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node, Query child)
void	addRoot(Query root)
Set<Query>	getNodes()
boolean	isRoot(Query q)
void	registerEdgeListener(boomerang.QueryGraph.AddTargetEdgeListener l)
String	toDotString()
String	toString()
void	unregisterAllListeners()

Methods inherited from class java.lang.Object

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

Constructor Detail

QueryGraph

public QueryGraph(WeightedBoomerang<W> weightedBoomerang)

Method Detail

addRoot

public void addRoot(Query root)

addEdge

public void addEdge(Query parent,
                    sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node,
                    Query child)

unregisterAllListeners

public void unregisterAllListeners()

getNodes

public Set<Query> getNodes()

toString

public String toString()

Overrides:

toString in class Object

registerEdgeListener

public void registerEdgeListener(boomerang.QueryGraph.AddTargetEdgeListener l)

toDotString

public String toDotString()

isRoot

public boolean isRoot(Query q)