Package 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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidhandleBackward(ControlFlowGraph.Edge arrayStoreStmt, Pair<Val,Integer> arrayBase, Set<wpds.interfaces.State> out)voidhandleForward(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)
-
-