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

java.lang.Object
  extended by org.eclipse.ocl.examples.xtext.base.util.AbstractBaseCSVisitor<R,C>
      extended by org.eclipse.ocl.examples.xtext.base.util.AbstractDelegatingBaseCSVisitor<R,C,D>
          extended by org.eclipse.ocl.examples.xtext.essentialocl.util.AbstractDelegatingEssentialOCLCSVisitor<R,C,D>
              extended by org.eclipse.ocl.examples.xtext.completeocl.util.AbstractExtendingDelegatingCompleteOCLCSVisitor<Continuation<?>,CS2PivotConversion,EssentialOCLPostOrderVisitor>
                  extended by org.eclipse.ocl.examples.xtext.completeocl.cs2pivot.CompleteOCLPostOrderVisitor
All Implemented Interfaces:
BaseCSVisitor<Continuation<?>,CS2PivotConversion>, CompleteOCLCSVisitor<Continuation<?>,CS2PivotConversion>, EssentialOCLCSVisitor<Continuation<?>,CS2PivotConversion>

public class CompleteOCLPostOrderVisitor
extends AbstractExtendingDelegatingCompleteOCLCSVisitor<Continuation<?>,CS2PivotConversion,EssentialOCLPostOrderVisitor>


Nested Class Summary
protected static class CompleteOCLPostOrderVisitor.DefCSCompletion
           
protected static class CompleteOCLPostOrderVisitor.DocumentCSCompletion
           
 
Field Summary
static CS2PivotConversion.CacheKey<java.util.Map<NamedElement,java.util.List<ContextConstraintCS>>> rulesKey
           
 
Fields inherited from class org.eclipse.ocl.examples.xtext.base.util.AbstractDelegatingBaseCSVisitor
delegate
 
Fields inherited from class org.eclipse.ocl.examples.xtext.base.util.AbstractBaseCSVisitor
context
 
Constructor Summary
CompleteOCLPostOrderVisitor(CS2PivotConversion context)
           
 
Method Summary
 Continuation<?> visitCompleteOCLDocumentCS(CompleteOCLDocumentCS csDocument)
           
 Continuation<?> visitContextConstraintCS(ContextConstraintCS csNewConstraint)
           
 Continuation<?> visitContextDeclCS(ContextDeclCS object)
           
 Continuation<?> visitDefCS(DefCS csDef)
           
 Continuation<?> visitIncludeCS(IncludeCS object)
           
 
Methods inherited from class org.eclipse.ocl.examples.xtext.completeocl.util.AbstractExtendingDelegatingCompleteOCLCSVisitor
visitBodyCS, visitClassifierContextDeclCS, visitContextSpecificationCS, visitDerCS, visitFeatureContextDeclCS, visiting, visitInitCS, visitInvCS, visitOclMessageArgCS, visitOperationContextDeclCS, visitPackageDeclarationCS, visitPostCS, visitPreCS, visitPreExpCS, visitPropertyContextDeclCS
 
Methods inherited from class org.eclipse.ocl.examples.xtext.essentialocl.util.AbstractDelegatingEssentialOCLCSVisitor
visitBinaryOperatorCS, visitBooleanLiteralExpCS, visitCollectionLiteralExpCS, visitCollectionLiteralPartCS, visitCollectionTypeCS, visitContextCS, visitDecoratedNamedExpCS, visitExpCS, visitExpSpecificationCS, visitIfExpCS, visitIndexExpCS, visitInfixExpCS, visitInvalidLiteralExpCS, visitLetExpCS, visitLetVariableCS, visitLiteralExpCS, visitNameExpCS, visitNavigatingArgCS, visitNavigatingExpCS, visitNavigationOperatorCS, visitNestedExpCS, visitNullLiteralExpCS, visitNumberLiteralExpCS, visitOperatorCS, visitPrefixExpCS, visitPrimitiveLiteralExpCS, visitSelfExpCS, visitStringLiteralExpCS, visitTupleLiteralExpCS, visitTupleLiteralPartCS, visitTypeLiteralExpCS, visitTypeNameExpCS, visitUnaryOperatorCS, visitUnlimitedNaturalLiteralExpCS, visitVariableCS
 
