Package boomerang
Class Query
- java.lang.Object
-
- boomerang.Query
-
- Direct Known Subclasses:
BackwardQuery,ForwardQuery
public abstract class Query extends Object
-
-
Constructor Summary
Constructors Constructor Description Query(ControlFlowGraph.Edge cfgEdge, Val variable)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>asNode()ControlFlowGraph.EdgecfgEdge()booleanequals(Object obj)TypegetType()inthashCode()StringtoString()Valvar()
-
-
-
Constructor Detail
-
Query
public Query(ControlFlowGraph.Edge cfgEdge, Val variable)
-
-
Method Detail
-
asNode
public sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> asNode()
-
cfgEdge
public ControlFlowGraph.Edge cfgEdge()
-
var
public Val var()
-
getType
public Type getType()
-
-