com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters

Class LoadedInstantiationBehavior

java.lang.Object

com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.IInstantiationBehavior

com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.LoadedInstantiationBehavior

All Implemented Interfaces:

java.io.Serializable

public class LoadedInstantiationBehavior
extends IInstantiationBehavior

Behavior loaded from a file.

This class generates an empty mutable IInstantiationBehavior.

Since:

2013-10-25

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.IInstantiationBehavior

IInstantiationBehavior.Exactness, IInstantiationBehavior.InstanceBehavior

Field Summary

Fields

Modifier and Type	Field and Description
boolean	serializationIncludesCache Including the cache may be useful to get all seen types.

Constructor Summary

Constructors

Constructor and Description
LoadedInstantiationBehavior(com.ibm.wala.ipa.cha.IClassHierarchy cha)

Method Summary

Modifier and Type	Method and Description
IInstantiationBehavior.InstanceBehavior	getBehavior(com.ibm.wala.types.TypeName type, com.ibm.wala.types.TypeName asParameterTo, com.ibm.wala.types.MethodReference inCall, java.lang.String withName) Returns how the model should behave on the type.
IInstantiationBehavior.InstanceBehavior	getDafultBehavior()
IInstantiationBehavior.Exactness	getExactness(com.ibm.wala.types.TypeName type, com.ibm.wala.types.TypeName asParameterTo, com.ibm.wala.types.MethodReference inCall, java.lang.String withName) The Exactness depends on how the behavior to a type was determined.
void	setBehavior(com.ibm.wala.util.strings.Atom pack, IInstantiationBehavior.InstanceBehavior beh, IInstantiationBehavior.Exactness exactness)
void	setBehavior(com.ibm.wala.types.TypeName type, IInstantiationBehavior.InstanceBehavior beh, IInstantiationBehavior.Exactness exactness)
void	setDefaultBehavior(IInstantiationBehavior.InstanceBehavior defaultBehavior)
protected static com.ibm.wala.util.strings.Atom	type2atom(com.ibm.wala.types.TypeName type) Convert a TypeName back to an Atom.

Methods inherited from class com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.IInstantiationBehavior

getBehavior

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

serializationIncludesCache

public transient boolean serializationIncludesCache

Including the cache may be useful to get all seen types.

Constructor Detail

LoadedInstantiationBehavior

public LoadedInstantiationBehavior(com.ibm.wala.ipa.cha.IClassHierarchy cha)

Method Detail

setDefaultBehavior

public void setDefaultBehavior(IInstantiationBehavior.InstanceBehavior defaultBehavior)

getBehavior

public IInstantiationBehavior.InstanceBehavior getBehavior(com.ibm.wala.types.TypeName type,
                                                           com.ibm.wala.types.TypeName asParameterTo,
                                                           com.ibm.wala.types.MethodReference inCall,
                                                           java.lang.String withName)

Description copied from class: IInstantiationBehavior

Returns how the model should behave on the type.

See the documentation of IInstantiationBehavior.InstanceBehavior for the description of the possible behaviours.

Although this function takes a parameter withName one should not rely on its value.

Specified by:

getBehavior in class IInstantiationBehavior

Parameters:

asParameterTo - not considered

inCall - not considered

withName - not considered

type - The type of the variable in question

Returns:

The behaviour to use

getExactness

public IInstantiationBehavior.Exactness getExactness(com.ibm.wala.types.TypeName type,
                                                     com.ibm.wala.types.TypeName asParameterTo,
                                                     com.ibm.wala.types.MethodReference inCall,
                                                     java.lang.String withName)

The Exactness depends on how the behavior to a type was determined.

Currently it has no effect on the model but it may come in handy if you want to cascade classes for determining the IInstanciationBehavior.

The DefaultInstanciationBehavior only knows EXACT, PACKAGE, PREFIX and DEFAULT

Specified by:

getExactness in class IInstantiationBehavior

getDafultBehavior

public IInstantiationBehavior.InstanceBehavior getDafultBehavior()

Specified by:

getDafultBehavior in class IInstantiationBehavior

setBehavior

public void setBehavior(com.ibm.wala.types.TypeName type,
                        IInstantiationBehavior.InstanceBehavior beh,
                        IInstantiationBehavior.Exactness exactness)

setBehavior

public void setBehavior(com.ibm.wala.util.strings.Atom pack,
                        IInstantiationBehavior.InstanceBehavior beh,
                        IInstantiationBehavior.Exactness exactness)

type2atom

protected static com.ibm.wala.util.strings.Atom type2atom(com.ibm.wala.types.TypeName type)

Convert a TypeName back to an Atom.