Class JavaTypeContext

java.lang.Object

com.ibm.wala.analysis.reflection.JavaTypeContext

All Implemented Interfaces:

Context, ContextItem

public class JavaTypeContext
extends Object
implements Context

Implements a Context which corresponds to a given type abstraction. Thus, this maps the name "TYPE" to a JavaTypeAbstraction. TODO This context maps ContextKey.RECEIVER to a TypeAbstraction.

Nested Class Summary

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

ContextItem.Value<T>

Constructor Summary

Constructors

Constructor	Description
JavaTypeContext(TypeAbstraction type)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
ContextItem	get(ContextKey name)
TypeAbstraction	getType()
int	hashCode()
String	toString()

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

Constructor Details

JavaTypeContext

public JavaTypeContext(TypeAbstraction type)

Method Details

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

getType

public TypeAbstraction getType()