| de.uka.ilkd.key.java.recoderext |
|
| Java Source File Name | Type | Comment |
| CatchAllStatement.java | Class | A shortcut-statement for a method body. |
| CatchSVWrapper.java | Class | |
| ClassInitializeMethodBuilder.java | Class | Each class is prepared before it is initialised. |
| ClassPreparationMethodBuilder.java | Class | Each class is prepared before it is initialised. |
| ConstructorNormalformBuilder.java | Class | Transforms the constructors of the given class to their
normalform. |
| ContextStatementBlock.java | Class | Statement block. |
| CreateBuilder.java | Class | 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. |
| CreateObjectBuilder.java | Class | 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. |
| ExecCtxtSVWrapper.java | Class | |
| ExecutionContext.java | Class | |
| ExpressionSVWrapper.java | Class | |
| ExtendedIdentifier.java | Class | |
| ImplicitFieldAdder.java | Class | The Java DL requires some implicit fields and methods, that are
available in each Java class. |
| ImplicitIdentifier.java | Class | subclasses the recoder Identifier in order to allow fields with special
characters. |
| InstanceAllocationMethodBuilder.java | Class | |
| JumpLabelSVWrapper.java | Class | |
| JVMIsTransientMethodBuilder.java | Class | |
| KeYCrossReferenceServiceConfiguration.java | Class | |
| KeYCrossReferenceSourceInfo.java | Class | |
| KeYRecoderExtension.java | Interface | |
| LabelSVWrapper.java | Class | |
| MethodBodyStatement.java | Class | A shortcut-statement for a method body. |
| MethodCallStatement.java | Class | The statement inserted by KeY if a method call is executed. |
| PassiveExpression.java | Class | |
| PrepareObjectBuilder.java | Class | Creates the preparation method for pre-initilizing the object fields
with their default settings. |
| ProgramVariableSVWrapper.java | Class | |
| ProofCrossReferenceServiceConfiguration.java | Class | |
| ProofJavaProgramFactory.java | Class | |
| RecoderModelTransformer.java | Class | The Java DL requires some implicit fields, that are available in each
Java class. |
| RKeYMetaConstruct.java | Class | |
| RKeYMetaConstructExpression.java | Class | |
| RKeYMetaConstructType.java | Class | |
| RMethodBodyStatement.java | Class | |
| RMethodCallStatement.java | Class | |
| SchemaCrossReferenceServiceConfiguration.java | Class | |
| SchemaCrossReferenceSourceInfo.java | Class | |
| SchemaJavaProgramFactory.java | Class | |
| SpecialReferenceWrapper.java | Class | |
| StatementSVWrapper.java | Class | |
| SVWrapper.java | Interface | |
| TypeSVWrapper.java | Class | |