org.eclipse.ocl.examples.debug.evaluator
Class OCLVMEvaluationVisitorDecorator

java.lang.Object
  org.eclipse.ocl.examples.pivot.util.AbstractVisitor<R,C>
      org.eclipse.ocl.examples.pivot.util.AbstractExtendingVisitor<java.lang.Object,java.lang.Object>
          org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationVisitorDecorator<IOCLVMEvaluationVisitor>
              org.eclipse.ocl.examples.debug.evaluator.OCLVMEvaluationVisitorDecorator

All Implemented Interfaces:

IOCLVMEvaluationVisitor, IVMEvaluationVisitor<ExpressionInOCL>, DomainEvaluator, EvaluationVisitor, Visitor<java.lang.Object>

Direct Known Subclasses:

OCLAbstractTracingEvaluationVisitor

public abstract class OCLVMEvaluationVisitorDecorator
extends AbstractEvaluationVisitorDecorator<IOCLVMEvaluationVisitor>
implements IOCLVMEvaluationVisitor

OCLVMEvaluationVisitorDecorator is the class for ...

Field Summary

Fields inherited from class org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationVisitorDecorator

delegate

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

context

Constructor Summary

OCLVMEvaluationVisitorDecorator(IOCLVMEvaluationVisitor decorated)

Method Summary

IOCLVMEvaluationVisitor	createNestedEvaluator() Delegates to my decorated visitor.
void	dispose()
java.lang.Object	evaluate(DomainExpression body) Delegates to my decorated visitor.
java.lang.Object	evaluate(ExpressionInOCL expressionInOCL) Delegates to my decorated visitor.
EvaluationVisitor	getClonedEvaluator() Delegates to my decorated visitor.
EvaluationVisitor	getEvaluator() Delegates to my decorated visitor.
IdResolver	getIdResolver() Delegates to my decorated visitor.
DomainLogger	getLogger() Delegates to my decorated visitor.
MetaModelManager	getMetaModelManager() Delegates to my decorated visitor.
org.eclipse.emf.common.util.Monitor	getMonitor()
java.lang.String	getPluginId()
DomainStandardLibrary	getStandardLibrary() Delegates to my decorated visitor.
DomainType	getStaticTypeOf(java.lang.Object value) Delegates to my decorated visitor.
DomainType	getStaticTypeOf(java.lang.Object value, java.lang.Iterable<?> values) Delegates to my decorated visitor.
DomainType	getStaticTypeOf(java.lang.Object value, java.lang.Object... values) Delegates to my decorated visitor.
boolean	isCanceled() Delegates to my decorated visitor.
java.lang.Object	safeVisit(Visitable v) A null-safe visitation of the specified visitable.
void	setCanceled(boolean isCanceled) Delegates to my decorated visitor.
void	setLogger(DomainLogger loger) Delegates to my decorated visitor.
void	setMonitor(org.eclipse.emf.common.util.Monitor monitor)
java.lang.Object	visiting(Visitable visitable) Delegates to my decorated visitor.

Methods inherited from class org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationVisitorDecorator

getDelegate, getEnvironment, getEvaluationEnvironment, getModelManager, setUndecoratedVisitor, visitAssociationClassCallExp, visitBooleanLiteralExp, visitCollectionItem, visitCollectionLiteralExp, visitCollectionRange, visitConstraint, visitConstructorExp, visitEnumLiteralExp, visitExpressionInOCL, visitIfExp, visitIntegerLiteralExp, visitInvalidLiteralExp, visitLetExp, visitMessageExp, visitNullLiteralExp, visitOperationCallExp, visitOppositePropertyCallExp, visitPropertyCallExp, visitRealLiteralExp, visitStateExp, visitStringLiteralExp, visitTupleLiteralExp, visitTupleLiteralPart, visitTypeExp, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitVariable, visitVariableExp

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

