org.eclipse.ocl.examples.xtext.completeocl.cs2pivot
Class CompleteOCLPostOrderVisitor

java.lang.Object
  org.eclipse.ocl.examples.xtext.base.util.AbstractBaseCSVisitor<R,C>
      org.eclipse.ocl.examples.xtext.base.util.AbstractExtendingBaseCSVisitor<Continuation<?>,CS2PivotConversion>
          org.eclipse.ocl.examples.xtext.base.cs2pivot.BasePostOrderVisitor
              org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot.AbstractEssentialOCLPostOrderVisitor
                  org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot.EssentialOCLPostOrderVisitor
                      org.eclipse.ocl.examples.xtext.completeocl.cs2pivot.AbstractCompleteOCLPostOrderVisitor
                          org.eclipse.ocl.examples.xtext.completeocl.cs2pivot.CompleteOCLPostOrderVisitor

All Implemented Interfaces:

BaseCSVisitor<Continuation<?>>, CompleteOCLCSVisitor<Continuation<?>>, EssentialOCLCSVisitor<Continuation<?>>

public class CompleteOCLPostOrderVisitor
extends AbstractCompleteOCLPostOrderVisitor

Nested Class Summary

static class	CompleteOCLPostOrderVisitor.ContextConstraintCSCompletion
protected static class	CompleteOCLPostOrderVisitor.DefCSCompletion

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot.EssentialOCLPostOrderVisitor

EssentialOCLPostOrderVisitor.ContextCSCompletion

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.xtext.base.cs2pivot.BasePostOrderVisitor

BasePostOrderVisitor.ConstraintCSCompletion

Field Summary

static CS2PivotConversion.CacheKey<java.util.Map<NamedElement,java.util.List<ContextConstraintCS>>>

rulesKey

Fields inherited from class org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot.EssentialOCLPostOrderVisitor

metaModelManager

Fields inherited from class org.eclipse.ocl.examples.xtext.base.util.AbstractBaseCSVisitor

context

Constructor Summary

CompleteOCLPostOrderVisitor(CS2PivotConversion context)

Method Summary

Continuation<?>	visitClassifierContextDeclCS(ClassifierContextDeclCS csElement)
Continuation<?>	visitCompleteOCLDocumentCS(CompleteOCLDocumentCS csElement)
Continuation<?>	visitContextConstraintCS(ContextConstraintCS csNewConstraint)
Continuation<?>	visitContextDeclCS(ContextDeclCS csElement)
Continuation<?>	visitDefCS(DefCS csDef)
Continuation<?>	visitDefOperationCS(DefOperationCS csElement)
Continuation<?>	visitDefPropertyCS(DefPropertyCS csElement)
Continuation<?>	visitIncludeCS(IncludeCS csElement)
Continuation<?>	visitOperationContextDeclCS(OperationContextDeclCS csElement)
Continuation<?>	visitPackageDeclarationCS(PackageDeclarationCS csElement)
Continuation<?>	visitPropertyContextDeclCS(PropertyContextDeclCS csElement)

Methods inherited from class org.eclipse.ocl.examples.xtext.completeocl.cs2pivot.AbstractCompleteOCLPostOrderVisitor

visitBodyCS, visitContextSpecificationCS, visitDefFeatureCS, visitDerCS, visitFeatureContextDeclCS, visitInitCS, visitInvCS, visitOCLMessageArgCS, visitPathNameDeclCS, visitPostCS, visitPreCS

Methods inherited from class org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot.EssentialOCLPostOrderVisitor

createInfixOperatorTree, createInfixPrecedenceToOperatorIndexesMap, initializePrefixOperators, interleavePrefixes, interleaveUnaryOperator, visitCollectionTypeCS, visitContextCS, visitExpCS, visitInfixExpCS, visitInvocationExpCS, visitOperatorCS, visitPrefixExpCS, visitSpecificationCS, visitTypeNameExpCS, visitVariableCS

