ReceiverInstanceContext (API Reference for wala 1.3.9)

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

All Implemented Interfaces:

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

Constructor Summary

Constructors
Constructor Description

ReceiverInstanceContext(InstanceKey I)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`ContextItem`	`get(ContextKey name)`
`InstanceKey`	`getReceiver()`
`int`	`hashCode()`
`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 String toString()
```
    Overrides:
    
    toString in class Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - equals
```
public boolean equals(Object obj)
```
    Overrides:
    
    equals in class Object
  - getReceiver
```
public InstanceKey getReceiver()
```