de.uka.ilkd.key.java.recoderext

Class EnumClassBuilder

java.lang.Object

recoder.kit.Transformation

recoder.kit.TwoPassTransformation

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

de.uka.ilkd.key.java.recoderext.EnumClassBuilder

public class EnumClassBuilder
extends RecoderModelTransformer

This transformation is made to transform any found EnumDeclaration into a corresponding EnumClassDeclaration.

Since:

2006-11-20

Version:

2006-11-21

Author:

mulbrich

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
(package private) java.util.Map<FieldReference,UncollatedReferenceQualifier>	caseSubstitutes a mapping of constant references in switch-statements and their substitutes.
(package private) java.util.Map<EnumDeclaration,EnumClassDeclaration>	substitutes a mapping of enums to the newly created class declarations.

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
EnumClassBuilder(CrossReferenceServiceConfiguration services, RecoderModelTransformer.TransformerCache cache) create a new instance that uses the given service configuration and works on the given list of compilation units

Method Summary

Modifier and Type	Method and Description
private void	addCases(EnumDeclaration ed) find enumconstants in case statements and mark them for substitution.
ProblemReport	analyze() find all enum declarations and make their substitutes.
protected void	makeExplicit(TypeDeclaration td) Deprecated. THIS DOES NOT WORK ANY MORE, SINCE THE CACHE ONLY CONSIDERS CLASSE TYPES, NOT ENUMS!
void	transform() substitute all case statements that have been recorded earlier.

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

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

substitutes

java.util.Map<EnumDeclaration,EnumClassDeclaration> substitutes

a mapping of enums to the newly created class declarations.

caseSubstitutes

java.util.Map<FieldReference,UncollatedReferenceQualifier> caseSubstitutes

a mapping of constant references in switch-statements and their substitutes.

Constructor Detail

EnumClassBuilder

public EnumClassBuilder(CrossReferenceServiceConfiguration services,
                        RecoderModelTransformer.TransformerCache cache)

create a new instance that uses the given service configuration and works on the given list of compilation units

Parameters:

services - the cross referencing service configuration to be used

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

analyze

public ProblemReport analyze()

find all enum declarations and make their substitutes. find all case usages of enum constants and make their substitutes. we may not the cache which buffers classes only not enums!

Overrides:

analyze in class TwoPassTransformation

See Also:

TwoPassTransformation.analyze()

addCases

private void addCases(EnumDeclaration ed)

find enumconstants in case statements and mark them for substitution. Use the cross reference property and find all case usages of enum constants replace them by their fully qualified name, if they are not qualified.

Parameters:

ed - the EnumDeclaration to search for.

makeExplicit

protected void makeExplicit(TypeDeclaration td)

Deprecated. THIS DOES NOT WORK ANY MORE, SINCE THE CACHE ONLY CONSIDERS CLASSE TYPES, NOT ENUMS!

substitute EnumDeclarations by EnumClassDeclarations.

Specified by:

makeExplicit in class RecoderModelTransformer

See Also:

RecoderModelTransformer.makeExplicit(recoder.java.declaration.TypeDeclaration)

transform

public void transform()

substitute all case statements that have been recorded earlier. call super class to invoke "makeExplicit".

Overrides:

transform in class RecoderModelTransformer

See Also:

RecoderModelTransformer.transform()