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:

com.ibm.wala.ipa.callgraph.Context

Enclosing class:

PropertyNameContextSelector

public class PropertyNameContextSelector.PropNameContext
extends com.ibm.wala.ipa.callgraph.propagation.SelectiveCPAContext

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

Field Summary

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

base

Method Summary

Methods

Modifier and Type	Method and Description
com.ibm.wala.ipa.callgraph.ContextItem	get(com.ibm.wala.ipa.callgraph.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

Method Detail

get

public com.ibm.wala.ipa.callgraph.ContextItem get(com.ibm.wala.ipa.callgraph.ContextKey key)

Specified by:

get in interface com.ibm.wala.ipa.callgraph.Context

Overrides:

get in class com.ibm.wala.ipa.callgraph.propagation.SelectiveCPAContext

toString

public String toString()

Overrides:

toString in class com.ibm.wala.ipa.callgraph.propagation.SelectiveCPAContext