Class SelectiveCPAContext
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.SelectiveCPAContext
- All Implemented Interfaces:
Context
,ContextItem
- Direct Known Subclasses:
CPAContextSelector.CPAContext
,PropertyNameContextSelector.PropNameContext
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
-
Constructor Summary
ConstructorDescriptionSelectiveCPAContext
(Context base, InstanceKey[] x) SelectiveCPAContext
(Context base, Map<ContextKey, InstanceKey> parameterObjs) -
Method Summary