org.eclipse.ocl.examples.xtext.completeocl.cs2as
Class CompleteOCLCSContainmentVisitor

java.lang.Object
  org.eclipse.ocl.examples.xtext.base.basecs.util.AbstractBaseCSVisitor<R,C>
      org.eclipse.ocl.examples.xtext.base.basecs.util.AbstractExtendingBaseCSVisitor<Continuation<?>,CS2PivotConversion>
          org.eclipse.ocl.examples.xtext.base.cs2as.BaseCSContainmentVisitor
              org.eclipse.ocl.examples.xtext.essentialocl.essentialoclcs.util.AbstractEssentialOCLCSContainmentVisitor
                  org.eclipse.ocl.examples.xtext.essentialocl.cs2as.EssentialOCLCSContainmentVisitor
                      org.eclipse.ocl.examples.xtext.completeocl.completeoclcs.util.AbstractCompleteOCLCSContainmentVisitor
                          org.eclipse.ocl.examples.xtext.completeocl.cs2as.CompleteOCLCSContainmentVisitor

All Implemented Interfaces:

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

public class CompleteOCLCSContainmentVisitor
extends AbstractCompleteOCLCSContainmentVisitor

Nested Class Summary

class

CompleteOCLCSContainmentVisitor.OperationDeclScopeFilter

Field Summary

Fields inherited from class org.eclipse.ocl.examples.xtext.base.cs2as.BaseCSContainmentVisitor

metaModelManager

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

context

Constructor Summary

CompleteOCLCSContainmentVisitor(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.completeoclcs.util.AbstractCompleteOCLCSContainmentVisitor

visitContextDeclCS, visitDefCS, visitFeatureContextDeclCS, visitOCLMessageArgCS, visitPathNameDeclCS

Methods inherited from class org.eclipse.ocl.examples.xtext.essentialocl.cs2as.EssentialOCLCSContainmentVisitor

visitBooleanLiteralExpCS, visitCollectionLiteralExpCS, visitCollectionLiteralPartCS, visitCollectionTypeCS, visitConstraintCS, 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.essentialoclcs.util.AbstractEssentialOCLCSContainmentVisitor

visitBinaryOperatorCS, visitLetExpCS, visitLetVariableCS, visitNamedExpCS, visitNavigationOperatorCS, visitUnaryOperatorCS

Methods inherited from class org.eclipse.ocl.examples.xtext.base.cs2as.BaseCSContainmentVisitor

importPackages, refreshClass, refreshClassifier, refreshNamedElement, refreshPackage, refreshRoot, refreshRootPackage, refreshSerializable, visitAnnotationCS, visitAnnotationElementCS, visitClassCS, 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.basecs.util.AbstractExtendingBaseCSVisitor

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

Methods inherited from class org.eclipse.ocl.examples.xtext.base.basecs.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.essentialoclcs.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.basecs.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, visitPackageOwnerCS, visitParameterCS, visitPathElementCS, visitPathElementWithURICS, visitPathNameCS, visitPivotableElementCS, visitPrimitiveTypeRefCS, visitReferenceCS, visitRootPackageCS, visitSpecificationCS, visitStructuralFeatureCS, visitTemplateBindingCS, visitTemplateParameterCS, visitTemplateParameterSubstitutionCS, visitTemplateSignatureCS, visitTuplePartCS, visitTupleTypeCS, visitTypedElementCS, visitTypedRefCS, visitTypedTypeRefCS, visitTypeParameterCS, visitTypeRefCS, visitWildcardTypeRefCS

Constructor Detail

CompleteOCLCSContainmentVisitor

public CompleteOCLCSContainmentVisitor(@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 AbstractCompleteOCLCSContainmentVisitor

visitCompleteOCLDocumentCS

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

Specified by:

visitCompleteOCLDocumentCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitCompleteOCLDocumentCS in class AbstractCompleteOCLCSContainmentVisitor

visitDefOperationCS

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

Specified by:

visitDefOperationCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitDefOperationCS in class AbstractCompleteOCLCSContainmentVisitor

visitDefPropertyCS

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

Specified by:

visitDefPropertyCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitDefPropertyCS in class AbstractCompleteOCLCSContainmentVisitor

visitImportCS

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

Specified by:

visitImportCS in interface BaseCSVisitor<Continuation<?>>

Overrides:

visitImportCS in class BaseCSContainmentVisitor

visitIncludeCS

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

Specified by:

visitIncludeCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitIncludeCS in class AbstractCompleteOCLCSContainmentVisitor

visitLibraryCS

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

Specified by:

visitLibraryCS in interface BaseCSVisitor<Continuation<?>>

Overrides:

visitLibraryCS in class BaseCSContainmentVisitor

visitOperationContextDeclCS

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

Specified by:

visitOperationContextDeclCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitOperationContextDeclCS in class AbstractCompleteOCLCSContainmentVisitor

visitPackageDeclarationCS

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

Specified by:

visitPackageDeclarationCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitPackageDeclarationCS in class AbstractCompleteOCLCSContainmentVisitor

visitPropertyContextDeclCS

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

Specified by:

visitPropertyContextDeclCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitPropertyContextDeclCS in class AbstractCompleteOCLCSContainmentVisitor