Package boomerang
Class WeightedBoomerang.FieldWritePOI
- java.lang.Object
-
- boomerang.poi.PointOfIndirection<Statement,Val,Field>
-
- boomerang.poi.AbstractPOI<ControlFlowGraph.Edge,Val,Field>
-
- boomerang.WeightedBoomerang.FieldWritePOI
-
- Enclosing class:
- WeightedBoomerang<W extends wpds.impl.Weight>
public class WeightedBoomerang.FieldWritePOI extends AbstractPOI<ControlFlowGraph.Edge,Val,Field>
-
-
Constructor Summary
Constructors Constructor Description FieldWritePOI(ControlFlowGraph.Edge statement, Val base, Field field, Val stored)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidexecute(ForwardQuery baseAllocation, Query flowAllocation)-
Methods inherited from class boomerang.poi.AbstractPOI
equals, getBaseVar, getCfgEdge, getField, getStoredVar, hashCode, toString
-
Methods inherited from class boomerang.poi.PointOfIndirection
addBaseAllocation, addFlowAllocation
-
-
-
-
Constructor Detail
-
FieldWritePOI
public FieldWritePOI(ControlFlowGraph.Edge statement, Val base, Field field, Val stored)
-
-
Method Detail
-
execute
public void execute(ForwardQuery baseAllocation, Query flowAllocation)
- Specified by:
executein classPointOfIndirection<ControlFlowGraph.Edge,Val,Field>
-
-