de.uka.ilkd.key.java.recoderext

Class InstanceAllocationMethodBuilder

java.lang.Object

recoder.kit.Transformation

recoder.kit.TwoPassTransformation

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

de.uka.ilkd.key.java.recoderext.InstanceAllocationMethodBuilder

public class InstanceAllocationMethodBuilder
extends RecoderModelTransformer

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
static java.lang.String	IMPLICIT_INSTANCE_ALLOCATE

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

Method Summary

Modifier and Type	Method and Description
private MethodDeclaration	createAllocateMethod(ClassDeclaration type) creates a method declaration with no implementation.
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

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

IMPLICIT_INSTANCE_ALLOCATE

public static final java.lang.String IMPLICIT_INSTANCE_ALLOCATE

See Also:

Constant Field Values

Constructor Detail

InstanceAllocationMethodBuilder

public InstanceAllocationMethodBuilder(CrossReferenceServiceConfiguration services,
                                       RecoderModelTransformer.TransformerCache cache)

Method Detail

createAllocateMethod

private MethodDeclaration createAllocateMethod(ClassDeclaration type)

creates a method declaration with no implementation. The methods intention is to allocate a new object of the type it is declared in and to return it. The functionality will be described using taclets

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