com.ibm.wala.analysis.reflection

Class GetMethodContext

java.lang.Object

com.ibm.wala.analysis.reflection.GetMethodContext

All Implemented Interfaces:

Context, ContextItem

public class GetMethodContext
extends java.lang.Object
implements Context

A context which may be used if

• the method to be interpreted is either Class.getMethod(String, Class...) or Class.getDeclaredMethod(String, Class...),
• the type of the "this" argument is known and
• the value of the first argument (the method name) is a constant.

In the special case described above, GetMethodContextInterpreter and GetMethodContextSelector should be preferred over JavaLangClassContextInterpreter and JavaLangClassContextSelector, as GetMethodContextInterpreter and GetMethodContextSelector drastically reduce the number of methods returned increasing the precision of the analysis. Thus, GetMethodContextInterpreter and GetMethodContextSelector should be placed in be placed in front of JavaLangClassContextInterpreter and JavaLangClassContextSelector .

See Also:

GetMethodContextInterpreter, TODO Do the same for {@link Class#getField(String)} and {@link Class#getDeclaredField(String)}.

Nested Class Summary

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

ContextItem.Value<T>

Constructor Summary

Constructors

Constructor and Description
GetMethodContext(TypeAbstraction type, ConstantKey<java.lang.String> name) Construct this GetMethodContext.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
ContextItem	get(ContextKey name)
java.lang.String	getName() Get the name.
TypeAbstraction	getType() Get the type.
int	hashCode()
java.lang.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 Detail

GetMethodContext

public GetMethodContext(TypeAbstraction type,
                        ConstantKey<java.lang.String> name)

Construct this GetMethodContext.

Parameters:

type - the type

name - the name of the method

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

getType

public TypeAbstraction getType()

Get the type.

Returns:

the type

getName

public java.lang.String getName()

Get the name.

Returns:

the name