WeightedForwardQuery (boomerangPDS 3.2.3 API)

java.lang.Object
- boomerang.Query
- - boomerang.ForwardQuery
  - - boomerang.WeightedForwardQuery<W>

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

- Constructor Summary
  
  Constructors
  Constructor Description
  
  WeightedForwardQuery(ControlFlowGraph.Edge stmt, Val variable, W weight)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method 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()
```