visitAnnotation, visitAnyType, visitAssociationClass, visitBagType, visitBehavior, visitCallExp, visitCallOperationAction, visitClass, visitCollectionLiteralPart, visitCollectionType, visitComment, visitConnectionPointReference, visitConstructorPart, visitDataType, visitDetail, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitFeature, visitFeatureCallExp, visitFinalState, visitImport, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitLambdaType, visitLibrary, visitLiteralExp, visitLoopExp, visitMessageType, visitMetaclass, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNumericLiteralExp, visitOCLExpression, visitOpaqueExpression, visitOperation, visitOperationTemplateParameter, visitOrderedSetType, visitPackage, visitPackageableElement, visitParameter, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPseudostate, visitRegion, visitRoot, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitSignal, visitState, visitStateMachine, visitStereotype, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateParameterType, visitTemplateSignature, visitTransition, visitTrigger, visitTupleType, visitType, visitTypedElement, visitTypedMultiplicityElement, visitTypeExtension, visitTypeTemplateParameter, visitUnspecifiedType, visitValueSpecification, visitVariableDeclaration, visitVertex, visitVoidType

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

getAdapter, 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.pivot.evaluation.EvaluationVisitor

getEnvironment, getEvaluationEnvironment, getModelManager, setUndecoratedVisitor

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

getAdapter, visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitBooleanLiteralExp, visitCallExp, visitCallOperationAction, visitClass, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitCollectionType, visitComment, visitConnectionPointReference, visitConstraint, visitConstructorExp, visitConstructorPart, visitDataType, visitDetail, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitEnumLiteralExp, visitExpressionInOCL, visitFeature, visitFeatureCallExp, visitFinalState, visitIfExp, visitImport, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitLambdaType, visitLetExp, visitLibrary, visitLiteralExp, visitLoopExp, visitMessageExp, visitMessageType, visitMetaclass, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOpaqueExpression, visitOperation, visitOperationCallExp, visitOperationTemplateParameter, visitOppositePropertyCallExp, visitOrderedSetType, visitPackage, visitPackageableElement, visitParameter, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPropertyCallExp, visitPseudostate, visitRealLiteralExp, visitRegion, visitRoot, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitSignal, visitState, visitStateExp, visitStateMachine, visitStereotype, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateParameterType, visitTemplateSignature, visitTransition, visitTrigger, visitTupleLiteralExp, visitTupleLiteralPart, visitTupleType, visitType, visitTypedElement, visitTypedMultiplicityElement, visitTypeExp, visitTypeExtension, visitTypeTemplateParameter, visitUnlimitedNaturalLiteralExp, visitUnspecifiedType, visitUnspecifiedValueExp, visitValueSpecification, visitVariable, visitVariableDeclaration, visitVariableExp, visitVertex, visitVoidType

Methods inherited from interface org.eclipse.ocl.examples.domain.evaluation.DomainEvaluator

getRegexPattern

Constructor Detail

OCLVMEvaluationVisitorDecorator

public OCLVMEvaluationVisitorDecorator(@NonNull
                                       IOCLVMEvaluationVisitor decorated)

Method Detail

createNestedEvaluator

@NonNull
public IOCLVMEvaluationVisitor createNestedEvaluator()

Delegates to my decorated visitor.

Specified by:

createNestedEvaluator in interface IOCLVMEvaluationVisitor

Specified by:

createNestedEvaluator in interface DomainEvaluator

Specified by:

createNestedEvaluator in interface EvaluationVisitor

Overrides:

createNestedEvaluator in class AbstractEvaluationVisitorDecorator<IOCLVMEvaluationVisitor>

dispose

public void dispose()

Specified by:

dispose in interface IOCLVMEvaluationVisitor

Specified by:

dispose in interface DomainEvaluator

evaluate

@Nullable
public java.lang.Object evaluate(@NonNull
                                          DomainExpression body)

Delegates to my decorated visitor.

Specified by:

evaluate in interface DomainEvaluator

Specified by:

evaluate in interface EvaluationVisitor

evaluate

