Package com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters
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
- See Also:
IInstantiationBehavior
-
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#InstanceBehavior
IInstantiationBehavior.InstanceBehavior The handling for a variable occurring in the AndroidModel.