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

Nested Classes

Modifier and Type	Class and Description
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

Constructors

Constructor and Description
CompleteOCLContainmentVisitor(CS2PivotConversion context)

Method Summary

Methods

Modifier and Type	Method and Description
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