boomerang

Class BackwardQuery

java.lang.Object

boomerang.Query

boomerang.BackwardQuery

public class BackwardQuery
extends Query

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BackwardQuery(ControlFlowGraph.Edge edge, Val variable)

Method Summary

Modifier and Type	Method and Description
static BackwardQuery	make(ControlFlowGraph.Edge edge, Val variable)
String	toString()

Methods inherited from class boomerang.Query

asNode, cfgEdge, equals, getType, hashCode, var

Methods inherited from class java.lang.Object

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

Constructor Detail

BackwardQuery

protected BackwardQuery(ControlFlowGraph.Edge edge,
                        Val variable)

Method Detail

toString

public String toString()

Overrides:

toString in class Query

make

public static BackwardQuery make(ControlFlowGraph.Edge edge,
                                 Val variable)