@Nullable
public java.lang.Object evaluate(@NonNull
                                          ExpressionInOCL expressionInOCL)

Delegates to my decorated visitor.

Specified by:

evaluate in interface EvaluationVisitor

getClonedEvaluator

@NonNull
public EvaluationVisitor getClonedEvaluator()

Delegates to my decorated visitor.

Specified by:

getClonedEvaluator in interface IVMEvaluationVisitor<ExpressionInOCL>

getEvaluator

@NonNull
public EvaluationVisitor getEvaluator()

Delegates to my decorated visitor.

Specified by:

getEvaluator in interface EvaluationVisitor

getIdResolver

@NonNull
public IdResolver getIdResolver()

Delegates to my decorated visitor.

Specified by:

getIdResolver in interface DomainEvaluator

getLogger

@Nullable
public DomainLogger getLogger()

Delegates to my decorated visitor.

Specified by:

getLogger in interface DomainEvaluator

getMetaModelManager

@NonNull
public MetaModelManager getMetaModelManager()

Delegates to my decorated visitor.

Specified by:

getMetaModelManager in interface EvaluationVisitor

getMonitor

@Nullable
public org.eclipse.emf.common.util.Monitor getMonitor()

Specified by:

getMonitor in interface EvaluationVisitor

getPluginId

@NonNull
public java.lang.String getPluginId()

Specified by:

getPluginId in interface IVMEvaluationVisitor<ExpressionInOCL>

getStandardLibrary

@NonNull
public DomainStandardLibrary getStandardLibrary()

Delegates to my decorated visitor.

Specified by:

getStandardLibrary in interface DomainEvaluator

Specified by:

getStandardLibrary in interface EvaluationVisitor

getStaticTypeOf

@NonNull
public DomainType getStaticTypeOf(@Nullable
                                          java.lang.Object value)

Delegates to my decorated visitor.

Specified by:

getStaticTypeOf in interface DomainEvaluator

getStaticTypeOf

@NonNull
public DomainType getStaticTypeOf(@Nullable
                                          java.lang.Object value,
                                          @NonNull
                                          java.lang.Object... values)

Delegates to my decorated visitor.

Specified by:

getStaticTypeOf in interface DomainEvaluator

getStaticTypeOf

@NonNull
public DomainType getStaticTypeOf(@Nullable
                                          java.lang.Object value,
                                          @NonNull
                                          java.lang.Iterable<?> values)

Delegates to my decorated visitor.

Specified by:

getStaticTypeOf in interface DomainEvaluator

isCanceled

public boolean isCanceled()

Delegates to my decorated visitor.

Specified by:

isCanceled in interface DomainEvaluator

Specified by:

isCanceled in interface EvaluationVisitor

safeVisit

public java.lang.Object safeVisit(@Nullable
                                  Visitable v)

Description copied from class: AbstractVisitor

A null-safe visitation of the specified visitable.

Specified by:

safeVisit in interface IOCLVMEvaluationVisitor

Overrides:

safeVisit in class AbstractVisitor<java.lang.Object,java.lang.Object>

Parameters:

v - a visitable, or null

Returns:

null if the visitable is null; otherwise, the result of visiting it

setCanceled

public void setCanceled(boolean isCanceled)

Delegates to my decorated visitor.

Specified by:

setCanceled in interface DomainEvaluator

Specified by:

setCanceled in interface EvaluationVisitor

setLogger

public void setLogger(@Nullable
                      DomainLogger loger)

Delegates to my decorated visitor.

Specified by:

setLogger in interface DomainEvaluator

setMonitor

public void setMonitor(@Nullable
                       org.eclipse.emf.common.util.Monitor monitor)

Specified by:

setMonitor in interface EvaluationVisitor

visiting

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

Delegates to my decorated visitor.

Specified by:

visiting in interface Visitor<java.lang.Object>

Overrides:

visiting in class AbstractEvaluationVisitorDecorator<IOCLVMEvaluationVisitor>