Package boomerang.poi

Class PointOfIndirection<Statement,Val,Field>

java.lang.Object

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

Direct Known Subclasses:

AbstractPOI

public abstract class PointOfIndirection<Statement,Val,Field>
extends Object

Constructor Summary

Constructors

Constructor	Description
PointOfIndirection()

Method Summary

Modifier and Type	Method	Description
void	addBaseAllocation(ForwardQuery baseAllocation)
void	addFlowAllocation(Query flowAllocation)
abstract void	execute(ForwardQuery baseAllocation, Query flowAllocation)
abstract ControlFlowGraph.Edge	getCfgEdge()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PointOfIndirection

public PointOfIndirection()

Method Detail

execute

public abstract void execute(ForwardQuery baseAllocation,
                             Query flowAllocation)

addBaseAllocation

public void addBaseAllocation(ForwardQuery baseAllocation)

addFlowAllocation

public void addFlowAllocation(Query flowAllocation)

getCfgEdge

public abstract ControlFlowGraph.Edge getCfgEdge()