org.eclipse.ocl.pivot.utilities

Class ASSaverLocateVisitor

java.lang.Object

org.eclipse.ocl.pivot.util.AbstractVisitor<R,C>

org.eclipse.ocl.pivot.util.AbstractExtendingVisitor<java.lang.Object,ASSaver>

org.eclipse.ocl.pivot.utilities.ASSaverLocateVisitor

All Implemented Interfaces:

Visitor<java.lang.Object>

Direct Known Subclasses:

PivotASSaverLocateVisitor

public class ASSaverLocateVisitor
extends AbstractExtendingVisitor<java.lang.Object,ASSaver>

LocateVisitor locates references to shared specializations, so that local copies can be created and then replaced by the ResolveVisitor.

Field Summary

Fields inherited from class org.eclipse.ocl.pivot.util.AbstractVisitor

context

Constructor Summary

Constructors

Constructor and Description
ASSaverLocateVisitor(ASSaver context)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	visitClass(Class object)
java.lang.Object	visitCollectionType(CollectionType object)
java.lang.Object	visiting(Visitable visitable) Return the result of visiting a visitable for which no more specific pivot type method is available.
java.lang.Object	visitLambdaType(LambdaType object)
java.lang.Object	visitLoopExp(LoopExp object)
java.lang.Object	visitMapType(MapType object)
java.lang.Object	visitOperationCallExp(OperationCallExp object)
java.lang.Object	visitProperty(Property object)
java.lang.Object	visitPropertyCallExp(PropertyCallExp object)
java.lang.Object	visitTemplateParameter(TemplateParameter object)
java.lang.Object	visitTemplateParameterSubstitution(TemplateParameterSubstitution object)
java.lang.Object	visitTypedElement(TypedElement object)
java.lang.Object	visitTypeExp(TypeExp object)

Methods inherited from class org.eclipse.ocl.pivot.util.AbstractExtendingVisitor

visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitBooleanLiteralExp, visitCallExp, visitCallOperationAction, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitComment, visitCompleteClass, visitCompleteEnvironment, visitCompleteModel, visitCompletePackage, visitConnectionPointReference, visitConstraint, visitDataType, visitDetail, visitDynamicBehavior, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitDynamicValueSpecification, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitEnumLiteralExp, visitExpressionInOCL, visitFeature, visitFeatureCallExp, visitFinalState, visitIfExp, visitImport, visitInstanceSpecification, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitIteratorVariable, visitLanguageExpression, visitLetExp, visitLetVariable, visitLibrary, visitLiteralExp, visitMapLiteralExp, visitMapLiteralPart, visitMessageExp, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOperation, visitOppositePropertyCallExp, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitParameter, visitParameterVariable, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitPseudostate, visitRealLiteralExp, visitRegion, visitResultVariable, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitShadowExp, visitShadowPart, visitSignal, visitSlot, visitStandardLibrary, visitState, visitStateExp, visitStateMachine, visitStereotype, visitStereotypeExtender, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateSignature, visitTransition, visitTrigger, visitTupleLiteralExp, visitTupleLiteralPart, visitTupleType, visitType, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitValueSpecification, visitVariable, visitVariableDeclaration, visitVariableExp, visitVertex, visitVoidType, visitWildcardType

Methods inherited from class org.eclipse.ocl.pivot.util.AbstractVisitor

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.pivot.util.Visitor

getAdapter

Constructor Detail

ASSaverLocateVisitor

public ASSaverLocateVisitor(@NonNull
                            ASSaver context)

Method Detail

visitClass

public java.lang.Object visitClass(Class object)

Specified by:

visitClass in interface Visitor<java.lang.Object>

Overrides:

visitClass in class AbstractExtendingVisitor<java.lang.Object,ASSaver>

visitCollectionType

public java.lang.Object visitCollectionType(@NonNull
                                            CollectionType object)

Specified by:

visitCollectionType in interface Visitor<java.lang.Object>

Overrides:

visitCollectionType in class AbstractExtendingVisitor<java.lang.Object,ASSaver>

visitLambdaType

public java.lang.Object visitLambdaType(@NonNull
                                        LambdaType object)

Specified by:

visitLambdaType in interface Visitor<java.lang.Object>

Overrides:

visitLambdaType in class AbstractExtendingVisitor<java.lang.Object,ASSaver>

visitLoopExp

public java.lang.Object visitLoopExp(@NonNull
                                     LoopExp object)

Specified by:

visitLoopExp in interface Visitor<java.lang.Object>

Overrides:

visitLoopExp in class AbstractExtendingVisitor<java.lang.Object,ASSaver>

visitMapType

public java.lang.Object visitMapType(@NonNull
                                     MapType object)

Specified by:

visitMapType in interface Visitor<java.lang.Object>

Overrides:

visitMapType in class AbstractExtendingVisitor<java.lang.Object,ASSaver>

visitOperationCallExp

public java.lang.Object visitOperationCallExp(@NonNull
                                              OperationCallExp object)

Specified by:

visitOperationCallExp in interface Visitor<java.lang.Object>

Overrides:

visitOperationCallExp in class AbstractExtendingVisitor<java.lang.Object,ASSaver>

visitProperty

public java.lang.Object visitProperty(@NonNull
                                      Property object)

Specified by:

visitProperty in interface Visitor<java.lang.Object>

Overrides:

visitProperty in class AbstractExtendingVisitor<java.lang.Object,ASSaver>

visitPropertyCallExp

public java.lang.Object visitPropertyCallExp(@NonNull
                                             PropertyCallExp object)

Specified by:

visitPropertyCallExp in interface Visitor<java.lang.Object>

Overrides:

visitPropertyCallExp in class AbstractExtendingVisitor<java.lang.Object,ASSaver>

visitTemplateParameter

public java.lang.Object visitTemplateParameter(@NonNull
                                               TemplateParameter object)

Specified by:

visitTemplateParameter in interface Visitor<java.lang.Object>

Overrides:

visitTemplateParameter in class AbstractExtendingVisitor<java.lang.Object,ASSaver>

visitTemplateParameterSubstitution

public java.lang.Object visitTemplateParameterSubstitution(@NonNull
                                                           TemplateParameterSubstitution object)

Specified by:

visitTemplateParameterSubstitution in interface Visitor<java.lang.Object>

Overrides:

visitTemplateParameterSubstitution in class AbstractExtendingVisitor<java.lang.Object,ASSaver>

visitTypeExp

public java.lang.Object visitTypeExp(@NonNull
                                     TypeExp object)

Specified by:

visitTypeExp in interface Visitor<java.lang.Object>

Overrides:

visitTypeExp in class AbstractExtendingVisitor<java.lang.Object,ASSaver>

visitTypedElement

public java.lang.Object visitTypedElement(@NonNull
                                          TypedElement object)

Specified by:

visitTypedElement in interface Visitor<java.lang.Object>

Overrides:

visitTypedElement in class AbstractExtendingVisitor<java.lang.Object,ASSaver>

visiting

public java.lang.Object visiting(@NonNull
                                 Visitable visitable)

Description copied from interface: Visitor

Return the result of visiting a visitable for which no more specific pivot type method is available.