com.ibm.wala.ipa.callgraph.propagation

Class SelectiveCPAContext

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.SelectiveCPAContext

All Implemented Interfaces:

Context, ContextItem

Direct Known Subclasses:

CPAContextSelector.CPAContext

public class SelectiveCPAContext
extends java.lang.Object
implements Context

A selective Cartesian product context that enforces object sensitivity on some set of parameter positions.

Nested Class Summary

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

ContextItem.Value<T>

Field Summary

Fields

Modifier and Type	Field and Description
protected Context	base

Constructor Summary

Constructors

Constructor and Description
SelectiveCPAContext(Context base, InstanceKey[] x)
SelectiveCPAContext(Context base, java.util.Map<ContextKey,InstanceKey> parameterObjs)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object other)
ContextItem	get(ContextKey name)
int	hashCode()
java.lang.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.Context

isA

Field Detail

base

protected final Context base

Constructor Detail

SelectiveCPAContext

public SelectiveCPAContext(Context base,
                           InstanceKey[] x)

SelectiveCPAContext

public SelectiveCPAContext(Context base,
                           java.util.Map<ContextKey,InstanceKey> parameterObjs)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

get

public ContextItem get(ContextKey name)

Specified by:

get in interface Context

Returns:

the objects corresponding to a given name

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object