Package boomerang

Class ForwardQueryMultiDimensionalArray

java.lang.Object

boomerang.Query

boomerang.ForwardQuery

boomerang.ForwardQueryArray

boomerang.ForwardQueryMultiDimensionalArray

public class ForwardQueryMultiDimensionalArray
extends ForwardQueryArray

Constructor Summary

Constructors

Constructor	Description
ForwardQueryMultiDimensionalArray(ControlFlowGraph.Edge stmt, Val variable, Integer index1, Integer index2)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
Integer	getIndex1()
Integer	getIndex2()
int	hashCode()
String	toString()

Methods inherited from class boomerang.ForwardQueryArray

getIndex

Methods inherited from class boomerang.Query

asNode, cfgEdge, getType, var

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ForwardQueryMultiDimensionalArray

public ForwardQueryMultiDimensionalArray(ControlFlowGraph.Edge stmt,
                                         Val variable,
                                         Integer index1,
                                         Integer index2)

Method Detail

toString

public String toString()

Overrides:

toString in class ForwardQueryArray

equals

public boolean equals(Object o)

Overrides:

equals in class ForwardQueryArray

hashCode

public int hashCode()

Overrides:

hashCode in class ForwardQueryArray

getIndex1

public Integer getIndex1()

getIndex2

public Integer getIndex2()