org.eclipse.ocl.pivot.internal.manager

Class TupleTypeManager.TemplateParameterReferencesVisitor

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

org.eclipse.ocl.pivot.internal.manager.TupleTypeManager.TemplateParameterReferencesVisitor

All Implemented Interfaces:

Visitor<java.lang.Object>, TemplateParameterSubstitutions

Enclosing class:

TupleTypeManager

protected static class TupleTypeManager.TemplateParameterReferencesVisitor
extends TemplateParameterSubstitutionVisitor

The TemplateParameterReferencesVisitor remembers the formal TemplateParameter for re-uyse during Tuple instantiation.

Nested Class Summary

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

TemplateParameterSubstitutions.Empty

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<java.lang.Integer,TemplateParameter>	templateParameters

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
TemplateParameterReferencesVisitor(EnvironmentFactoryInternal environmentFactory, java.util.Collection<? extends Type> partValues)

Method Summary

Modifier and Type	Method and Description
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.

Methods inherited from class org.eclipse.ocl.pivot.internal.manager.TemplateParameterSubstitutionVisitor

analyzeFeature, analyzeType, analyzeTypedElement, analyzeTypedElements, analyzeTypes, createBindings, createBindings, createVisitor, get, getHelper, getSpecializedTupleType, isEmpty, put, specializeType, specializeType, toString, visitClass, visitCollectionType, visiting, visitIterateExp, visitIteratorExp, visitLambdaType, visitMapType, visitOperationCallExp, visitOppositePropertyCallExp, visitParameter, visitPrimitiveType, visitPropertyCallExp, visitSelfType, visitTemplateParameter, visitTupleType, visitTypedElement

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, visitLanguageExpression, visitLetExp, visitLibrary, visitLiteralExp, visitLoopExp, visitMapLiteralExp, visitMapLiteralPart, visitMessageExp, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOperation, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitProfile, visitProfileApplication, visitProperty, visitPseudostate, visitRealLiteralExp, visitRegion, 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

Field Detail

templateParameters

@NonNull
protected final java.util.Map<java.lang.Integer,TemplateParameter> templateParameters

Constructor Detail

TemplateParameterReferencesVisitor

public TemplateParameterReferencesVisitor(@NonNull
                                          EnvironmentFactoryInternal environmentFactory,
                                          java.util.Collection<? extends Type> partValues)

Method Detail

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

Overrides:

put in class TemplateParameterSubstitutionVisitor