org.eclipse.ocl.examples.xtext.essentialocl.pivot2cs
Class EssentialOCLDeclarationVisitor

java.lang.Object
  org.eclipse.ocl.examples.pivot.util.AbstractVisitor<R,C>
      org.eclipse.ocl.examples.pivot.util.AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>
          org.eclipse.ocl.examples.xtext.base.pivot2cs.BaseDeclarationVisitor
              org.eclipse.ocl.examples.xtext.essentialocl.pivot2cs.EssentialOCLDeclarationVisitor

All Implemented Interfaces:

Visitor<ElementCS>

Direct Known Subclasses:

CompleteOCLDeclarationVisitor, OCLinEcoreDeclarationVisitor

public class EssentialOCLDeclarationVisitor
extends BaseDeclarationVisitor

Field Summary

static TupleTypeId	TUPLE_MESSAGE_STATUS
static TuplePartId	TUPLE_MESSAGE_STATUS_0
static TuplePartId	TUPLE_MESSAGE_STATUS_1

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

context

Constructor Summary

EssentialOCLDeclarationVisitor(Pivot2CSConversion context)

Method Summary

protected ElementCS	refreshConstraint(ConstraintCS csElement, Constraint object)
ElementCS	visitCallExp(CallExp object)
ElementCS	visitCollectionItem(CollectionItem object)
ElementCS	visitCollectionLiteralExp(CollectionLiteralExp object)
ElementCS	visitCollectionRange(CollectionRange object)
ElementCS	visitConstraint(Constraint object)
ElementCS	visitConstructorExp(ConstructorExp object)
ElementCS	visitConstructorPart(ConstructorPart object)
ElementCS	visitExpressionInOCL(ExpressionInOCL object)
ElementCS	visitIfExp(IfExp object)
ElementCS	visitIterateExp(IterateExp object)
ElementCS	visitIteratorExp(IteratorExp object)
ElementCS	visitLetExp(LetExp object)
ElementCS	visitOCLExpression(OCLExpression object)
ElementCS	visitOpaqueExpression(OpaqueExpression object)
ElementCS	visitOperationCallExp(OperationCallExp object)
ElementCS	visitTupleLiteralExp(TupleLiteralExp object)
ElementCS	visitTupleLiteralPart(TupleLiteralPart object)
ElementCS	visitTypeExp(TypeExp object)
ElementCS	visitVariable(Variable object)

Methods inherited from class org.eclipse.ocl.examples.xtext.base.pivot2cs.BaseDeclarationVisitor

visitAnnotation, visitClass, visitDataType, visitDetail, visitEnumeration, visitEnumerationLiteral, visitImport, visiting, visitOperation, visitPackage, visitParameter, visitProperty, visitRoot, visitTemplateSignature, visitTypeTemplateParameter

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

visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitBooleanLiteralExp, visitCallOperationAction, visitCollectionLiteralPart, visitCollectionType, visitComment, visitConnectionPointReference, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitElement, visitElementExtension, visitEnumLiteralExp, visitFeature, visitFeatureCallExp, visitFinalState, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIteration, visitLambdaType, visitLibrary, visitLiteralExp, visitLoopExp, visitMessageExp, visitMessageType, visitMetaclass, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOperationTemplateParameter, visitOppositePropertyCallExp, visitOrderedSetType, visitPackageableElement, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitPropertyCallExp, visitPseudostate, visitRealLiteralExp, visitRegion, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitSignal, visitState, visitStateExp, visitStateMachine, visitStereotype, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateParameterType, visitTransition, visitTrigger, visitTupleType, visitType, visitTypedElement, visitTypedMultiplicityElement, visitTypeExtension, visitUnlimitedNaturalLiteralExp, visitUnspecifiedType, visitUnspecifiedValueExp, visitValueSpecification, 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

Field Detail

TUPLE_MESSAGE_STATUS_0

@NonNull
public static final TuplePartId TUPLE_MESSAGE_STATUS_0

TUPLE_MESSAGE_STATUS_1

@NonNull
public static final TuplePartId TUPLE_MESSAGE_STATUS_1

TUPLE_MESSAGE_STATUS

@NonNull
public static final TupleTypeId TUPLE_MESSAGE_STATUS

Constructor Detail

EssentialOCLDeclarationVisitor

public EssentialOCLDeclarationVisitor(@NonNull
                                      Pivot2CSConversion context)

Method Detail

refreshConstraint

protected ElementCS refreshConstraint(@NonNull
                                      ConstraintCS csElement,
                                      @NonNull
                                      Constraint object)

