Package | Description |
---|---|
de.uka.ilkd.key.java.recoderext |
Modifier and Type | Class and Description |
---|---|
class |
ClassInitializeMethodBuilder
Each class is prepared before it is initialised.
|
class |
ClassPreparationMethodBuilder
Each class is prepared before it is initialised.
|
class |
ConstantStringExpressionEvaluator |
class |
ConstructorNormalformBuilder
Transforms the constructors of the given class to their
normalform.
|
class |
CreateBuilder
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. |
class |
CreateObjectBuilder
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. |
class |
EnumClassBuilder
This transformation is made to transform any found
EnumDeclaration
into a corresponding EnumClassDeclaration . |
class |
ImplicitFieldAdder
The Java DL requires some implicit fields and methods, that are
available in each Java class.
|
class |
InstanceAllocationMethodBuilder |
class |
JMLTransformer
RecodeR transformation that parses JML comments, and attaches code-like
specifications (ghost fields, set statements, model methods) directly to the
RecodeR AST.
|
class |
LocalClassTransformation
Local and anonymous classes may access variables from the creating context
if they are declared final and initialised.
|
class |
PrepareObjectBuilder
Creates the preparation method for pre-initilizing the object fields
with their default settings.
|
Copyright © 2003-2019 The KeY-Project.