de.uka.ilkd.key.java.recoderext

Class RecoderModelTransformer

java.lang.Object

recoder.kit.Transformation

recoder.kit.TwoPassTransformation

de.uka.ilkd.key.java.recoderext.RecoderModelTransformer

Direct Known Subclasses:

ClassInitializeMethodBuilder, ClassPreparationMethodBuilder, ConstantStringExpressionEvaluator, ConstructorNormalformBuilder, CreateBuilder, CreateObjectBuilder, EnumClassBuilder, ImplicitFieldAdder, InstanceAllocationMethodBuilder, JMLTransformer, LocalClassTransformation, PrepareObjectBuilder

public abstract class RecoderModelTransformer
extends TwoPassTransformation

The Java DL requires some implicit fields, that are available in each Java class. The name of the implicit fields is usually enclosed between two angle brackets. To access the fields in a uniform way, they are added as usual fields to the classes, in particular this allows us to parse them in more easier. For further information see also

• ImplicitFieldAdder
• CreateObjectBuilder
• PrepareObjectBuilder

Performance of these classes was low, so information that is shared between all instances of a transformation set has been outsourced to a transformation cache.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	RecoderModelTransformer.FinalOuterVarsCollector
static class	RecoderModelTransformer.TransformerCache Cache of important data.
private static class	RecoderModelTransformer.TypeAndClassDeclarationCollector

Field Summary

Fields

Modifier and Type	Field and Description
protected RecoderModelTransformer.TransformerCache	cache
protected CrossReferenceServiceConfiguration	services

Fields inherited from class recoder.kit.Transformation

EQUIVALENCE, IDENTITY, NO_PROBLEM

Constructor Summary

Constructors

Constructor and Description
RecoderModelTransformer(CrossReferenceServiceConfiguration services, RecoderModelTransformer.TransformerCache cache) creates a transormder for the recoder model

Method Summary

Modifier and Type	Method and Description
protected CopyAssignment	assign(Expression lhs, Expression rhs)
void	attach(MethodDeclaration md, TypeDeclaration td, int idx) attaches a method declaration to the declaration of type td at position idx
protected FieldReference	attribute(ReferencePrefix prefix, Identifier attributeName)
protected java.util.Set<ClassDeclaration>	classDeclarations()
protected ClassDeclaration	containingClass(TypeDeclaration td)
protected MethodDeclaration	containingMethod(TypeDeclaration td)
protected LocalVariableDeclaration	declare(java.lang.String name, ClassType type)
protected LocalVariableDeclaration	declare(java.lang.String name, Identifier type)
protected java.util.List<ClassType>	getAllSupertypes(TypeDeclaration td)
Expression	getDefaultValue(Type type) returns the default value of the given type according to JLS Sect. 4.5.5
protected Identifier	getId(TypeDeclaration td)
java.util.HashMap<ClassType,java.util.List<Variable>>	getLocalClass2FinalVar()
java.util.List<CompilationUnit>	getUnits()
boolean	isVisible() returns if changes have to be reported to the change history
void	makeExplicit() invokes model transformation for each top level type declaration in any compilation unit.
protected abstract void	makeExplicit(TypeDeclaration td) The method is called for each type declaration of the compilation unit and initiates the syntactical transformation.
void	transform() Starts the transformation.

Methods inherited from class recoder.kit.TwoPassTransformation

analyze, execute

Methods inherited from class recoder.kit.Transformation

attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsBody, attachAsCondition, attachAsGuard, attachAsInitializer, attachAsLabel, attachAsMessage, attachAsPrefix, attachAsPrefix, attachAsPrefix, attachAsPrefix, attachAsUpdate, detach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsBody, doAttachAsCondition, doAttachAsGuard, doAttachAsInitializer, doAttachAsLabel, doAttachAsMessage, doAttachAsPrefix, doAttachAsPrefix, doAttachAsPrefix, doAttachAsPrefix, doAttachAsUpdate, doDetach, doReplace, getChangeHistory, getCrossReferenceSourceInfo, getNameInfo, getProblemReport, getProgramFactory, getServiceConfiguration, getSourceFileRepository, getSourceInfo, replace, rollback, setProblemReport, setServiceConfiguration, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

services

protected CrossReferenceServiceConfiguration services

cache

protected RecoderModelTransformer.TransformerCache cache

Constructor Detail

RecoderModelTransformer

public RecoderModelTransformer(CrossReferenceServiceConfiguration services,
                               RecoderModelTransformer.TransformerCache cache)

creates a transormder for the recoder model

Parameters:

services - the CrossReferenceServiceConfiguration to access model information

cache - a cache object that stores information which is needed by and common to many transformations. it includes the compilation units, the declared classes, and information for local classes.

Method Detail

getDefaultValue

public Expression getDefaultValue(Type type)

returns the default value of the given type according to JLS Sect. 4.5.5

Returns:

the default value of the given type according to JLS Sect. 4.5.5

attach

public void attach(MethodDeclaration md,
                   TypeDeclaration td,
                   int idx)

attaches a method declaration to the declaration of type td at position idx

Parameters:

md - the MethodDeclaration to insert

td - the TypeDeclaration that becomes parent of the new method

idx - the position where to add the method

isVisible

public boolean isVisible()

returns if changes have to be reported to the change history

Overrides:

isVisible in class Transformation

Returns:

true, if changes have to be reported to the change history

makeExplicit

protected abstract void makeExplicit(TypeDeclaration td)

The method is called for each type declaration of the compilation unit and initiates the syntactical transformation. If you want to descend in inner classes you have to implement the recursion by yourself.

attribute

protected FieldReference attribute(ReferencePrefix prefix,
                                   Identifier attributeName)

assign

protected CopyAssignment assign(Expression lhs,
                                Expression rhs)

declare

protected LocalVariableDeclaration declare(java.lang.String name,
                                           ClassType type)

declare

protected LocalVariableDeclaration declare(java.lang.String name,
                                           Identifier type)

getId

protected Identifier getId(TypeDeclaration td)

containingClass

protected ClassDeclaration containingClass(TypeDeclaration td)

containingMethod

protected MethodDeclaration containingMethod(TypeDeclaration td)

makeExplicit

public void makeExplicit()

invokes model transformation for each top level type declaration in any compilation unit. Not for inner classes.

getAllSupertypes

protected java.util.List<ClassType> getAllSupertypes(TypeDeclaration td)

classDeclarations

protected java.util.Set<ClassDeclaration> classDeclarations()

getLocalClass2FinalVar

public java.util.HashMap<ClassType,java.util.List<Variable>> getLocalClass2FinalVar()

getUnits

public java.util.List<CompilationUnit> getUnits()

transform

public void transform()

Starts the transformation.

Overrides:

transform in class TwoPassTransformation