Methods inherited from class org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot.AbstractEssentialOCLPostOrderVisitor

visitBinaryOperatorCS, visitBooleanLiteralExpCS, visitCollectionLiteralExpCS, visitCollectionLiteralPartCS, visitConstructorExpCS, visitConstructorPartCS, visitExpSpecificationCS, visitIfExpCS, visitIndexExpCS, visitInvalidLiteralExpCS, visitLetExpCS, visitLetVariableCS, visitLiteralExpCS, visitNameExpCS, visitNavigatingArgCS, visitNavigationOperatorCS, visitNestedExpCS, visitNullLiteralExpCS, visitNumberLiteralExpCS, visitPrimitiveLiteralExpCS, visitSelfExpCS, visitStringLiteralExpCS, visitTupleLiteralExpCS, visitTupleLiteralPartCS, visitTypeLiteralExpCS, visitUnaryOperatorCS, visitUnlimitedNaturalLiteralExpCS

Methods inherited from class org.eclipse.ocl.examples.xtext.base.cs2pivot.BasePostOrderVisitor

getTemplateableElementContainer, refreshList, visitAnnotationCS, visitAnnotationElementCS, visitClassifierCS, visitConstraintCS, visitDetailCS, visitDocumentationCS, visitElementCS, visitImportCS, visiting, visitLambdaTypeCS, visitLibraryCS, visitModelElementCS, visitModelElementRefCS, visitMultiplicityBoundsCS, visitMultiplicityStringCS, visitNamedElementCS, visitOperationCS, visitPackageCS, visitPathElementCS, visitPathNameCS, visitPrimitiveTypeRefCS, visitReferenceCS, visitTemplateBindingCS, visitTemplateParameterCS, visitTemplateParameterSubstitutionCS, visitTemplateSignatureCS, visitTuplePartCS, visitTupleTypeCS, visitTypedElementCS, visitTypedTypeRefCS, visitWildcardTypeRefCS

Methods inherited from class org.eclipse.ocl.examples.xtext.base.util.AbstractExtendingBaseCSVisitor

visitAttributeCS, visitClassCS, visitCollectionTypeRefCS, visitDataTypeCS, visitElementRefCS, visitEnumerationCS, visitEnumerationLiteralCS, visitParameterCS, visitPivotableElementCS, visitRootPackageCS, visitStructuralFeatureCS, visitTypedRefCS, visitTypeParameterCS, visitTypeRefCS

Methods inherited from class org.eclipse.ocl.examples.xtext.base.util.AbstractBaseCSVisitor

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.xtext.essentialocl.util.EssentialOCLCSVisitor

visitBinaryOperatorCS, visitBooleanLiteralExpCS, visitCollectionLiteralExpCS, visitCollectionLiteralPartCS, visitCollectionTypeCS, visitConstructorExpCS, visitConstructorPartCS, visitContextCS, visitExpCS, visitExpSpecificationCS, visitIfExpCS, visitIndexExpCS, visitInfixExpCS, visitInvalidLiteralExpCS, visitInvocationExpCS, visitLetExpCS, visitLetVariableCS, visitLiteralExpCS, visitNameExpCS, visitNavigatingArgCS, visitNavigationOperatorCS, visitNestedExpCS, visitNullLiteralExpCS, visitNumberLiteralExpCS, visitOperatorCS, visitPrefixExpCS, visitPrimitiveLiteralExpCS, visitSelfExpCS, visitStringLiteralExpCS, visitTupleLiteralExpCS, visitTupleLiteralPartCS, visitTypeLiteralExpCS, visitTypeNameExpCS, visitUnaryOperatorCS, visitUnlimitedNaturalLiteralExpCS, visitVariableCS

Methods inherited from interface org.eclipse.ocl.examples.xtext.base.util.BaseCSVisitor

