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

static java.lang.String	getStereotype(java.lang.String stereotype)
protected void	installConstraintContainment(NamedElement contextElement)
protected void	installOperationContainment(Type modelType, Type contextType)
protected void	installPackageContainment()
protected void	installPropertyContainment(Type modelType, Type contextType)
protected void	installTypeContainment()
protected void	refreshConstrainedElements(ContextDeclCS csElement, NamedElement constrainedElement)
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<?>	visitContextConstraintCS(ContextConstraintCS csElement)
Continuation<?>	visitDefCS(DefCS 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

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

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, visitNavigationOperatorCS, visitUnaryOperatorCS

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

importPackages, refreshClassifier, refreshMultiplicity, refreshNamedElement, refreshPackage, refreshSerializable, refreshTypedMultiplicityElement, visitAnnotationCS, visitAnnotationElementCS, visitClassCS, visitCollectionTypeRefCS, 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, 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, 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, visiting, visitLambdaTypeCS, 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

Constructor Detail

CompleteOCLContainmentVisitor

public CompleteOCLContainmentVisitor(CS2PivotConversion context)

Method Detail

getStereotype

public static java.lang.String getStereotype(java.lang.String stereotype)

installConstraintContainment

protected void installConstraintContainment(NamedElement contextElement)

installOperationContainment

protected void installOperationContainment(Type modelType,
                                           Type contextType)

installPackageContainment

protected void installPackageContainment()

installPropertyContainment

protected void installPropertyContainment(Type modelType,
                                          Type contextType)

installTypeContainment

protected void installTypeContainment()

refreshConstrainedElements

protected void refreshConstrainedElements(ContextDeclCS csElement,
                                          NamedElement constrainedElement)

refreshContextPackage

protected Package refreshContextPackage(Package modelPackage,
                                        PackageDeclarationCS csElement)

refreshContextType

protected Type refreshContextType(Type modelClassifier,
                                  ClassifierContextDeclCS csElement)

registerOperation

protected void registerOperation(Type modelClassifier,
                                 Operation pivotElement)

registerProperty

protected void registerProperty(Type modelClassifier,
                                Property pivotElement)

visitClassifierContextDeclCS

public Continuation<?> visitClassifierContextDeclCS(ClassifierContextDeclCS csElement)

Specified by:

visitClassifierContextDeclCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitClassifierContextDeclCS in class AbstractCompleteOCLContainmentVisitor

visitCompleteOCLDocumentCS

public Continuation<?> visitCompleteOCLDocumentCS(CompleteOCLDocumentCS csElement)

Specified by:

visitCompleteOCLDocumentCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitCompleteOCLDocumentCS in class AbstractCompleteOCLContainmentVisitor

visitContextConstraintCS

public Continuation<?> visitContextConstraintCS(ContextConstraintCS csElement)

Specified by:

visitContextConstraintCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitContextConstraintCS in class AbstractCompleteOCLContainmentVisitor

visitDefCS

public Continuation<?> visitDefCS(DefCS csElement)

Specified by:

visitDefCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitDefCS in class AbstractCompleteOCLContainmentVisitor

visitDefOperationCS

public Continuation<?> visitDefOperationCS(DefOperationCS csElement)

Specified by:

visitDefOperationCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitDefOperationCS in class AbstractCompleteOCLContainmentVisitor

visitDefPropertyCS

public Continuation<?> visitDefPropertyCS(DefPropertyCS csElement)

Specified by:

visitDefPropertyCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitDefPropertyCS in class AbstractCompleteOCLContainmentVisitor

visitImportCS

public Continuation<?> visitImportCS(ImportCS csElement)

Specified by:

visitImportCS in interface BaseCSVisitor<Continuation<?>>

Overrides:

visitImportCS in class BaseContainmentVisitor

visitIncludeCS

public Continuation<?> visitIncludeCS(IncludeCS csElement)

Specified by:

visitIncludeCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitIncludeCS in class AbstractCompleteOCLContainmentVisitor

visitLibraryCS

public Continuation<?> visitLibraryCS(LibraryCS csElement)

Specified by:

visitLibraryCS in interface BaseCSVisitor<Continuation<?>>

Overrides:

visitLibraryCS in class BaseContainmentVisitor

visitOperationContextDeclCS

public Continuation<?> visitOperationContextDeclCS(OperationContextDeclCS csElement)

Specified by:

visitOperationContextDeclCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitOperationContextDeclCS in class AbstractCompleteOCLContainmentVisitor

visitPackageDeclarationCS

public Continuation<?> visitPackageDeclarationCS(PackageDeclarationCS csElement)

Specified by:

visitPackageDeclarationCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitPackageDeclarationCS in class AbstractCompleteOCLContainmentVisitor

visitPropertyContextDeclCS

public Continuation<?> visitPropertyContextDeclCS(PropertyContextDeclCS csElement)

Specified by:

visitPropertyContextDeclCS in interface CompleteOCLCSVisitor<Continuation<?>>

Overrides:

visitPropertyContextDeclCS in class AbstractCompleteOCLContainmentVisitor