com.ibm.wala.ipa.modref
Class ArrayLengthKey

java.lang.Object
  com.ibm.wala.ipa.callgraph.propagation.AbstractPointerKey
      com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey
          com.ibm.wala.ipa.modref.ArrayLengthKey

All Implemented Interfaces:

InstanceFieldPointerKey, PointerKey

public class ArrayLengthKey
extends AbstractFieldPointerKey

A PointerKey that represents an array length location

Field Summary

Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey

instance

Constructor Summary

ArrayLengthKey(InstanceKey i)

Method Summary

boolean	equals(java.lang.Object obj)
int	hashCode()
java.lang.String	toString()

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey

getInstanceKey

Methods inherited from class java.lang.Object

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

Constructor Detail

ArrayLengthKey

public ArrayLengthKey(InstanceKey i)

Method Detail

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class AbstractPointerKey

hashCode

public int hashCode()

Specified by:

hashCode in class AbstractPointerKey

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object