com.ibm.wala.ipa.callgraph.propagation

Class AbstractTypeInNode

java.lang.Object

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

All Implemented Interfaces:

InstanceKeyWithNode, ContextItem, InstanceKey

Direct Known Subclasses:

AllocationSiteInNode, SmushedAllocationSiteInNode

public abstract class AbstractTypeInNode
extends Object
implements InstanceKeyWithNode

Abstract base class for InstanceKey which represents at least some IClass in some CGNode.

Nested Class Summary

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

ContextItem.Value<T>

Constructor Summary

Constructors

Constructor and Description
AbstractTypeInNode(CGNode node, IClass type)

Method Summary

Methods

Modifier and Type	Method and Description
abstract boolean	equals(Object obj)
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()
abstract int	hashCode()
abstract String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.InstanceKey

getCreationSites

Constructor Detail

AbstractTypeInNode

public AbstractTypeInNode(CGNode node,
                  IClass type)

Method Detail

equals

public abstract boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class Object

toString

public abstract String toString()

Overrides:

toString in class Object

getConcreteType

public IClass getConcreteType()

Description copied from interface: InstanceKey

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;)

Specified by:

getConcreteType in interface InstanceKey

Returns:

the concrete type allocated

getNode

public CGNode getNode()

Specified by:

getNode in interface InstanceKeyWithNode

Returns:

the call graph node which contains this allocation