org.eclipse.ocl.pivot.internal.manager

Class TemplateParameterSubstitutionVisitor

java.lang.Object

org.eclipse.ocl.pivot.util.AbstractVisitor<R,C>

org.eclipse.ocl.pivot.util.AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

org.eclipse.ocl.pivot.internal.manager.TemplateParameterSubstitutionVisitor

All Implemented Interfaces:

Visitor<java.lang.Object>, TemplateParameterSubstitutions

Direct Known Subclasses:

PivotTemplateParameterSubstitutionVisitor, TupleTypeManager.TemplateParameterReferencesVisitor

public class TemplateParameterSubstitutionVisitor
extends AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>
implements TemplateParameterSubstitutions

A TemplateParameterSubstitutionVisitor traverses a CallExp to identify the formal/actual TemplateParameterSubstitutions associated with that CallExp. This creates a mapping from each formal template parameter to a list of actual types that correspond. This mapping can then be used to create new specializations.

The visitor should be constructed with a MetamodelManager in case any synthetic types need contructing, and the identity of the self type incase one of the substitutions uses OclSelf.

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.values.TemplateParameterSubstitutions

TemplateParameterSubstitutions.Empty

Field Summary

Fields inherited from class org.eclipse.ocl.pivot.util.AbstractVisitor

context

Fields inherited from interface org.eclipse.ocl.pivot.values.TemplateParameterSubstitutions

EMPTY

Constructor Summary

Constructors

Constructor and Description
TemplateParameterSubstitutionVisitor(EnvironmentFactoryInternal environmentFactory, Type selfType, Type selfTypeValue)

Method Summary

Modifier and Type	Method and Description
protected void	analyzeFeature(Feature formalFeature, TypedElement actualElement)
protected void	analyzeType(Type newFormal, Element newActual)
protected void	analyzeTypedElement(TypedElement newFormal, TypedElement newActual)
protected void	analyzeTypedElements(java.util.List<? extends TypedElement> formalElements, java.util.List<? extends TypedElement> actualElements)
protected void	analyzeTypes(java.util.List<? extends Type> formalElements, java.util.List<? extends Type> actualElements)
static TemplateParameterSubstitutions	createBindings(EnvironmentFactoryInternal environmentFactory, Type formalType, Type actualType)
static TemplateParameterSubstitutions	createBindings(EnvironmentFactoryInternal environmentFactory, Type sourceType, Type sourceTypeValue, Operation candidateOperation)
protected static TemplateParameterSubstitutionVisitor	createVisitor(org.eclipse.emf.ecore.EObject eObject, EnvironmentFactoryInternal environmentFactory, Type selfType, Type selfTypeValue)
Type	get(TemplateParameter templateParameter) Return the highest common actual type of the formal templateParameter, returning null if unknown.
protected TemplateParameterSubstitutionHelper	getHelper(Operation operation)
protected TupleType	getSpecializedTupleType(TupleType type)
boolean	isEmpty() Return true if there are no formal TemplateParameters with actual values.
void	put(int templateParameterIndex, Type actualType)
Type	put(TemplateParameter formalTemplateParameter, Type actualType) Install actualType as the resolutions of formalTemplateParameter, returning the highest common type of actualType and any pre-existing resolution.
Type	specializeType(Type type)
static Type	specializeType(Type type, CallExp callExp, EnvironmentFactoryInternal environmentFactory, Type selfType, Type selfTypeValue) Return the specialized form of type analyzing expr to determine the formal to actual parameter mappings under the supervision of a metamodelManager and using selfType as the value of OclSelf.
java.lang.String	toString()
java.lang.Object	visitClass(Class object)
java.lang.Object	visitCollectionType(CollectionType object)
java.lang.String	visiting(Visitable visitable) Return the result of visiting a visitable for which no more specific pivot type method is available.
java.lang.Object	visitIterateExp(IterateExp object)
java.lang.Object	visitIteratorExp(IteratorExp object)
java.lang.Object	visitLambdaType(LambdaType object)
java.lang.Object	visitMapType(MapType object)
java.lang.Object	visitOperationCallExp(OperationCallExp object)
java.lang.Object	visitOppositePropertyCallExp(OppositePropertyCallExp object)
java.lang.Object	visitParameter(Parameter object)
java.lang.Object	visitPrimitiveType(PrimitiveType object)
java.lang.Object	visitPropertyCallExp(PropertyCallExp object)
java.lang.Object	visitSelfType(SelfType object)
java.lang.Object	visitTemplateParameter(TemplateParameter object)
java.lang.Object	visitTupleType(TupleType object)
java.lang.Object	visitTypedElement(TypedElement object)

Methods inherited from class org.eclipse.ocl.pivot.util.AbstractExtendingVisitor

visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitBooleanLiteralExp, visitCallExp, visitCallOperationAction, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitComment, visitCompleteClass, visitCompleteEnvironment, visitCompleteModel, visitCompletePackage, visitConnectionPointReference, visitConstraint, visitDataType, visitDetail, visitDynamicBehavior, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitDynamicValueSpecification, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitEnumLiteralExp, visitExpressionInOCL, visitFeature, visitFeatureCallExp, visitFinalState, visitIfExp, visitImport, visitInstanceSpecification, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIteration, visitIteratorVariable, visitLanguageExpression, visitLetExp, visitLetVariable, visitLibrary, visitLiteralExp, visitLoopExp, visitMapLiteralExp, visitMapLiteralPart, visitMessageExp, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOperation, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitParameterVariable, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitProfile, visitProfileApplication, visitProperty, visitPseudostate, visitRealLiteralExp, visitRegion, visitResultVariable, visitSendSignalAction, visitSequenceType, visitSetType, visitShadowExp, visitShadowPart, visitSignal, visitSlot, visitStandardLibrary, visitState, visitStateExp, visitStateMachine, visitStereotype, visitStereotypeExtender, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameterSubstitution, visitTemplateSignature, visitTransition, visitTrigger, visitTupleLiteralExp, visitTupleLiteralPart, visitType, visitTypeExp, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitValueSpecification, visitVariable, visitVariableDeclaration, visitVariableExp, visitVertex, visitVoidType, visitWildcardType

Methods inherited from class org.eclipse.ocl.pivot.util.AbstractVisitor

getAdapter, safeVisit, visit

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitor

getAdapter

Constructor Detail

TemplateParameterSubstitutionVisitor

public TemplateParameterSubstitutionVisitor(@NonNull
                                            EnvironmentFactoryInternal environmentFactory,
                                            @Nullable
                                            Type selfType,
                                            @Nullable
                                            Type selfTypeValue)

Method Detail

createBindings

@NonNull
public static TemplateParameterSubstitutions createBindings(@NonNull
                                                                      EnvironmentFactoryInternal environmentFactory,
                                                                      @NonNull
                                                                      Type formalType,
                                                                      @NonNull
                                                                      Type actualType)

createBindings

@NonNull
public static TemplateParameterSubstitutions createBindings(@NonNull
                                                                      EnvironmentFactoryInternal environmentFactory,
                                                                      @Nullable
                                                                      Type sourceType,
                                                                      @Nullable
                                                                      Type sourceTypeValue,
                                                                      @NonNull
                                                                      Operation candidateOperation)

createVisitor

@NonNull
protected static TemplateParameterSubstitutionVisitor createVisitor(@NonNull
                                                                              org.eclipse.emf.ecore.EObject eObject,
                                                                              @NonNull
                                                                              EnvironmentFactoryInternal environmentFactory,
                                                                              @Nullable
                                                                              Type selfType,
                                                                              @Nullable
                                                                              Type selfTypeValue)

specializeType

@NonNull
public static Type specializeType(@NonNull
                                            Type type,
                                            @NonNull
                                            CallExp callExp,
                                            @NonNull
                                            EnvironmentFactoryInternal environmentFactory,
                                            @Nullable
                                            Type selfType,
                                            @Nullable
                                            Type selfTypeValue)

Return the specialized form of type analyzing expr to determine the formal to actual parameter mappings under the supervision of a metamodelManager and using selfType as the value of OclSelf.

analyzeFeature

protected void analyzeFeature(@Nullable
                              Feature formalFeature,
                              @Nullable
                              TypedElement actualElement)

analyzeType

protected void analyzeType(@Nullable
                           Type newFormal,
                           @Nullable
                           Element newActual)

analyzeTypedElement

protected void analyzeTypedElement(@Nullable
                                   TypedElement newFormal,
                                   @Nullable
                                   TypedElement newActual)

analyzeTypedElements

protected void analyzeTypedElements(@NonNull
                                    java.util.List<? extends TypedElement> formalElements,
                                    @Nullable
                                    java.util.List<? extends TypedElement> actualElements)

analyzeTypes

protected void analyzeTypes(@NonNull
                            java.util.List<? extends Type> formalElements,
                            @NonNull
                            java.util.List<? extends Type> actualElements)

get

@Nullable
public Type get(@Nullable
                           TemplateParameter templateParameter)

Description copied from interface: TemplateParameterSubstitutions

Return the highest common actual type of the formal templateParameter, returning null if unknown.

Specified by:

get in interface TemplateParameterSubstitutions

getHelper

@Nullable
protected TemplateParameterSubstitutionHelper getHelper(@NonNull
                                                                   Operation operation)

getSpecializedTupleType

