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<Object,Map<Integer,Type>>

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

All Implemented Interfaces:

Visitor<Object>, TemplateParameterSubstitutions

Direct Known Subclasses:

PivotTemplateParameterSubstitutionVisitor

public class TemplateParameterSubstitutionVisitor
extends AbstractExtendingVisitor<Object,Map<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 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
static TemplateParameterSubstitutions	createBindings(EnvironmentFactoryInternal environmentFactory, Type formalType, Type actualType)
static TemplateParameterSubstitutions	createBindings(EnvironmentFactoryInternal environmentFactory, Type sourceType, Type sourceTypeValue, Operation candidateOperation)
Type	get(TemplateParameter templateParameter) Return the highest common actual type of the formal templateParameter, returning null if unknown.
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.
String	toString()
Object	visitClass(Class object)
Object	visitCollectionType(CollectionType object)
String	visiting(Visitable visitable) Return the result of visiting a visitable for which no more specific pivot type method is available.
Object	visitIterateExp(IterateExp object)
Object	visitIteratorExp(IteratorExp object)
Object	visitLambdaType(LambdaType object)
Object	visitMapType(MapType object)
Object	visitOperationCallExp(OperationCallExp object)
Object	visitOppositePropertyCallExp(OppositePropertyCallExp object)
Object	visitParameter(Parameter object)
Object	visitPrimitiveType(PrimitiveType object)
Object	visitPropertyCallExp(PropertyCallExp object)
Object	visitSelfType(SelfType object)
Object	visitTemplateParameter(TemplateParameter object)
Object	visitTupleType(TupleType object)
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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

getAdapter

Constructor Detail

TemplateParameterSubstitutionVisitor

public TemplateParameterSubstitutionVisitor(EnvironmentFactoryInternal environmentFactory,
                                            Type selfType,
                                            Type selfTypeValue)

Method Detail

createBindings

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

createBindings

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

specializeType

public 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.

get

public Type get(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

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,
                Type actualType)

put

public Type put(TemplateParameter formalTemplateParameter,
                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

public Type specializeType(Type type)

toString

public String toString()

Overrides:

toString in class Object

visiting

public String visiting(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<Object>

visitClass

public Object visitClass(Class object)

Specified by:

visitClass in interface Visitor<Object>

Overrides:

visitClass in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitCollectionType

public Object visitCollectionType(CollectionType object)

Specified by:

visitCollectionType in interface Visitor<Object>

Overrides:

visitCollectionType in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitIterateExp

public Object visitIterateExp(IterateExp object)

Specified by:

visitIterateExp in interface Visitor<Object>

Overrides:

visitIterateExp in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitIteratorExp

public Object visitIteratorExp(IteratorExp object)

Specified by:

visitIteratorExp in interface Visitor<Object>

Overrides:

visitIteratorExp in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitLambdaType

public Object visitLambdaType(LambdaType object)

Specified by:

visitLambdaType in interface Visitor<Object>

Overrides:

visitLambdaType in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitMapType

public Object visitMapType(MapType object)

Specified by:

visitMapType in interface Visitor<Object>

Overrides:

visitMapType in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitOperationCallExp

public Object visitOperationCallExp(OperationCallExp object)

Specified by:

visitOperationCallExp in interface Visitor<Object>

Overrides:

visitOperationCallExp in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitOppositePropertyCallExp

public Object visitOppositePropertyCallExp(OppositePropertyCallExp object)

Specified by:

visitOppositePropertyCallExp in interface Visitor<Object>

Overrides:

visitOppositePropertyCallExp in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitParameter

public Object visitParameter(Parameter object)

Specified by:

visitParameter in interface Visitor<Object>

Overrides:

visitParameter in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitPrimitiveType

public Object visitPrimitiveType(PrimitiveType object)

Specified by:

visitPrimitiveType in interface Visitor<Object>

Overrides:

visitPrimitiveType in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitPropertyCallExp

public Object visitPropertyCallExp(PropertyCallExp object)

Specified by:

visitPropertyCallExp in interface Visitor<Object>

Overrides:

visitPropertyCallExp in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitSelfType

public Object visitSelfType(SelfType object)

Specified by:

visitSelfType in interface Visitor<Object>

Overrides:

visitSelfType in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitTemplateParameter

public Object visitTemplateParameter(TemplateParameter object)

Specified by:

visitTemplateParameter in interface Visitor<Object>

Overrides:

visitTemplateParameter in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitTupleType

public Object visitTupleType(TupleType object)

Specified by:

visitTupleType in interface Visitor<Object>

Overrides:

visitTupleType in class AbstractExtendingVisitor<Object,Map<Integer,Type>>

visitTypedElement

public Object visitTypedElement(TypedElement object)

Specified by:

visitTypedElement in interface Visitor<Object>

Overrides:

visitTypedElement in class AbstractExtendingVisitor<Object,Map<Integer,Type>>