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

Class PropertyNameContextSelector.PropNameContext

  • All Implemented Interfaces:
    com.ibm.wala.ipa.callgraph.Context, com.ibm.wala.ipa.callgraph.ContextItem
    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.

    • Nested Class Summary

      • Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem

        com.ibm.wala.ipa.callgraph.ContextItem.Value<T extends java.lang.Object>

    • Field Summary

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

        base

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      com.ibm.wala.ipa.callgraph.ContextItem get​(com.ibm.wala.ipa.callgraph.ContextKey key)  
      java.lang.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 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 java.lang.String toString()
        Overrides:
        toString in class com.ibm.wala.ipa.callgraph.propagation.SelectiveCPAContext