org.eclipse.ocl.examples.pivot.manager

Class TemplateParameterReferenceVisitor

java.lang.Object

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

org.eclipse.ocl.examples.pivot.util.AbstractExtendingVisitor<java.lang.Object,java.util.List<TemplateParameter>>

org.eclipse.ocl.examples.pivot.manager.TemplateParameterReferenceVisitor

All Implemented Interfaces:

Visitor<java.lang.Object>

public class TemplateParameterReferenceVisitor
extends AbstractExtendingVisitor<java.lang.Object,java.util.List<TemplateParameter>>

The TemplateParameterReferenceVisitor traverse a type declaration to gather all references to TemplateParameters as a mapping from each template parameter to it's hierarchical index. incrementing from 0 through the package to type to operation hierarchy, and across the potential multiple template parameters of a generalization.

Field Summary

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

context

Constructor Summary

Constructors

Constructor and Description
TemplateParameterReferenceVisitor(java.util.List<TemplateParameter> context)

Method Summary

Methods

Modifier and Type	Method and Description
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	visitLambdaType(LambdaType object)
java.lang.Object	visitMetaclass(Metaclass object)
java.lang.Object	visitPrimitiveType(PrimitiveType object)
java.lang.Object	visitTemplateParameter(TemplateParameter object)
java.lang.Object	visitTupleType(TupleType object)
java.lang.Object	visitType(Type object)

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

visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitBooleanLiteralExp, visitCallExp, visitCallOperationAction, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitComment, visitConnectionPointReference, visitConstraint, visitConstructorExp, visitConstructorPart, visitDataType, visitDetail, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitEnumLiteralExp, visitExpressionInOCL, visitFeature, visitFeatureCallExp, visitFinalState, visitIfExp, visitImport, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitLetExp, visitLibrary, visitLiteralExp, visitLoopExp, visitMessageExp, visitMessageType, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOpaqueExpression, visitOperation, visitOperationCallExp, visitOperationTemplateParameter, visitOrderedSetType, visitPackage, visitPackageableElement, visitParameter, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitProfile, visitProperty, visitPropertyCallExp, visitPseudostate, visitRealLiteralExp, visitRegion, visitRoot, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitSignal, visitState, visitStateExp, visitStateMachine, visitStereotype, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameterSubstitution, visitTemplateParameterType, visitTemplateSignature, visitTransition, visitTrigger, visitTupleLiteralExp, visitTupleLiteralPart, visitTypedElement, visitTypedMultiplicityElement, visitTypeExp, visitTypeTemplateParameter, visitUnlimitedNaturalLiteralExp, visitUnspecifiedType, visitUnspecifiedValueExp, visitValueSpecification, visitVariable, visitVariableDeclaration, visitVariableExp, visitVertex, visitVoidType

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

getAdapter, safeVisit, visit

Methods inherited from class java.lang.Object

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

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

getAdapter

Constructor Detail

TemplateParameterReferenceVisitor

public TemplateParameterReferenceVisitor(@NonNull
                                 java.util.List<TemplateParameter> context)

Method Detail

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.

visitClass

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

Specified by:

visitClass in interface Visitor<java.lang.Object>

Overrides:

visitClass in class AbstractExtendingVisitor<java.lang.Object,java.util.List<TemplateParameter>>

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.List<TemplateParameter>>

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.List<TemplateParameter>>

visitMetaclass

@Nullable
public java.lang.Object visitMetaclass(@NonNull
                                       Metaclass object)

Specified by:

visitMetaclass in interface Visitor<java.lang.Object>

Overrides:

visitMetaclass in class AbstractExtendingVisitor<java.lang.Object,java.util.List<TemplateParameter>>

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.List<TemplateParameter>>

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.List<TemplateParameter>>

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.List<TemplateParameter>>

visitType

@Nullable
public java.lang.Object visitType(@NonNull
                                  Type object)

Specified by:

visitType in interface Visitor<java.lang.Object>

Overrides:

visitType in class AbstractExtendingVisitor<java.lang.Object,java.util.List<TemplateParameter>>