@NonNull
protected TupleType getSpecializedTupleType(@NonNull
                                                      TupleType type)

isEmpty

public boolean isEmpty()

Description copied from interface: TemplateParameterSubstitutions

Return true if there are no formal TemplateParameters with actual values.

Specified by:

isEmpty in interface TemplateParameterSubstitutions

put

public void put(int templateParameterIndex,
                @Nullable
                Type actualType)

put

@NonNull
public Type put(@NonNull
                          TemplateParameter formalTemplateParameter,
                          @NonNull
                          Type actualType)

Description copied from interface: TemplateParameterSubstitutions

Install actualType as the resolutions of formalTemplateParameter, returning the highest common type of actualType and any pre-existing resolution.

Specified by:

put in interface TemplateParameterSubstitutions

specializeType

@NonNull
public Type specializeType(@NonNull
                                     Type type)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

visiting

public java.lang.String visiting(@NonNull
                                 Visitable visitable)

Description copied from interface: Visitor

Return the result of visiting a visitable for which no more specific pivot type method is available.

Specified by:

visiting in interface Visitor<java.lang.Object>

visitClass

@Nullable
public java.lang.Object visitClass(Class object)

Specified by:

visitClass in interface Visitor<java.lang.Object>

Overrides:

visitClass in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitCollectionType

@Nullable
public java.lang.Object visitCollectionType(@NonNull
                                                       CollectionType object)

Specified by:

visitCollectionType in interface Visitor<java.lang.Object>

Overrides:

visitCollectionType in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitIterateExp

@Nullable
public java.lang.Object visitIterateExp(@NonNull
                                                   IterateExp object)

Specified by:

visitIterateExp in interface Visitor<java.lang.Object>

Overrides:

visitIterateExp in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitIteratorExp

@Nullable
public java.lang.Object visitIteratorExp(@NonNull
                                                    IteratorExp object)

Specified by:

visitIteratorExp in interface Visitor<java.lang.Object>

Overrides:

visitIteratorExp in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitLambdaType

@Nullable
public java.lang.Object visitLambdaType(@NonNull
                                                   LambdaType object)

Specified by:

visitLambdaType in interface Visitor<java.lang.Object>

Overrides:

visitLambdaType in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitMapType

@Nullable
public java.lang.Object visitMapType(@NonNull
                                                MapType object)

Specified by:

visitMapType in interface Visitor<java.lang.Object>

Overrides:

visitMapType in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitOperationCallExp

@Nullable
public java.lang.Object visitOperationCallExp(@NonNull
                                                         OperationCallExp object)

Specified by:

visitOperationCallExp in interface Visitor<java.lang.Object>

Overrides:

visitOperationCallExp in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitOppositePropertyCallExp

@Nullable
public java.lang.Object visitOppositePropertyCallExp(@NonNull
                                                                OppositePropertyCallExp object)

Specified by:

visitOppositePropertyCallExp in interface Visitor<java.lang.Object>

Overrides:

visitOppositePropertyCallExp in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitParameter

@Nullable
public java.lang.Object visitParameter(@NonNull
                                                  Parameter object)

Specified by:

visitParameter in interface Visitor<java.lang.Object>

Overrides:

visitParameter in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitPrimitiveType

@Nullable
public java.lang.Object visitPrimitiveType(@NonNull
                                                      PrimitiveType object)

Specified by:

visitPrimitiveType in interface Visitor<java.lang.Object>

Overrides:

visitPrimitiveType in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitPropertyCallExp

@Nullable
public java.lang.Object visitPropertyCallExp(@NonNull
                                                        PropertyCallExp object)

Specified by:

visitPropertyCallExp in interface Visitor<java.lang.Object>

Overrides:

visitPropertyCallExp in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitSelfType

@Nullable
public java.lang.Object visitSelfType(@NonNull
                                                 SelfType object)

Specified by:

visitSelfType in interface Visitor<java.lang.Object>

Overrides:

visitSelfType in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitTemplateParameter

@Nullable
public java.lang.Object visitTemplateParameter(@NonNull
                                                          TemplateParameter object)

Specified by:

visitTemplateParameter in interface Visitor<java.lang.Object>

Overrides:

visitTemplateParameter in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitTupleType

@Nullable
public java.lang.Object visitTupleType(@NonNull
                                                  TupleType object)

Specified by:

visitTupleType in interface Visitor<java.lang.Object>

Overrides:

visitTupleType in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>

visitTypedElement

@Nullable
public java.lang.Object visitTypedElement(@NonNull
                                                     TypedElement object)

Specified by:

visitTypedElement in interface Visitor<java.lang.Object>

Overrides:

visitTypedElement in class AbstractExtendingVisitor<java.lang.Object,java.util.Map<java.lang.Integer,Type>>