| de.uka.ilkd.key.java.recoderext.RecoderModelTransformer
 de.uka.ilkd.key.java.recoderext.ClassPreparationMethodBuilder
| ClassPreparationMethodBuilder | | public class ClassPreparationMethodBuilder extends RecoderModelTransformer (Code) | | Each class is prepared before it is initialised. The preparation of
a class consists of pre-initialising the class fields with their
default values. This class creates the implicit method
<clprepare> responsible for the class
preparation.
|
| Constructor Summary | |
| public | ClassPreparationMethodBuilder(CrossReferenceServiceConfiguration services, CompilationUnitMutableList units)
Creates an instance of the class preparation method model
transformer. |
| CLASS_PREPARE_IDENTIFIER | | final public static String CLASS_PREPARE_IDENTIFIER(Code) | | |
| logger | | static Logger logger(Code) | | |
| ClassPreparationMethodBuilder | | public ClassPreparationMethodBuilder(CrossReferenceServiceConfiguration services, CompilationUnitMutableList units)(Code) | | Creates an instance of the class preparation method model
transformer. Information about the current recoder model can be
accessed via the given service configuration. The implicit
preparation method is created and added for all classes,
which are declared in one of the given compilation units.
Parameters:
services - the CrossReferenceServiceConfiguration with theinformation about the recoder model
Parameters:
units - the CompilationUnitMutableList with the classes tobe transformed |
| analyze | | public ProblemReport analyze()(Code) | | |
| 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)
|
|
|