boomerang.arrays

Interface ArrayHandlingStrategy<W extends wpds.impl.Weight>

All Known Implementing Classes:

ArrayIndexInsensitiveStrategy, ArrayIndexSensitiveStrategy, IgnoreArrayStrategy

public interface ArrayHandlingStrategy<W extends wpds.impl.Weight>

Method Summary

Modifier and Type	Method and Description
void	handleBackward(ControlFlowGraph.Edge arrayStoreStmt, Pair<Val,Integer> arrayBase, Set<wpds.interfaces.State> out)
void	handleForward(ControlFlowGraph.Edge arrayStoreStmt, Pair<Val,Integer> arrayBase, Set<wpds.interfaces.State> out)

Method Detail

handleForward

void handleForward(ControlFlowGraph.Edge arrayStoreStmt,
                   Pair<Val,Integer> arrayBase,
                   Set<wpds.interfaces.State> out)

handleBackward

void handleBackward(ControlFlowGraph.Edge arrayStoreStmt,
                    Pair<Val,Integer> arrayBase,
                    Set<wpds.interfaces.State> out)