de.uka.ilkd.key.java.recoderext

Class LocalClassTransformation

java.lang.Object

recoder.kit.Transformation

recoder.kit.TwoPassTransformation

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

de.uka.ilkd.key.java.recoderext.LocalClassTransformation

public class LocalClassTransformation
extends RecoderModelTransformer

Local and anonymous classes may access variables from the creating context if they are declared final and initialised. This transformation searches for such final variables and replaces them by an implicit variable. Additionally a pseudo name is assigned to anonymous classes to allow to access them despite all.

Author:

engelc

Nested Class Summary

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

RecoderModelTransformer.FinalOuterVarsCollector, RecoderModelTransformer.TransformerCache

Field Summary

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
LocalClassTransformation(CrossReferenceServiceConfiguration services, RecoderModelTransformer.TransformerCache cache)

Method Summary

Modifier and Type	Method and Description
ProblemReport	analyze()
protected void	makeExplicit(TypeDeclaration td) The method is called for each type declaration of the compilation unit and initiates the syntactical transformation.

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

Constructor Detail

LocalClassTransformation

public LocalClassTransformation(CrossReferenceServiceConfiguration services,
                                RecoderModelTransformer.TransformerCache cache)

Method Detail

analyze

public ProblemReport analyze()

Overrides:

analyze in class TwoPassTransformation

makeExplicit

protected void makeExplicit(TypeDeclaration td)

Description copied from class: RecoderModelTransformer

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.

Specified by:

makeExplicit in class RecoderModelTransformer