ClassInitializeMethodBuilder(CrossReferenceServiceConfiguration services,
RecoderModelTransformer.TransformerCache cache)
Creates an instance of the class preparation method model
transformer.
|
ClassPreparationMethodBuilder(CrossReferenceServiceConfiguration services,
RecoderModelTransformer.TransformerCache cache)
Creates an instance of the class preparation method model
transformer.
|
ConstantStringExpressionEvaluator(CrossReferenceServiceConfiguration services,
RecoderModelTransformer.TransformerCache cache) |
ConstructorNormalformBuilder(CrossReferenceServiceConfiguration services,
RecoderModelTransformer.TransformerCache cache)
creates the constructor normalform builder
|
CreateBuilder(CrossReferenceServiceConfiguration services,
RecoderModelTransformer.TransformerCache cache) |
CreateObjectBuilder(CrossReferenceServiceConfiguration services,
RecoderModelTransformer.TransformerCache cache) |
EnumClassBuilder(CrossReferenceServiceConfiguration services,
RecoderModelTransformer.TransformerCache cache)
create a new instance that uses the given service configuration and works
on the given list of compilation units
|
ImplicitFieldAdder(CrossReferenceServiceConfiguration services,
RecoderModelTransformer.TransformerCache cache)
creates a transformation that adds all implicit fields,
for example <created> ,
<initialized> and
<nextToCreate> etc.
|
InstanceAllocationMethodBuilder(CrossReferenceServiceConfiguration services,
RecoderModelTransformer.TransformerCache cache) |
JMLTransformer(CrossReferenceServiceConfiguration services,
RecoderModelTransformer.TransformerCache cache)
Creates a transformation that adds JML specific elements, for example
ghost fields and model method declarations.
|
LocalClassTransformation(CrossReferenceServiceConfiguration services,
RecoderModelTransformer.TransformerCache cache) |
PrepareObjectBuilder(CrossReferenceServiceConfiguration services,
RecoderModelTransformer.TransformerCache cache) |
RecoderModelTransformer(CrossReferenceServiceConfiguration services,
RecoderModelTransformer.TransformerCache cache)
creates a transormder for the recoder model
|