boomerang

Class WeightedForwardQuery<W extends wpds.impl.Weight>

java.lang.Object

boomerang.Query

boomerang.ForwardQuery

boomerang.WeightedForwardQuery<W>

public class WeightedForwardQuery<W extends wpds.impl.Weight>
extends ForwardQuery

Constructor Summary

Constructors

Constructor and Description
WeightedForwardQuery(ControlFlowGraph.Edge stmt, Val variable, W weight)

Method Summary

Modifier and Type	Method and Description
W	weight()

Methods inherited from class boomerang.ForwardQuery

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

WeightedForwardQuery

public WeightedForwardQuery(ControlFlowGraph.Edge stmt,
                            Val variable,
                            W weight)

Method Detail

weight

public W weight()