boomerang

Class Query

java.lang.Object

boomerang.Query

Direct Known Subclasses:

BackwardQuery, ForwardQuery

public abstract class Query
extends Object

Constructor Summary

Constructors

Constructor and Description
Query(ControlFlowGraph.Edge cfgEdge, Val variable)

Method Summary

Modifier and Type	Method and Description
sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>	asNode()
ControlFlowGraph.Edge	cfgEdge()
boolean	equals(Object obj)
Type	getType()
int	hashCode()
String	toString()
Val	var()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Query

public Query(ControlFlowGraph.Edge cfgEdge,
             Val variable)

Method Detail

asNode

public sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> asNode()

toString

public String toString()

Overrides:

toString in class Object

cfgEdge

public ControlFlowGraph.Edge cfgEdge()

var

public Val var()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getType

public Type getType()