| de.uka.ilkd.key.java.recoderext.RecoderModelTransformer
 de.uka.ilkd.key.java.recoderext.ImplicitFieldAdder
| ImplicitFieldAdder | | public class ImplicitFieldAdder extends RecoderModelTransformer (Code) | | The Java DL requires some implicit fields and methods, that are
available in each Java class. The name of the implicit fields/methods
is usually enclosed between two angle brackets. To access them in a
uniform way, they are added as usual fields to the classes, in
particular this makes it possible to parse them in a natural way.
The ImplicitFieldAdder is responsible to add all implicit fields to
the type declarations of the model. As the implicit methods and only
them will access these fields, this transformer has to be executed
before the other transformers are called.
|
| Constructor Summary | |
| public | ImplicitFieldAdder(CrossReferenceServiceConfiguration services, CompilationUnitMutableList units)
creates a transformation that adds all implicit fields,
for example <created>,
<initialized> and
<nextToCreate> etc. |
| IMPLICIT_CLASS_ERRONEOUS | | final public static String IMPLICIT_CLASS_ERRONEOUS(Code) | | |
| IMPLICIT_CLASS_INITIALIZED | | final public static String IMPLICIT_CLASS_INITIALIZED(Code) | | |
| IMPLICIT_CLASS_INIT_IN_PROGRESS | | final public static String IMPLICIT_CLASS_INIT_IN_PROGRESS(Code) | | |
| IMPLICIT_CLASS_PREPARED | | final public static String IMPLICIT_CLASS_PREPARED(Code) | | |
| IMPLICIT_CREATED | | final public static String IMPLICIT_CREATED(Code) | | |
| IMPLICIT_INITIALIZED | | final public static String IMPLICIT_INITIALIZED(Code) | | |
| IMPLICIT_NEXT_TO_CREATE | | final public static String IMPLICIT_NEXT_TO_CREATE(Code) | | |
| IMPLICIT_TRANSIENT | | final public static String IMPLICIT_TRANSIENT(Code) | | |
| IMPLICT_ARRAY_TRA_INITIALIZED | | final public static String IMPLICT_ARRAY_TRA_INITIALIZED(Code) | | |
| ImplicitFieldAdder | | public ImplicitFieldAdder(CrossReferenceServiceConfiguration services, CompilationUnitMutableList units)(Code) | | creates a transformation that adds all implicit fields,
for example <created>,
<initialized> and
<nextToCreate> etc.
Parameters:
services - the CrossReferenceServiceConfiguration to access model information
Parameters:
units - the array of CompilationUnits describing the modelto be transformed |
| analyze | | public ProblemReport analyze()(Code) | | |
| createImplicitRecoderField | | public static FieldDeclaration createImplicitRecoderField(String typeName, String fieldName, boolean isStatic, boolean isPrivate)(Code) | | creates an implicit field of the given type and name
Parameters:
typeName - the name of the type of the new field to create
Parameters:
fieldName - the name of the field
Parameters:
isStatic - a boolean that is true if the field has to becreated as static (class) field the new created field declaration |
| makeExplicit | | protected void makeExplicit(TypeDeclaration td)(Code) | | |
| Fields inherited from de.uka.ilkd.key.java.recoderext.RecoderModelTransformer | protected CrossReferenceServiceConfiguration services(Code)(Java Doc)
protected CompilationUnitMutableList units(Code)(Java Doc)
|
|
|