Package com.ibm.wala.cast.js.ipa.callgraph

Class PropertyNameContextSelector.PropNameContext

java.lang.Object

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

com.ibm.wala.cast.js.ipa.callgraph.PropertyNameContextSelector.PropNameContext

All Implemented Interfaces:

Context, ContextItem

Enclosing class:

PropertyNameContextSelector

public class PropertyNameContextSelector.PropNameContext
extends SelectiveCPAContext

Context representing a particular name accessed by a correlated read/write pair.

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

Method Summary

Modifier and Type	Method	Description
ContextItem	get(ContextKey key)
String	toString()

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

equals, hashCode

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

Method Details

get

public ContextItem get(ContextKey key)

Specified by:

get in interface Context

Overrides:

get in class SelectiveCPAContext

Returns:

the objects corresponding to a given name

toString

public String toString()

Overrides:

toString in class SelectiveCPAContext