org.eclipse.ocl.examples.xtext.base.cs2pivot
Class PivotScopeVisitor

java.lang.Object
  org.eclipse.ocl.examples.pivot.util.AbstractVisitor<R,C>
      org.eclipse.ocl.examples.pivot.util.AbstractExtendingVisitor<ScopeAdapter,TypeManager>
          org.eclipse.ocl.examples.xtext.base.cs2pivot.PivotScopeVisitor

All Implemented Interfaces:

Visitor<ScopeAdapter,TypeManager>, PivotConstants

public class PivotScopeVisitor
extends AbstractExtendingVisitor<ScopeAdapter,TypeManager>
implements PivotConstants

Field Summary

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

context

Fields inherited from interface org.eclipse.ocl.examples.pivot.utilities.PivotConstants

ACCUMULATOR_SEPARATOR, ANNOTATION_QUOTE, BINDINGS_PREFIX, COLLECTION_NAVIGATION_OPERATOR, GREATER_THAN_OPERATOR, GREATER_THAN_OR_EQUAL_OPERATOR, ITERATOR_SEPARATOR, LESS_THAN_OPERATOR, LESS_THAN_OR_EQUAL_OPERATOR, LIBRARY_MONIKER_PREFIX, MONIKER_EXP_CHILD_PREFIX, MONIKER_IF_EXP, MONIKER_INVALID_LITERAL_EXP, MONIKER_LET_EXP, MONIKER_NULL_LITERAL_EXP, MONIKER_OPERATOR_SEPARATOR, MONIKER_OVERFLOW_LIMIT, MONIKER_PART_SEPARATOR, MONIKER_ROOT_EXP, MONIKER_SCOPE_SEPARATOR, MONIKER_STRING_LITERAL_EXP, MONIKER_TUPLE_LITERAL_EXP, MONIKER_UNLIMITED_NATURAL_LITERAL_EXP, NULL_MARKER, NULL_ROOT, OBJECT_NAVIGATION_OPERATOR, OCL_LANGUAGE, OCL_NAME, OCL_SELF_NAME, ORPHANAGE_NAME, ORPHANAGE_PREFIX, ORPHANAGE_URI, OVERFLOW_MARKER, PARAMETER_PREFIX, PARAMETER_SEPARATOR, PARAMETER_SUFFIX, PRECEDENCE_PREFIX, roleNames, TEMPLATE_BINDING_PREFIX, TEMPLATE_BINDING_SEPARATOR, TEMPLATE_BINDING_SUFFIX, TEMPLATE_PARAMETER_PREFIX, TEMPLATE_SIGNATURE_PREFIX, TEMPLATE_SIGNATURE_SEPARATOR, TEMPLATE_SIGNATURE_SUFFIX, TUPLE_SIGNATURE_PART_SEPARATOR, TUPLE_SIGNATURE_PREFIX, TUPLE_SIGNATURE_SUFFIX, TUPLE_SIGNATURE_TYPE_SEPARATOR, UNKNOWN_TYPE_TEXT, UNRESOLVED_PROXY_MARKER, WILDCARD_INDICATOR, WILDCARD_NAME

Constructor Summary

PivotScopeVisitor(TypeManager context)

Method Summary

ScopeAdapter	visitClass(Class pivotElement)
ScopeAdapter	visitConstraint(Constraint pivotElement)
ScopeAdapter	visitDataType(DataType pivotElement)
ScopeAdapter	visitEnumeration(Enumeration pivotElement)
ScopeAdapter	visitExpressionInOcl(ExpressionInOcl pivotElement)
ScopeAdapter	visitIfExp(IfExp pivotElement)
ScopeAdapter	visiting(Visitable visitable) Return the result of visiting a visitable for which no more specific pivot type method is available.
ScopeAdapter	visitInvalidLiteralExp(InvalidLiteralExp pivotElement)
ScopeAdapter	visitInvalidType(InvalidType pivotElement)
ScopeAdapter	visitIterateExp(IterateExp pivotElement)
ScopeAdapter	visitIteratorExp(IteratorExp pivotElement)
ScopeAdapter	visitLetExp(LetExp pivotElement)
ScopeAdapter	visitOperation(Operation pivotElement)
ScopeAdapter	visitOperationCallExp(OperationCallExp pivotElement)
ScopeAdapter	visitPackage(Package pivotElement)
ScopeAdapter	visitProperty(Property pivotElement)
ScopeAdapter	visitPropertyCallExp(PropertyCallExp pivotElement)
ScopeAdapter	visitTemplateSignature(TemplateSignature pivotElement)
ScopeAdapter	visitTypeTemplateParameter(TypeTemplateParameter pivotElement)
ScopeAdapter	visitUnspecifiedType(UnspecifiedType pivotElement)
ScopeAdapter	visitVariable(Variable pivotElement)
ScopeAdapter	visitVariableExp(VariableExp pivotElement)
ScopeAdapter	visitVoidType(VoidType pivotElement)

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

visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBooleanLiteralExp, visitCallExp, visitCallOperationAction, visitClassifierType, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitCollectionType, visitComment, visitDetail, visitElement, visitEnumerationLiteral, visitEnumLiteralExp, visitFeature, visitFeatureCallExp, visitIntegerLiteralExp, visitIteration, visitLambdaType, visitLibrary, visitLiteralExp, visitLoopExp, visitMessageExp, visitMessageType, visitMonikeredElement, visitMultiplicityElement, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOclExpression, visitOpaqueExpression, visitOperationTemplateParameter, visitOrderedSetType, visitPackageableElement, visitParameter, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitPrimitiveType, visitRealLiteralExp, visitSendSignalAction, visitSequenceType, visitSetType, visitSignal, visitState, visitStateExp, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateParameterType, visitTupleLiteralExp, visitTupleLiteralPart, visitTupleType, visitType, visitTypedElement, visitTypedMultiplicityElement, visitTypeExp, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitValueSpecification, visitVariableDeclaration

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

PivotScopeVisitor

public PivotScopeVisitor(TypeManager context)

Method Detail

visitClass

public ScopeAdapter visitClass(Class pivotElement)

Specified by:

visitClass in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitClass in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitConstraint

public ScopeAdapter visitConstraint(Constraint pivotElement)

Specified by:

visitConstraint in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitConstraint in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitDataType

public ScopeAdapter visitDataType(DataType pivotElement)

Specified by:

visitDataType in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitDataType in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitEnumeration

public ScopeAdapter visitEnumeration(Enumeration pivotElement)

Specified by:

visitEnumeration in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitEnumeration in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitExpressionInOcl

public ScopeAdapter visitExpressionInOcl(ExpressionInOcl pivotElement)

Specified by:

visitExpressionInOcl in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitExpressionInOcl in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitIfExp

public ScopeAdapter visitIfExp(IfExp pivotElement)

Specified by:

visitIfExp in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitIfExp in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitInvalidLiteralExp

public ScopeAdapter visitInvalidLiteralExp(InvalidLiteralExp pivotElement)

Specified by:

visitInvalidLiteralExp in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitInvalidLiteralExp in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitInvalidType

public ScopeAdapter visitInvalidType(InvalidType pivotElement)

Specified by:

visitInvalidType in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitInvalidType in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitIterateExp

public ScopeAdapter visitIterateExp(IterateExp pivotElement)

Specified by:

visitIterateExp in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitIterateExp in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitIteratorExp

public ScopeAdapter visitIteratorExp(IteratorExp pivotElement)

Specified by:

visitIteratorExp in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitIteratorExp in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitLetExp

public ScopeAdapter visitLetExp(LetExp pivotElement)

Specified by:

visitLetExp in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitLetExp in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitOperation

public ScopeAdapter visitOperation(Operation pivotElement)

Specified by:

visitOperation in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitOperation in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitOperationCallExp

public ScopeAdapter visitOperationCallExp(OperationCallExp pivotElement)

Specified by:

visitOperationCallExp in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitOperationCallExp in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitPackage

public ScopeAdapter visitPackage(Package pivotElement)

Specified by:

visitPackage in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitPackage in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitProperty

public ScopeAdapter visitProperty(Property pivotElement)

Specified by:

visitProperty in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitProperty in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitPropertyCallExp

public ScopeAdapter visitPropertyCallExp(PropertyCallExp pivotElement)

Specified by:

visitPropertyCallExp in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitPropertyCallExp in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitTemplateSignature

public ScopeAdapter visitTemplateSignature(TemplateSignature pivotElement)

Specified by:

visitTemplateSignature in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitTemplateSignature in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitTypeTemplateParameter

public ScopeAdapter visitTypeTemplateParameter(TypeTemplateParameter pivotElement)

Specified by:

visitTypeTemplateParameter in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitTypeTemplateParameter in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitUnspecifiedType

public ScopeAdapter visitUnspecifiedType(UnspecifiedType pivotElement)

Specified by:

visitUnspecifiedType in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitUnspecifiedType in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitVariable

public ScopeAdapter visitVariable(Variable pivotElement)

Specified by:

visitVariable in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitVariable in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitVariableExp

public ScopeAdapter visitVariableExp(VariableExp pivotElement)

Specified by:

visitVariableExp in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitVariableExp in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visitVoidType

public ScopeAdapter visitVoidType(VoidType pivotElement)

Specified by:

visitVoidType in interface Visitor<ScopeAdapter,TypeManager>

Overrides:

visitVoidType in class AbstractExtendingVisitor<ScopeAdapter,TypeManager>

visiting

public ScopeAdapter 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<ScopeAdapter,TypeManager>