visitCallExp

@Nullable
public ElementCS visitCallExp(@NonNull
                                       CallExp object)

Specified by:

visitCallExp in interface Visitor<ElementCS>

Overrides:

visitCallExp in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitCollectionItem

@Nullable
public ElementCS visitCollectionItem(@NonNull
                                              CollectionItem object)

Specified by:

visitCollectionItem in interface Visitor<ElementCS>

Overrides:

visitCollectionItem in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitCollectionLiteralExp

@Nullable
public ElementCS visitCollectionLiteralExp(@NonNull
                                                    CollectionLiteralExp object)

Specified by:

visitCollectionLiteralExp in interface Visitor<ElementCS>

Overrides:

visitCollectionLiteralExp in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitCollectionRange

@Nullable
public ElementCS visitCollectionRange(@NonNull
                                               CollectionRange object)

Specified by:

visitCollectionRange in interface Visitor<ElementCS>

Overrides:

visitCollectionRange in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitConstraint

public ElementCS visitConstraint(@NonNull
                                 Constraint object)

Specified by:

visitConstraint in interface Visitor<ElementCS>

Overrides:

visitConstraint in class BaseDeclarationVisitor

visitConstructorExp

@Nullable
public ElementCS visitConstructorExp(@NonNull
                                              ConstructorExp object)

Specified by:

visitConstructorExp in interface Visitor<ElementCS>

Overrides:

visitConstructorExp in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitConstructorPart

@Nullable
public ElementCS visitConstructorPart(@NonNull
                                               ConstructorPart object)

Specified by:

visitConstructorPart in interface Visitor<ElementCS>

Overrides:

visitConstructorPart in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitExpressionInOCL

public ElementCS visitExpressionInOCL(@NonNull
                                      ExpressionInOCL object)

Specified by:

visitExpressionInOCL in interface Visitor<ElementCS>

Overrides:

visitExpressionInOCL in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitIfExp

@Nullable
public ElementCS visitIfExp(@NonNull
                                     IfExp object)

Specified by:

visitIfExp in interface Visitor<ElementCS>

Overrides:

visitIfExp in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitLetExp

@Nullable
public ElementCS visitLetExp(@NonNull
                                      LetExp object)

Specified by:

visitLetExp in interface Visitor<ElementCS>

Overrides:

visitLetExp in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitIterateExp

@Nullable
public ElementCS visitIterateExp(@NonNull
                                          IterateExp object)

Specified by:

visitIterateExp in interface Visitor<ElementCS>

Overrides:

visitIterateExp in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitIteratorExp

@Nullable
public ElementCS visitIteratorExp(@NonNull
                                           IteratorExp object)

Specified by:

visitIteratorExp in interface Visitor<ElementCS>

Overrides:

visitIteratorExp in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitOCLExpression

public ElementCS visitOCLExpression(@NonNull
                                    OCLExpression object)

Specified by:

visitOCLExpression in interface Visitor<ElementCS>

Overrides:

visitOCLExpression in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitOpaqueExpression

public ElementCS visitOpaqueExpression(@NonNull
                                       OpaqueExpression object)

Specified by:

visitOpaqueExpression in interface Visitor<ElementCS>

Overrides:

visitOpaqueExpression in class BaseDeclarationVisitor

visitOperationCallExp

@Nullable
public ElementCS visitOperationCallExp(@NonNull
                                                OperationCallExp object)

Specified by:

visitOperationCallExp in interface Visitor<ElementCS>

Overrides:

visitOperationCallExp in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitTupleLiteralExp

@Nullable
public ElementCS visitTupleLiteralExp(@NonNull
                                               TupleLiteralExp object)

Specified by:

visitTupleLiteralExp in interface Visitor<ElementCS>

Overrides:

visitTupleLiteralExp in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitTupleLiteralPart

@Nullable
public ElementCS visitTupleLiteralPart(@NonNull
                                                TupleLiteralPart object)

Specified by:

visitTupleLiteralPart in interface Visitor<ElementCS>

Overrides:

visitTupleLiteralPart in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitTypeExp

@Nullable
public ElementCS visitTypeExp(@NonNull
                                       TypeExp object)

Specified by:

visitTypeExp in interface Visitor<ElementCS>

Overrides:

visitTypeExp in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>

visitVariable

@Nullable
public ElementCS visitVariable(@NonNull
                                        Variable object)

Specified by:

visitVariable in interface Visitor<ElementCS>

Overrides:

visitVariable in class AbstractExtendingVisitor<ElementCS,Pivot2CSConversion>