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

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.BaseContainmentVisitor
              org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot.AbstractEssentialOCLContainmentVisitor
                  org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot.EssentialOCLContainmentVisitor
                      org.eclipse.ocl.examples.xtext.completeocl.cs2pivot.AbstractCompleteOCLContainmentVisitor
                          org.eclipse.ocl.examples.xtext.completeocl.cs2pivot.CompleteOCLContainmentVisitor

All Implemented Interfaces:

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

public class CompleteOCLContainmentVisitor
extends AbstractCompleteOCLContainmentVisitor

Nested Class Summary

class

CompleteOCLContainmentVisitor.OperationDeclScopeFilter

Field Summary

Fields inherited from class org.eclipse.ocl.examples.xtext.base.cs2pivot.BaseContainmentVisitor

metaModelManager

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

context

Constructor Summary

CompleteOCLContainmentVisitor(CS2PivotConversion context)

Method Summary

protected void	installOperationContainment(Type modelType, Type contextType)
protected void	installPackageContainment(Root contextRoot)
protected void	installPropertyContainment(Type modelType, Type contextType, java.util.List<Constraint> allInvariants)
protected void	installTypeContainment()
protected Package	refreshContextPackage(Package modelPackage, PackageDeclarationCS csElement)
protected Type	refreshContextType(Type modelClassifier, ClassifierContextDeclCS csElement)
protected void	registerOperation(Type modelClassifier, Operation pivotElement)
protected void	registerProperty(Type modelClassifier, Property pivotElement)
Continuation<?>	visitClassifierContextDeclCS(ClassifierContextDeclCS csElement)
Continuation<?>	visitCompleteOCLDocumentCS(CompleteOCLDocumentCS csElement)
Continuation<?>	visitDefOperationCS(DefOperationCS csElement)
Continuation<?>	visitDefPropertyCS(DefPropertyCS csElement)
Continuation<?>	visitImportCS(ImportCS csElement)
Continuation<?>	visitIncludeCS(IncludeCS csElement)
Continuation<?>	visitLibraryCS(LibraryCS csElement)
Continuation<?>	visitOperationContextDeclCS(OperationContextDeclCS csElement)
Continuation<?>	visitPackageDeclarationCS(PackageDeclarationCS csElement)
Continuation<?>	visitPropertyContextDeclCS(PropertyContextDeclCS csElement)

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

visitContextDeclCS, visitDefCS, visitFeatureContextDeclCS, visitOCLMessageArgCS, visitPathNameDeclCS

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

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

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

visitBinaryOperatorCS, visitLetExpCS, visitLetVariableCS, visitNamedExpCS, visitNavigationOperatorCS, visitUnaryOperatorCS

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

importPackages, refreshClass, refreshClassifier, refreshNamedElement, refreshPackage, refreshRoot, refreshSerializable, visitAnnotationCS, visitAnnotationElementCS, visitClassCS, visitConstraintCS, visitDataTypeCS, visitDetailCS, visitDocumentationCS, visitElementCS, visitElementRefCS, visitEnumerationCS, visitEnumerationLiteralCS, visiting, visitLambdaTypeCS, visitModelElementRefCS, visitMultiplicityBoundsCS, visitMultiplicityStringCS, visitOperationCS, visitPackageCS, visitParameterCS, visitPathElementCS, visitPathNameCS, visitPrimitiveTypeRefCS, visitRootPackageCS, visitSpecificationCS, visitStructuralFeatureCS, visitTemplateBindingCS, visitTemplateParameterCS, visitTemplateParameterSubstitutionCS, visitTemplateSignatureCS, visitTuplePartCS, visitTupleTypeCS, visitTypedRefCS, visitTypedTypeRefCS, visitTypeRefCS, visitWildcardTypeRefCS

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

visitAttributeCS, visitClassifierCS, visitModelElementCS, visitNamedElementCS, visitPathElementWithURICS, visitPivotableElementCS, visitReferenceCS, visitTypedElementCS, visitTypeParameterCS

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, visitNamedExpCS, 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, visitConstraintCS, visitDataTypeCS, visitDetailCS, visitDocumentationCS, visitElementCS, visitElementRefCS, visitEnumerationCS, visitEnumerationLiteralCS, visiting, visitLambdaTypeCS, visitModelElementCS, visitModelElementRefCS, visitMultiplicityBoundsCS, visitMultiplicityStringCS, visitNamedElementCS, visitOperationCS, visitPackageCS, visitParameterCS, visitPathElementCS, visitPathElementWithURICS, visitPathNameCS, visitPivotableElementCS, visitPrimitiveTypeRefCS, visitReferenceCS, visitRootPackageCS, visitSpecificationCS, visitStructuralFeatureCS, visitTemplateBindingCS, visitTemplateParameterCS, visitTemplateParameterSubstitutionCS, visitTemplateSignatureCS, visitTuplePartCS, visitTupleTypeCS, visitTypedElementCS, visitTypedRefCS, visitTypedTypeRefCS, visitTypeParameterCS, visitTypeRefCS, visitWildcardTypeRefCS

