public class ArrayLengthKey extends AbstractFieldPointerKey
PointerKey that represents an array length locationinstance| Constructor and Description |
|---|
ArrayLengthKey(InstanceKey i) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
java.lang.String |
toString() |
getInstanceKeypublic ArrayLengthKey(InstanceKey i)
public boolean equals(java.lang.Object obj)
equals in class AbstractPointerKeypublic int hashCode()
hashCode in class AbstractPointerKeypublic java.lang.String toString()
toString in class java.lang.Object