boomerang

Class WeightedBoomerang.FieldReadPOI

java.lang.Object

boomerang.poi.PointOfIndirection<Statement,Val,Field>

boomerang.poi.AbstractPOI<Statement,Val,Field>

boomerang.WeightedBoomerang.FieldReadPOI

Enclosing class:

WeightedBoomerang<W extends Weight>

public class WeightedBoomerang.FieldReadPOI
extends AbstractPOI<Statement,Val,Field>

Constructor Summary

Constructors

Constructor and Description
FieldReadPOI(Statement 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, getField, getStmt, 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

FieldReadPOI

public FieldReadPOI(Statement statement,
                    Val base,
                    Field field,
                    Val stored)

Method Detail

execute

public void execute(ForwardQuery baseAllocation,
                    Query flowAllocation)

Specified by:

execute in class PointOfIndirection<Statement,Val,Field>