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

java.lang.Object
  org.eclipse.ocl.examples.pivot.util.AbstractVisitor<R,C>
      org.eclipse.ocl.examples.pivot.util.AbstractWrappingVisitor<java.lang.Object,java.lang.Object,IOCLVMEvaluationVisitor,Element>
          org.eclipse.ocl.examples.debug.evaluator.OCLVMEvaluationVisitor
              org.eclipse.ocl.examples.debug.evaluator.OCLVMNestedEvaluationVisitor

All Implemented Interfaces:

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

public class OCLVMNestedEvaluationVisitor
extends OCLVMEvaluationVisitor

Field Summary

protected int	depth
protected OCLVMEvaluationVisitor	parent
protected OCLVMRootEvaluationVisitor	root

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

delegate

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

context

Constructor Summary

protected

OCLVMNestedEvaluationVisitor(OCLVMEvaluationVisitor parent, IOCLVMEvaluationVisitor nestedEvaluationVisitor)

Method Summary

protected java.lang.Object	badVisit(IVMEvaluationEnvironment<?> evalEnv, Element element, java.lang.Object preState, java.lang.Throwable e)
void	dispose()
int	getDepth()
OCLVMRootEvaluationVisitor	getRootEvaluationVisitor()
protected void	postVisit(IVMEvaluationEnvironment<?> evalEnv, Element element, java.lang.Object result)
protected Element	preVisit(IVMEvaluationEnvironment<?> evalEnv, Element element)

Methods inherited from class org.eclipse.ocl.examples.debug.evaluator.OCLVMEvaluationVisitor

badVisit, createNestedEvaluator, evaluate, evaluate, getClonedEvaluator, getEnvironment, getEvaluationEnvironment, getEvaluator, getIdResolver, getLogger, getMetaModelManager, getModelManager, getMonitor, getPluginId, getRegexPattern, getStandardLibrary, getStaticTypeOf, getStaticTypeOf, getStaticTypeOf, isCanceled, postVisit, preVisit, processDeferredTasks, setCanceled, setCurrentEnvInstructionPointer, setLogger, setMonitor, setUndecoratedVisitor, superProcessDeferredTasks, toString, visitVariable

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

getDelegate, 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, visiting, 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, visitVariableDeclaration, visitVariableExp, visitVertex, visitVoidType

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

getAdapter, safeVisit, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.debug.evaluator.IOCLVMEvaluationVisitor

safeVisit

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, visiting, 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, visitVariableDeclaration, visitVariableExp, visitVertex, visitVoidType

Field Detail

root

@NonNull
protected final OCLVMRootEvaluationVisitor root

parent

@NonNull
protected final OCLVMEvaluationVisitor parent

depth

protected final int depth

Constructor Detail

OCLVMNestedEvaluationVisitor

protected OCLVMNestedEvaluationVisitor(@NonNull
                                       OCLVMEvaluationVisitor parent,
                                       @NonNull
                                       IOCLVMEvaluationVisitor nestedEvaluationVisitor)

Method Detail

badVisit

@Nullable
protected java.lang.Object badVisit(@NonNull
                                             IVMEvaluationEnvironment<?> evalEnv,
                                             @NonNull
                                             Element element,
                                             java.lang.Object preState,
                                             @NonNull
                                             java.lang.Throwable e)

Specified by:

badVisit in class OCLVMEvaluationVisitor

dispose

public void dispose()

getDepth

public int getDepth()

Specified by:

getDepth in class OCLVMEvaluationVisitor

getRootEvaluationVisitor

@NonNull
public OCLVMRootEvaluationVisitor getRootEvaluationVisitor()

Specified by:

getRootEvaluationVisitor in class OCLVMEvaluationVisitor

postVisit

protected void postVisit(@NonNull
                         IVMEvaluationEnvironment<?> evalEnv,
                         @NonNull
                         Element element,
                         @Nullable
                         java.lang.Object result)

Specified by:

postVisit in class OCLVMEvaluationVisitor

preVisit

@Nullable
protected Element preVisit(@NonNull
                                    IVMEvaluationEnvironment<?> evalEnv,
                                    @NonNull
                                    Element element)

Specified by:

preVisit in class OCLVMEvaluationVisitor