com.ibm.wala.ipa.callgraph.propagation

Class ZeroLengthArrayInNode

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.AbstractTypeInNode

com.ibm.wala.ipa.callgraph.propagation.AllocationSiteInNode

com.ibm.wala.ipa.callgraph.propagation.ZeroLengthArrayInNode

All Implemented Interfaces:

InstanceKeyWithNode, ContextItem, InstanceKey

public final class ZeroLengthArrayInNode
extends AllocationSiteInNode

Represents an array with length zero. Useful for precision since such arrays cannot have contents.

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem

ContextItem.Value<T>

Constructor Summary

Constructors

Constructor and Description
ZeroLengthArrayInNode(CGNode node, NewSiteReference allocation, IClass type)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()

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

getCreationSites, getSite, toString

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

getConcreteType, getNode

Methods inherited from class java.lang.Object

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

Constructor Detail

ZeroLengthArrayInNode

public ZeroLengthArrayInNode(CGNode node,
                             NewSiteReference allocation,
                             IClass type)

Method Detail

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class AllocationSiteInNode

hashCode

public int hashCode()

Specified by:

hashCode in class AllocationSiteInNode