org.eclipse.ocl.pivot.utilities

Class ASSaverResolveVisitor

java.lang.Object

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

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

org.eclipse.ocl.pivot.utilities.ASSaverResolveVisitor

All Implemented Interfaces:

Visitor<Object>

Direct Known Subclasses:

PivotASSaverResolveVisitor

public class ASSaverResolveVisitor
extends AbstractExtendingVisitor<Object,ASSaver>

ResolveVisitor converts references to shared specializations to references to local copies.

Constructor Summary

Constructors

Constructor and Description
ASSaverResolveVisitor(ASSaver saver)

Method Summary

Modifier and Type	Method and Description
Object	visitClass(Class object)
Object	visiting(Visitable visitable) Return the result of visiting a visitable for which no more specific pivot type method is available.
Object	visitLambdaType(LambdaType object)
Object	visitLoopExp(LoopExp object)
Object	visitOperationCallExp(OperationCallExp object)
Object	visitPropertyCallExp(PropertyCallExp object)
Object	visitTemplateParameter(TemplateParameter object)
Object	visitTemplateParameterSubstitution(TemplateParameterSubstitution object)
Object	visitType(Type object)
Object	visitTypedElement(TypedElement object)
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, visitCollectionType, 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, visitMapType, visitMessageExp, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOperation, visitOppositePropertyCallExp, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitParameter, visitParameterVariable, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, 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, 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

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitor

getAdapter

Constructor Detail

ASSaverResolveVisitor

public ASSaverResolveVisitor(ASSaver saver)

Method Detail

visitClass

public Object visitClass(Class object)

Specified by:

visitClass in interface Visitor<Object>

Overrides:

visitClass in class AbstractExtendingVisitor<Object,ASSaver>

visitLambdaType

public Object visitLambdaType(LambdaType object)

Specified by:

visitLambdaType in interface Visitor<Object>

Overrides:

visitLambdaType in class AbstractExtendingVisitor<Object,ASSaver>

visitLoopExp

public Object visitLoopExp(LoopExp object)

Specified by:

visitLoopExp in interface Visitor<Object>

Overrides:

visitLoopExp in class AbstractExtendingVisitor<Object,ASSaver>

visitOperationCallExp

public Object visitOperationCallExp(OperationCallExp object)

Specified by:

visitOperationCallExp in interface Visitor<Object>

Overrides:

visitOperationCallExp in class AbstractExtendingVisitor<Object,ASSaver>

visitPropertyCallExp

public Object visitPropertyCallExp(PropertyCallExp object)

Specified by:

visitPropertyCallExp in interface Visitor<Object>

Overrides:

visitPropertyCallExp in class AbstractExtendingVisitor<Object,ASSaver>

visitTemplateParameter

public Object visitTemplateParameter(TemplateParameter object)

Specified by:

visitTemplateParameter in interface Visitor<Object>

Overrides:

visitTemplateParameter in class AbstractExtendingVisitor<Object,ASSaver>

visitTemplateParameterSubstitution

public Object visitTemplateParameterSubstitution(TemplateParameterSubstitution object)

Specified by:

visitTemplateParameterSubstitution in interface Visitor<Object>

Overrides:

visitTemplateParameterSubstitution in class AbstractExtendingVisitor<Object,ASSaver>

visitType

public Object visitType(Type object)

Specified by:

visitType in interface Visitor<Object>

Overrides:

visitType in class AbstractExtendingVisitor<Object,ASSaver>

visitTypeExp

public Object visitTypeExp(TypeExp object)

Specified by:

visitTypeExp in interface Visitor<Object>

Overrides:

visitTypeExp in class AbstractExtendingVisitor<Object,ASSaver>

visitTypedElement

public Object visitTypedElement(TypedElement object)

Specified by:

visitTypedElement in interface Visitor<Object>

Overrides:

visitTypedElement in class AbstractExtendingVisitor<Object,ASSaver>

visiting

public Object visiting(Visitable visitable)

Description copied from interface: Visitor

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