Class ReceiverInstanceContext

java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.ReceiverInstanceContext
All Implemented Interfaces:
Context, ContextItem

public class ReceiverInstanceContext extends Object implements Context
This is a context which is customized for the InstanceKey of the receiver.
  • Constructor Details

    • ReceiverInstanceContext

      public ReceiverInstanceContext(InstanceKey I)
      Parameters:
      I - the instance key that represents the receiver
  • Method Details