com.ibm.wala.ipa.callgraph.propagation
Class ReceiverInstanceContext

java.lang.Object
  com.ibm.wala.ipa.callgraph.propagation.ReceiverInstanceContext

All Implemented Interfaces:

Context

public class ReceiverInstanceContext
extends java.lang.Object
implements Context

This is a context which is customized for the InstanceKey of the receiver.

Constructor Summary

ReceiverInstanceContext(InstanceKey I)

Method Summary

boolean	equals(java.lang.Object obj)
ContextItem	get(ContextKey name)
InstanceKey	getReceiver()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ReceiverInstanceContext

public ReceiverInstanceContext(InstanceKey I)

Parameters:

I - the instance key that represents the receiver

Method Detail

get

public ContextItem get(ContextKey name)

Specified by:

get in interface Context

Returns:

the objects corresponding to a given name

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getReceiver

public InstanceKey getReceiver()