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

java.lang.Object
  extended by org.eclipse.ocl.examples.pivot.util.AbstractVisitor<R,C>
      extended by org.eclipse.ocl.examples.pivot.util.AbstractExtendingVisitor<java.lang.Object,java.util.List<TemplateParameter>>
          extended by 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
TemplateParameterReferenceVisitor(java.util.List<TemplateParameter> context)
           
 
Method Summary
 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, visitOppositePropertyCallExp, visitOrderedSetType, visitPackage, visitPackageableElement, visitParameter, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitProfile, visitProfileApplication, 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, visitTypeExtension, 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>>