| de.uka.ilkd.key.java.recoderext.RecoderModelTransformer
 de.uka.ilkd.key.java.recoderext.PrepareObjectBuilder
| PrepareObjectBuilder | | public class PrepareObjectBuilder extends RecoderModelTransformer (Code) | | Creates the preparation method for pre-initilizing the object fields
with their default settings.
|
| Constructor Summary | |
| public | PrepareObjectBuilder(CrossReferenceServiceConfiguration services, CompilationUnitMutableList units)
|
| Method Summary | |
| public ProblemReport | analyze()
Two-pass transformation have to be strictly divided up into two
parts. | | public MethodDeclaration | createMethod(TypeDeclaration type)
| | public MethodDeclaration | createMethodPrepareEnter(TypeDeclaration type)
| | protected StatementBlock | createPrepareBody(ReferencePrefix prefix, TypeDeclaration classType)
| | protected void | makeExplicit(TypeDeclaration td)
|
| IMPLICIT_OBJECT_PREPARE | | final public static String IMPLICIT_OBJECT_PREPARE(Code) | | |
| IMPLICIT_OBJECT_PREPARE_ENTER | | final public static String IMPLICIT_OBJECT_PREPARE_ENTER(Code) | | |
| PrepareObjectBuilder | | public PrepareObjectBuilder(CrossReferenceServiceConfiguration services, CompilationUnitMutableList units)(Code) | | |
| analyze | | public ProblemReport analyze()(Code) | | Two-pass transformation have to be strictly divided up into two
parts. the first part analyzes the model and collects all
necessary information. In this case all class declarations are
examined and for each found field a copy assignment to its
default value is added to the map "class2fields".
All actions, which may cause a recoder model update have to be
done here.
status report if analyze encountered problems or not |
| createMethod | | public MethodDeclaration createMethod(TypeDeclaration type)(Code) | | creates the implicit <prepare> method that
sets the fields of the given type to its default values
Parameters:
type - the TypeDeclaration for which the<prepare> is created the implicit <prepare> method |
| createMethodPrepareEnter | | public MethodDeclaration createMethodPrepareEnter(TypeDeclaration type)(Code) | | creates the implicit <prepareEnter> method that
sets the fields of the given type to its default values
Parameters:
type - the TypeDeclaration for which the<prepare> is created the implicit <prepare> method |
| createPrepareBody | | protected StatementBlock createPrepareBody(ReferencePrefix prefix, TypeDeclaration classType)(Code) | | creates an implicit method called 'prepare', that sets all
attributes to their default values
|
| makeExplicit | | protected void makeExplicit(TypeDeclaration td)(Code) | | entry method for the constructor normalform builder
Parameters:
td - the TypeDeclaration |
| Fields inherited from de.uka.ilkd.key.java.recoderext.RecoderModelTransformer | protected CrossReferenceServiceConfiguration services(Code)(Java Doc)
protected CompilationUnitMutableList units(Code)(Java Doc)
|
|
|