public class PartialEvaluationVisitorImplNoAllInstances extends PartialEvaluationVisitorImpl
ValueNotFoundException
as already done by the superclass,
this implementation also throws a NoAllInstancesDuringEvaluationForUnusedCheck
exception
in case an allInstances()
call is to be evaluated.result
Constructor and Description |
---|
PartialEvaluationVisitorImplNoAllInstances(Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> env,
EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> evalEnv,
java.util.Map<? extends org.eclipse.emf.ecore.EClass,? extends java.util.Set<? extends org.eclipse.emf.ecore.EObject>> extentMap,
OCLExpression sourceExpression,
java.lang.Object valueOfSourceExpression,
org.eclipse.emf.common.notify.Notification atPre) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
visitExpression(OCLExpression<org.eclipse.emf.ecore.EClassifier> expression)
Does the same as the
AbstractEvaluationVisitor implementation but additionally catches the
ValueNotFoundException and in that case passes on the exception instead of turning it into an OclInvalid
value. |
java.lang.Object |
visitOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> oc)
Callback for an OperationCallExp visit.
|
getAtPre, getEvaluationEnvironment, getSourceExpression, getValueOfSourceExpression, safeVisitExpression, setSourceExpression, visitAssociationClassCallExp, visitBooleanLiteralExp, visitCollectionLiteralExp, visitEnumLiteralExp, visitIfExp, visitIntegerLiteralExp, visitInvalidLiteralExp, visitIterateExp, visitIteratorExp, visitLetExp, visitMessageExp, visitNullLiteralExp, visitOppositePropertyCallExp, visitPropertyCallExp, visitRealLiteralExp, visitStateExp, visitStringLiteralExp, visitTupleLiteralExp, visitTypeExp, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitVariableExp
getOperationBody, getPropertyBody
createRegexCache, createTypeChecker, getRegexMatcher, visitTupleLiteralPart, visitVariable
call, coerceNumber, getBoolean, getEnvironment, getExtentMap, getInteger, getInvalid, getName, getReal, getSpecification, getStandardLibrary, getString, getUMLReflection, getUnlimitedNatural, getVisitor, higherPrecisionNumber, isLaxNullHandling, isUndefined, navigate, oclIsKindOf, oclIsTypeOf, setEvaluationEnvironment, toString, visitConstraint
handleAssociationClassCallExp, handleCollectionItem, handleCollectionLiteralExp, handleCollectionRange, handleConstraint, handleExpressionInOCL, handleIfExp, handleIterateExp, handleIteratorExp, handleLetExp, handleMessageExp, handleOperationCallExp, handlePropertyCallExp, handleTupleLiteralExp, handleTupleLiteralPart, handleVariable, safeVisit, visitCollectionItem, visitCollectionRange, visitExpressionInOCL
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
visitCollectionItem, visitCollectionRange, visitExpressionInOCL
public PartialEvaluationVisitorImplNoAllInstances(Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> env, EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> evalEnv, java.util.Map<? extends org.eclipse.emf.ecore.EClass,? extends java.util.Set<? extends org.eclipse.emf.ecore.EObject>> extentMap, OCLExpression sourceExpression, java.lang.Object valueOfSourceExpression, org.eclipse.emf.common.notify.Notification atPre)
atPre
- a Notification
object such that an evaluation will be based on the state *before* the notification. For
example, if the notification indicates the removal of a reference from an element e1 to an element
e2 across reference r then when during partial evaluation r is traversed starting
from e1 then e2 will show in the results although in the current version of the model it would
not. If null, the evaluator will evaluate expressions on the model as is.public java.lang.Object visitOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> oc)
EvaluationVisitorImpl
visitOperationCallExp
in interface Visitor<java.lang.Object,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint>
visitOperationCallExp
in class PartialEvaluationVisitorImpl
public java.lang.Object visitExpression(OCLExpression<org.eclipse.emf.ecore.EClassifier> expression)
AbstractEvaluationVisitor
implementation but additionally catches the
ValueNotFoundException
and in that case passes on the exception instead of turning it into an OclInvalid
value.visitExpression
in interface EvaluationVisitor<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>
visitExpression
in class PartialEvaluationVisitorImpl
expression
- an OCL expression to evaluate