boomerang.arrays

Class ArrayIndexSensitiveStrategy<W extends wpds.impl.Weight>

java.lang.Object

boomerang.arrays.ArrayIndexSensitiveStrategy<W>

All Implemented Interfaces:

ArrayHandlingStrategy<W>

public class ArrayIndexSensitiveStrategy<W extends wpds.impl.Weight>
extends Object
implements ArrayHandlingStrategy<W>

Constructor Summary

Constructors

Constructor and Description
ArrayIndexSensitiveStrategy()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ArrayIndexSensitiveStrategy

public ArrayIndexSensitiveStrategy()

Method Detail

handleForward

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

Specified by:

handleForward in interface ArrayHandlingStrategy<W extends wpds.impl.Weight>

handleBackward

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

Specified by:

handleBackward in interface ArrayHandlingStrategy<W extends wpds.impl.Weight>