| de.uka.ilkd.key.java.recoderext.RecoderModelTransformer de.uka.ilkd.key.java.recoderext.ConstructorNormalformBuilder
ConstructorNormalformBuilder | public class ConstructorNormalformBuilder extends RecoderModelTransformer (Code) | | Transforms the constructors of the given class to their
normalform. The constructor normalform can then be accessed via a
methodcall <init>. The visibility of
the normalform is the same as for the original constructor.
|
Method Summary | |
public ProblemReport | analyze() Two-pass transformation have to be strictly divided up into two
parts. | protected void | makeExplicit(TypeDeclaration td) |
CONSTRUCTOR_NORMALFORM_IDENTIFIER | final public static String CONSTRUCTOR_NORMALFORM_IDENTIFIER(Code) | | |
OBJECT_INITIALIZER_IDENTIFIER | final public static String OBJECT_INITIALIZER_IDENTIFIER(Code) | | |
ConstructorNormalformBuilder | public ConstructorNormalformBuilder(CrossReferenceServiceConfiguration services, CompilationUnitMutableList units)(Code) | | creates the constructor normalform builder
|
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 initializers as well as constructors are collected.
All actions, which may cause a recoder model update have to be
done here.
status report if analyze encountered problems or not |
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)
|
|
|