de.uka.ilkd.key.java.recoderext

Class PrepareObjectBuilder

java.lang.Object

recoder.kit.Transformation

recoder.kit.TwoPassTransformation

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

de.uka.ilkd.key.java.recoderext.PrepareObjectBuilder

public class PrepareObjectBuilder
extends RecoderModelTransformer

Creates the preparation method for pre-initilizing the object fields with their default settings.

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.java.recoderext.RecoderModelTransformer

RecoderModelTransformer.FinalOuterVarsCollector, RecoderModelTransformer.TransformerCache

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.HashMap<TypeDeclaration,ASTList<Statement>>	class2fields
static java.lang.String	IMPLICIT_OBJECT_PREPARE
static java.lang.String	IMPLICIT_OBJECT_PREPARE_ENTER
private ClassType	javaLangObject

Fields inherited from class de.uka.ilkd.key.java.recoderext.RecoderModelTransformer

cache, services

Fields inherited from class recoder.kit.Transformation

EQUIVALENCE, IDENTITY, NO_PROBLEM

Constructor Summary

Constructors

Constructor and Description
PrepareObjectBuilder(CrossReferenceServiceConfiguration services, RecoderModelTransformer.TransformerCache cache)

Method Summary

Modifier and Type	Method and Description
ProblemReport	analyze() Two-pass transformation have to be strictly divided up into two parts. the first part analyzes the model and collects all necessary information.
MethodDeclaration	createMethod(TypeDeclaration type) creates the implicit <prepare> method that sets the fields of the given type to its default values
MethodDeclaration	createMethodPrepareEnter(TypeDeclaration type) creates the implicit <prepareEnter> method that sets the fields of the given type to its default values
protected StatementBlock	createPrepareBody(ReferencePrefix prefix, TypeDeclaration classType) creates an implicit method called 'prepare', that sets all attributes to their default values
private ASTList<Statement>	defaultSettings(java.util.List<Field> fields) creates the assignments of the field variables to their default values and inserts them to the given body list
private java.util.List<Field>	getFields(ClassDeclaration cd) returns all fields of the class cd in source code order.
protected void	makeExplicit(TypeDeclaration td) entry method for the constructor normalform builder

Methods inherited from class de.uka.ilkd.key.java.recoderext.RecoderModelTransformer

assign, attach, attribute, classDeclarations, containingClass, containingMethod, declare, declare, getAllSupertypes, getDefaultValue, getId, getLocalClass2FinalVar, getUnits, isVisible, makeExplicit, transform

Methods inherited from class recoder.kit.TwoPassTransformation

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

IMPLICIT_OBJECT_PREPARE

public static final java.lang.String IMPLICIT_OBJECT_PREPARE

See Also:

Constant Field Values

IMPLICIT_OBJECT_PREPARE_ENTER

public static final java.lang.String IMPLICIT_OBJECT_PREPARE_ENTER

See Also:

Constant Field Values

class2fields

private java.util.HashMap<TypeDeclaration,ASTList<Statement>> class2fields

javaLangObject

private ClassType javaLangObject

Constructor Detail

PrepareObjectBuilder

public PrepareObjectBuilder(CrossReferenceServiceConfiguration services,
                            RecoderModelTransformer.TransformerCache cache)

Method Detail

getFields

private java.util.List<Field> getFields(ClassDeclaration cd)

returns all fields of the class cd in source code order. The method is a work around for a bug in recoder 0.70 as there source code order is not respected. May become obsolete if newer recoder versions are used.

analyze

public ProblemReport analyze()

Two-pass transformation have to be strictly divided up into two parts. the first part analyzes the model and collects all necessary information. In this case all class declarations are examined and for each found field a copy assignment to its default value is added to the map "class2fields". All actions, which may cause a recoder model update have to be done here.

Overrides:

analyze in class TwoPassTransformation

Returns:

status report if analyze encountered problems or not

defaultSettings

private ASTList<Statement> defaultSettings(java.util.List<Field> fields)

creates the assignments of the field variables to their default values and inserts them to the given body list

Returns:

the same list body that has been handed over as parameter

createPrepareBody

protected StatementBlock createPrepareBody(ReferencePrefix prefix,
                                           TypeDeclaration classType)

creates an implicit method called 'prepare', that sets all attributes to their default values

createMethod

public MethodDeclaration createMethod(TypeDeclaration type)

creates the implicit <prepare> method that sets the fields of the given type to its default values

Parameters:

type - the TypeDeclaration for which the <prepare> is created

Returns:

the implicit <prepare> method

createMethodPrepareEnter

public MethodDeclaration createMethodPrepareEnter(TypeDeclaration type)

creates the implicit <prepareEnter> method that sets the fields of the given type to its default values

Parameters:

type - the TypeDeclaration for which the <prepare> is created

Returns:

the implicit <prepare> method

makeExplicit

protected void makeExplicit(TypeDeclaration td)

entry method for the constructor normalform builder

Specified by:

makeExplicit in class RecoderModelTransformer

Parameters:

td - the TypeDeclaration