Constructor Detail

CompleteOCLContainmentVisitor

public CompleteOCLContainmentVisitor(@NonNull
                                     CS2PivotConversion context)

Method Detail

installOperationContainment

protected void installOperationContainment(@NonNull
                                           Type modelType,
                                           @NonNull
                                           Type contextType)

installPackageContainment

protected void installPackageContainment(@NonNull
                                         Root contextRoot)

installPropertyContainment

protected void installPropertyContainment(@NonNull
                                          Type modelType,
                                          @NonNull
                                          Type contextType,
                                          @NonNull
                                          java.util.List<Constraint> allInvariants)

installTypeContainment

protected void installTypeContainment()

refreshContextPackage

protected Package refreshContextPackage(@NonNull
                                        Package modelPackage,
                                        @Nullable
                                        PackageDeclarationCS csElement)

refreshContextType

protected Type refreshContextType(@NonNull
                                  Type modelClassifier,
                                  @Nullable
                                  ClassifierContextDeclCS csElement)

registerOperation

protected void registerOperation(@NonNull
                                 Type modelClassifier,
                                 @NonNull
                                 Operation pivotElement)

registerProperty

protected void registerProperty(@NonNull
                                Type modelClassifier,
                                @NonNull
                                Property pivotElement)

visitClassifierContextDeclCS

public Continuation<?> visitClassifierContextDeclCS(@NonNull
                                                    ClassifierContextDeclCS csElement)

Specified by:

visitClassifierContextDeclCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitClassifierContextDeclCS in class AbstractCompleteOCLContainmentVisitor

visitCompleteOCLDocumentCS

public Continuation<?> visitCompleteOCLDocumentCS(@NonNull
                                                  CompleteOCLDocumentCS csElement)

Specified by:

visitCompleteOCLDocumentCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitCompleteOCLDocumentCS in class AbstractCompleteOCLContainmentVisitor

visitDefOperationCS

public Continuation<?> visitDefOperationCS(@NonNull
                                           DefOperationCS csElement)

Specified by:

visitDefOperationCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitDefOperationCS in class AbstractCompleteOCLContainmentVisitor

visitDefPropertyCS

public Continuation<?> visitDefPropertyCS(@NonNull
                                          DefPropertyCS csElement)

Specified by:

visitDefPropertyCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitDefPropertyCS in class AbstractCompleteOCLContainmentVisitor

visitImportCS

public Continuation<?> visitImportCS(@NonNull
                                     ImportCS csElement)

Specified by:

visitImportCS in interface BaseCSVisitor<Continuation<?>>

Overrides:

visitImportCS in class BaseContainmentVisitor

visitIncludeCS

public Continuation<?> visitIncludeCS(@NonNull
                                      IncludeCS csElement)

Specified by:

visitIncludeCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitIncludeCS in class AbstractCompleteOCLContainmentVisitor

visitLibraryCS

public Continuation<?> visitLibraryCS(@NonNull
                                      LibraryCS csElement)

Specified by:

visitLibraryCS in interface BaseCSVisitor<Continuation<?>>

Overrides:

visitLibraryCS in class BaseContainmentVisitor

visitOperationContextDeclCS

public Continuation<?> visitOperationContextDeclCS(@NonNull
                                                   OperationContextDeclCS csElement)

Specified by:

visitOperationContextDeclCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitOperationContextDeclCS in class AbstractCompleteOCLContainmentVisitor

visitPackageDeclarationCS

public Continuation<?> visitPackageDeclarationCS(@NonNull
                                                 PackageDeclarationCS csElement)

Specified by:

visitPackageDeclarationCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitPackageDeclarationCS in class AbstractCompleteOCLContainmentVisitor

visitPropertyContextDeclCS

public Continuation<?> visitPropertyContextDeclCS(@NonNull
                                                  PropertyContextDeclCS csElement)

Specified by:

visitPropertyContextDeclCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitPropertyContextDeclCS in class AbstractCompleteOCLContainmentVisitor