com.ibm.wala.dalvik.ipa.callgraph.propagation.cfa

Class IntentContext

java.lang.Object

com.ibm.wala.dalvik.ipa.callgraph.propagation.cfa.IntentContext

All Implemented Interfaces:

com.ibm.wala.ipa.callgraph.Context, com.ibm.wala.ipa.callgraph.ContextItem

public class IntentContext
extends java.lang.Object
implements com.ibm.wala.ipa.callgraph.Context

Wraps an Intent to be suitable to be a Context-Element.

This class takes a parent so we don't loose information by overwriting.

Since:

2013-10-14

Nested Class Summary

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

com.ibm.wala.ipa.callgraph.ContextItem.Value<T>

Field Summary

Fields

Modifier and Type	Field and Description
static com.ibm.wala.ipa.callgraph.ContextKey	INTENT_KEY Key into the Context that represents the Intent.

Constructor Summary

Constructors

Constructor and Description
IntentContext(com.ibm.wala.ipa.callgraph.Context parent, Intent intent)
IntentContext(Intent intent)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj) Special equality: Object may be equal to an object without associated Intent.
com.ibm.wala.ipa.callgraph.ContextItem	get(com.ibm.wala.ipa.callgraph.ContextKey name) Looks up a ContextKey in the Context.
Intent	getIntent()
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

Field Detail

INTENT_KEY

public static final com.ibm.wala.ipa.callgraph.ContextKey INTENT_KEY

Key into the Context that represents the Intent.

Constructor Detail

IntentContext

public IntentContext(Intent intent)

IntentContext

public IntentContext(com.ibm.wala.ipa.callgraph.Context parent,
                     Intent intent)

Method Detail

get

public com.ibm.wala.ipa.callgraph.ContextItem get(com.ibm.wala.ipa.callgraph.ContextKey name)

Looks up a ContextKey in the Context.

Specified by:

get in interface com.ibm.wala.ipa.callgraph.Context

Returns:

an Intent or parent-managed object.

Throws:

java.lang.IllegalArgumentException - if the name is null.

equals

public boolean equals(java.lang.Object obj)

Special equality: Object may be equal to an object without associated Intent.

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getIntent

public Intent getIntent()