Methods inherited from class org.eclipse.ocl.examples.xtext.base.util.AbstractDelegatingBaseCSVisitor
getDelegate, visitAnnotationCS, visitAnnotationElementCS, visitAttributeCS, visitClassCS, visitClassCSRef, visitClassifierCS, visitCollectionTypeRefCS, visitConstraintCS, visitDataTypeCS, visitDetailCS, visitDocumentationCS, visitElementCS, visitEnumerationCS, visitEnumerationLiteralCS, visitImportCS, visitLambdaTypeCS, visitLibraryCS, visitModelElementCS, visitMonikeredElementCS, visitNamedElementCS, visitOperationCS, visitPackageCS, visitParameterCS, visitPrimitiveTypeRefCS, visitReferenceCS, visitRootPackageCS, visitSpecificationCS, visitStructuralFeatureCS, visitTemplateBindingCS, visitTemplateParameterCS, visitTemplateParameterSubstitutionCS, visitTemplateSignatureCS, visitTuplePartCS, visitTupleTypeCS, visitTypedElementCS, visitTypedRefCS, visitTypedTypeRefCS, visitTypeParameterCS, visitTypeRefCS, visitWildcardTypeRefCS
 
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, visitContextCS, visitDecoratedNamedExpCS, visitExpCS, visitExpSpecificationCS, visitIfExpCS, visitIndexExpCS, visitInfixExpCS, visitInvalidLiteralExpCS, visitLetExpCS, visitLetVariableCS, visitLiteralExpCS, visitNameExpCS, visitNavigatingArgCS, visitNavigatingExpCS, 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, visitClassCSRef, visitClassifierCS, visitCollectionTypeRefCS, visitConstraintCS, visitDataTypeCS, visitDetailCS, visitDocumentationCS, visitElementCS, visitEnumerationCS, visitEnumerationLiteralCS, visitImportCS, visitLambdaTypeCS, visitLibraryCS, visitModelElementCS, visitMonikeredElementCS, visitNamedElementCS, visitOperationCS, visitPackageCS, visitParameterCS, 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

visitCompleteOCLDocumentCS

public Continuation<?> visitCompleteOCLDocumentCS(CompleteOCLDocumentCS csDocument)
Specified by:
visitCompleteOCLDocumentCS in interface CompleteOCLCSVisitor<Continuation<?>,CS2PivotConversion>
Overrides:
visitCompleteOCLDocumentCS in class AbstractExtendingDelegatingCompleteOCLCSVisitor<Continuation<?>,CS2PivotConversion,EssentialOCLPostOrderVisitor>

visitContextDeclCS

public Continuation<?> visitContextDeclCS(ContextDeclCS object)
Specified by:
visitContextDeclCS in interface CompleteOCLCSVisitor<Continuation<?>,CS2PivotConversion>
Overrides:
visitContextDeclCS in class AbstractExtendingDelegatingCompleteOCLCSVisitor<Continuation<?>,CS2PivotConversion,EssentialOCLPostOrderVisitor>

visitContextConstraintCS

public Continuation<?> visitContextConstraintCS(ContextConstraintCS csNewConstraint)
Specified by:
visitContextConstraintCS in interface CompleteOCLCSVisitor<Continuation<?>,CS2PivotConversion>
Overrides:
visitContextConstraintCS in class AbstractExtendingDelegatingCompleteOCLCSVisitor<Continuation<?>,CS2PivotConversion,EssentialOCLPostOrderVisitor>

visitDefCS

public Continuation<?> visitDefCS(DefCS csDef)
Specified by:
visitDefCS in interface CompleteOCLCSVisitor<Continuation<?>,CS2PivotConversion>
Overrides:
visitDefCS in class AbstractExtendingDelegatingCompleteOCLCSVisitor<Continuation<?>,CS2PivotConversion,EssentialOCLPostOrderVisitor>

visitIncludeCS

public Continuation<?> visitIncludeCS(IncludeCS object)
Specified by:
visitIncludeCS in interface CompleteOCLCSVisitor<Continuation<?>,CS2PivotConversion>
Overrides:
visitIncludeCS in class AbstractExtendingDelegatingCompleteOCLCSVisitor<Continuation<?>,CS2PivotConversion,EssentialOCLPostOrderVisitor>