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

Class RecursionCheckContextSelector

  • All Implemented Interfaces:
    com.ibm.wala.ipa.callgraph.ContextSelector
    public class RecursionCheckContextSelector
extends java.lang.Object
implements com.ibm.wala.ipa.callgraph.ContextSelector
    ensures that no contexts returned by a base context selector are recursive (assertion failure otherwise)

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      com.ibm.wala.ipa.callgraph.Context getCalleeTarget​(com.ibm.wala.ipa.callgraph.CGNode caller, com.ibm.wala.classLoader.CallSiteReference site, com.ibm.wala.classLoader.IMethod callee, com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] actualParameters)  
      com.ibm.wala.util.intset.IntSet getRelevantParameters​(com.ibm.wala.ipa.callgraph.CGNode caller, com.ibm.wala.classLoader.CallSiteReference site)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • RecursionCheckContextSelector

        public RecursionCheckContextSelector​(com.ibm.wala.ipa.callgraph.ContextSelector base)

    • Method Detail

      • getCalleeTarget

        public com.ibm.wala.ipa.callgraph.Context getCalleeTarget​(com.ibm.wala.ipa.callgraph.CGNode caller,
                                                          com.ibm.wala.classLoader.CallSiteReference site,
                                                          com.ibm.wala.classLoader.IMethod callee,
                                                          com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] actualParameters)
        Specified by:
        getCalleeTarget in interface com.ibm.wala.ipa.callgraph.ContextSelector

      • getRelevantParameters

        public com.ibm.wala.util.intset.IntSet getRelevantParameters​(com.ibm.wala.ipa.callgraph.CGNode caller,
                                                             com.ibm.wala.classLoader.CallSiteReference site)
        Specified by:
        getRelevantParameters in interface com.ibm.wala.ipa.callgraph.ContextSelector