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

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 com.ibm.wala.ipa.callgraph.ContextItem

ContextItem.Value<T>

Field Summary

Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.SelectiveCPAContext

base

Constructor Summary

Constructors

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

Method Summary

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.SelectiveCPAContext

equals, get, hashCode, 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

Constructor Details

CPAContext

public CPAContext(Context base,
 InstanceKey[] x)