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 and Description
FieldWritePOI(ControlFlowGraph.Edge statement, Val base, Field field, Val stored)

Method Summary

Modifier and Type	Method and Description
void	execute(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

Methods inherited from class java.lang.Object

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

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:

execute in class PointOfIndirection<ControlFlowGraph.Edge,Val,Field>