| de.uka.ilkd.key.java.recoderext.RecoderModelTransformer
 de.uka.ilkd.key.java.recoderext.CreateBuilder
| CreateBuilder | | public class CreateBuilder extends RecoderModelTransformer (Code) | | If an allocation expression new Class(...) occurs, a new object
has to be created, in KeY this is quite similar to take it out of a list of
objects and setting the implicit flag <created> to
true as well as setting all fields of the object to their
default values. For the complete procedure, the method creates the
implicit method <createObject$gt; which on its part calls
another implicit method lt;prepare> for setting the fields
default values.
|
| Constructor Summary | |
| public | CreateBuilder(CrossReferenceServiceConfiguration services, CompilationUnitMutableList units)
|
| Method Summary | |
| public MethodDeclaration | createMethod(ClassDeclaration type)
| | protected void | makeExplicit(TypeDeclaration td)
|
| IMPLICIT_CREATE | | final public static String IMPLICIT_CREATE(Code) | | |
| CreateBuilder | | public CreateBuilder(CrossReferenceServiceConfiguration services, CompilationUnitMutableList units)(Code) | | |
| createMethod | | public MethodDeclaration createMethod(ClassDeclaration type)(Code) | | creates the implicit static <createObject>
method that takes the object to be created out of the pool
Parameters:
type - the TypeDeclaration for which the<prepare> is created the implicit <prepare> method |
| 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)
|
|
|