getAdapter, visitAnnotationCS, visitAnnotationElementCS, visitAttributeCS, visitClassCS, visitClassifierCS, visitCollectionTypeRefCS, visitConstraintCS, visitDataTypeCS, visitDetailCS, visitDocumentationCS, visitElementCS, visitElementRefCS, visitEnumerationCS, visitEnumerationLiteralCS, visitImportCS, visiting, visitLambdaTypeCS, visitLibraryCS, visitModelElementCS, visitModelElementRefCS, visitMultiplicityBoundsCS, visitMultiplicityStringCS, visitNamedElementCS, visitOperationCS, visitPackageCS, visitParameterCS, visitPathElementCS, visitPathNameCS, visitPivotableElementCS, visitPrimitiveTypeRefCS, visitReferenceCS, visitRootPackageCS, visitSpecificationCS, visitStructuralFeatureCS, visitTemplateBindingCS, visitTemplateParameterCS, visitTemplateParameterSubstitutionCS, visitTemplateSignatureCS, visitTuplePartCS, visitTupleTypeCS, visitTypedElementCS, visitTypedRefCS, visitTypedTypeRefCS, visitTypeParameterCS, visitTypeRefCS, visitWildcardTypeRefCS

Field Detail

rulesKey

public static final CS2PivotConversion.CacheKey<java.util.Map<NamedElement,java.util.List<ContextConstraintCS>>> rulesKey

Constructor Detail

CompleteOCLPostOrderVisitor

public CompleteOCLPostOrderVisitor(CS2PivotConversion context)

Method Detail

visitClassifierContextDeclCS

public Continuation<?> visitClassifierContextDeclCS(ClassifierContextDeclCS csElement)

Specified by:

visitClassifierContextDeclCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitClassifierContextDeclCS in class AbstractCompleteOCLPostOrderVisitor

visitCompleteOCLDocumentCS

public Continuation<?> visitCompleteOCLDocumentCS(CompleteOCLDocumentCS csElement)

Specified by:

visitCompleteOCLDocumentCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitCompleteOCLDocumentCS in class AbstractCompleteOCLPostOrderVisitor

visitContextConstraintCS

public Continuation<?> visitContextConstraintCS(ContextConstraintCS csNewConstraint)

Specified by:

visitContextConstraintCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitContextConstraintCS in class AbstractCompleteOCLPostOrderVisitor

visitContextDeclCS

public Continuation<?> visitContextDeclCS(ContextDeclCS csElement)

Specified by:

visitContextDeclCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitContextDeclCS in class AbstractCompleteOCLPostOrderVisitor

visitDefCS

public Continuation<?> visitDefCS(DefCS csDef)

Specified by:

visitDefCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitDefCS in class AbstractCompleteOCLPostOrderVisitor

visitDefOperationCS

public Continuation<?> visitDefOperationCS(DefOperationCS csElement)

Specified by:

visitDefOperationCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitDefOperationCS in class AbstractCompleteOCLPostOrderVisitor

visitDefPropertyCS

public Continuation<?> visitDefPropertyCS(DefPropertyCS csElement)

Specified by:

visitDefPropertyCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitDefPropertyCS in class AbstractCompleteOCLPostOrderVisitor

visitIncludeCS

public Continuation<?> visitIncludeCS(IncludeCS csElement)

Specified by:

visitIncludeCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitIncludeCS in class AbstractCompleteOCLPostOrderVisitor

visitOperationContextDeclCS

public Continuation<?> visitOperationContextDeclCS(OperationContextDeclCS csElement)

Specified by:

visitOperationContextDeclCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitOperationContextDeclCS in class AbstractCompleteOCLPostOrderVisitor

visitPackageDeclarationCS

public Continuation<?> visitPackageDeclarationCS(PackageDeclarationCS csElement)

Specified by:

visitPackageDeclarationCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitPackageDeclarationCS in class AbstractCompleteOCLPostOrderVisitor

visitPropertyContextDeclCS

public Continuation<?> visitPropertyContextDeclCS(PropertyContextDeclCS csElement)

Specified by:

visitPropertyContextDeclCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitPropertyContextDeclCS in class AbstractCompleteOCLPostOrderVisitor