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

Controls how variable-instances are handled in the AndroidModel.

See: Description

Class Summary

Class	Description
AndroidModelParameterManager	Manages SSA-Numbers for the arguments to Entrypoints.
DefaultInstantiationBehavior	Contains some predefined behaviors.
FlatInstantiator	Add code to create an instance of a type in a synthetic method.
IInstantiationBehavior
Instantiator	Add code to create an instance of a type in a synthetic method.
LoadedInstantiationBehavior	Behavior loaded from a file.
ReuseParameters	Helper for building the Descriptor of a model.
ReuseParameters.ReuseParameter
SpecializedInstantiator	Instantiates certain android-types differently.

Enum Summary

Enum	Description
IInstantiationBehavior.Exactness	Information on how the IInstanciationBehavior made its decision for IInstantiationBehavior.InstanceBehavior
IInstantiationBehavior.InstanceBehavior	The handling for a variable occurring in the AndroidModel.

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

Controls how variable-instances are handled in the AndroidModel. The IInstantiationBehavior controls when to create a new instance of a given type or when to use existing one. The AndroidModelParameterManager helps keeping track of the various instances.

Since:

2013-10-25

Author:

Tobias Blaschke

See Also:

IInstantiationBehavior