Class CPAContextSelector.CPAContext

java.lang.Object

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

com.ibm.wala.ipa.callgraph.propagation.CPAContextSelector.CPAContext

All Implemented Interfaces:

Context, ContextItem

Enclosing class:

CPAContextSelector

public static class CPAContextSelector.CPAContext
extends SelectiveCPAContext

Nested Class Summary

Nested classes/interfaces inherited from interface ContextItem

ContextItem.Value<T>

Field Summary

Fields inherited from class SelectiveCPAContext

base

Constructor Summary

Constructors

Constructor	Description
CPAContext(Context base, InstanceKey[] x)

Method Summary

Methods inherited from class SelectiveCPAContext

equals, get, hashCode, toString

Methods inherited from class Object

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

Methods inherited from interface Context

isA

Constructor Details

CPAContext

public CPAContext(Context base,
 InstanceKey[] x)