Package com.ibm.wala.ipa.callgraph.propagation

Class StringConstantCharArray

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.StringConstantCharArray

All Implemented Interfaces:

ContextItem, InstanceKey

public class StringConstantCharArray
extends Object
implements InstanceKey

An InstanceKey which represents the constant char[] contents of a string constant object.

Nested Class Summary

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

ContextItem.Value<T>

Method Summary

Modifier and Type	Method	Description
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;)
Iterator<Pair<CGNode,NewSiteReference>>	getCreationSites(CallGraph CG)	Get the creation sites of this, i.e., the statements that may allocate objects represented by this.
int	hashCode()
static StringConstantCharArray	make(ConstantKey<String> constant)
String	toString()

Methods inherited from class java.lang.Object

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

Method Details

make

public static StringConstantCharArray make(ConstantKey<String> constant)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals 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

toString

public String toString()

Overrides:

toString in class Object

getCreationSites

public Iterator<Pair<CGNode,NewSiteReference>> getCreationSites(CallGraph CG)

Description copied from interface: InstanceKey

Get the creation sites of this, i.e., the statements that may allocate objects represented by this. A creation site is a pair (n,s), where n is the containing CGNode in the given CallGraph CG and s is the allocating NewSiteReference.

Specified by:

getCreationSites in interface InstanceKey