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 ContextItem

ContextItem.Value<T>

Modifier and Type	Interface	Description
static class	ContextItem.Value<T>

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class AllocationSiteInNode

getCreationSites, getSite, toString

Modifier and Type	Method	Description
Iterator<Pair<CGNode, NewSiteReference>>	getCreationSites(CallGraph CG)	Get the creation sites of this, i.e., the statements that may allocate objects represented by this.
NewSiteReference	getSite()
String	toString()

Methods inherited from class AbstractTypeInNode

getConcreteType, getNode

Modifier and Type	Method	Description
IClass	getConcreteType()	For now, we assert that each InstanceKey represents a set of classes which are all of the same concrete type (modulo the fact that all arrays of references are considered concrete type []Object;)
CGNode	getNode()

Methods inherited from class Object

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

Constructor Details

ZeroLengthArrayInNode

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

Method Details

equals

public boolean equals(Object obj)

Specified by:

equals in class AllocationSiteInNode

hashCode

public int hashCode()

Specified by:

hashCode in class AllocationSiteInNode