See: Description
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 | Description |
---|---|
IInstantiationBehavior.Exactness |
Information on how the IInstanciationBehavior made its decision for
#InstanceBehavior |
IInstantiationBehavior.InstanceBehavior |
The handling for a variable occurring in the AndroidModel.
|
IInstantiationBehavior