org.eclipse.ocl.examples.pivot.delegate
Class OCLValidationDelegate

java.lang.Object
  org.eclipse.ocl.examples.pivot.delegate.OCLValidationDelegate

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator.ValidationDelegate, ValidationDelegate, ValidationDelegateExtension

public class OCLValidationDelegate
extends java.lang.Object
implements ValidationDelegate

An implementation of the dynamic validation delegate API, maintaining a cache of compiled constraints and invariants.

Since:

3.0

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.examples.pivot.delegate.ValidationDelegate

ValidationDelegate.Factory

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator.ValidationDelegate

org.eclipse.emf.ecore.EValidator.ValidationDelegate.Descriptor, org.eclipse.emf.ecore.EValidator.ValidationDelegate.Registry

Field Summary

protected OCLDelegateDomain	delegateDomain
protected org.eclipse.emf.ecore.EClassifier	eClassifier

Constructor Summary

OCLValidationDelegate(OCLDelegateDomain delegateDomain, org.eclipse.emf.ecore.EClassifier classifier)
Initializes me with the classifier whose DelegateEClassifierAdapter delegates to me.

Method Summary

protected boolean	check(EvaluationVisitor evaluationVisitor, java.lang.String constraintName, ExpressionInOcl query)
EvaluationEnvironment	createEvaluationEnvironment(java.lang.Object object, ExpressionInOcl query, EnvironmentFactory environmentFactory)
EvaluationVisitor	createEvaluationVisitor(java.lang.Object object, ExpressionInOcl query)
protected java.lang.String	evaluateMessage(EvaluationVisitor evaluationVisitor, java.lang.String constraintName, ExpressionInOcl query)
java.lang.String	toString()
boolean	validate(org.eclipse.emf.ecore.EClass eClass, org.eclipse.emf.ecore.EObject eObject, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context, java.lang.String constraintName, java.lang.String expression, int severity, java.lang.String source, int code) Evaluates the given constraint expression against the object in the given context.
boolean	validate(org.eclipse.emf.ecore.EClass eClass, org.eclipse.emf.ecore.EObject eObject, java.util.Map<java.lang.Object,java.lang.Object> context, org.eclipse.emf.ecore.EOperation invariant, java.lang.String expression)
boolean	validate(org.eclipse.emf.ecore.EClass eClass, org.eclipse.emf.ecore.EObject eObject, java.util.Map<java.lang.Object,java.lang.Object> context, java.lang.String constraintName, java.lang.String expression)
boolean	validate(org.eclipse.emf.ecore.EDataType eDataType, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context, java.lang.String constraintName, java.lang.String expression, int severity, java.lang.String source, int code) Evaluates the given constraint expression against the value in the given context.
boolean	validate(org.eclipse.emf.ecore.EDataType eDataType, java.lang.Object value, java.util.Map<java.lang.Object,java.lang.Object> context, java.lang.String constraintName, java.lang.String expression)
protected boolean	validateExpressionInOcl(org.eclipse.emf.ecore.EClassifier eClassifier, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context, java.lang.String constraintName, java.lang.String source, int code, ExpressionInOcl query)
protected boolean	validatePivot(org.eclipse.emf.ecore.EClassifier eClassifier, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context, java.lang.String constraintName, java.lang.String source, int code)

Methods inherited from class java.lang.Object

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

Field Detail

delegateDomain

protected final OCLDelegateDomain delegateDomain

eClassifier

protected final org.eclipse.emf.ecore.EClassifier eClassifier

Constructor Detail

OCLValidationDelegate

public OCLValidationDelegate(OCLDelegateDomain delegateDomain,
                             org.eclipse.emf.ecore.EClassifier classifier)

Initializes me with the classifier whose DelegateEClassifierAdapter delegates to me.

Parameters:

classifier - my classifier

Method Detail

createEvaluationVisitor

public EvaluationVisitor createEvaluationVisitor(java.lang.Object object,
                                                 ExpressionInOcl query)

createEvaluationEnvironment

public EvaluationEnvironment createEvaluationEnvironment(java.lang.Object object,
                                                         ExpressionInOcl query,
                                                         EnvironmentFactory environmentFactory)

evaluateMessage

protected java.lang.String evaluateMessage(EvaluationVisitor evaluationVisitor,
                                           java.lang.String constraintName,
                                           ExpressionInOcl query)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

validate

public boolean validate(org.eclipse.emf.ecore.EClass eClass,
                        org.eclipse.emf.ecore.EObject eObject,
                        java.util.Map<java.lang.Object,java.lang.Object> context,
                        org.eclipse.emf.ecore.EOperation invariant,
                        java.lang.String expression)

Specified by:

validate in interface org.eclipse.emf.ecore.EValidator.ValidationDelegate

validate

public boolean validate(org.eclipse.emf.ecore.EClass eClass,
                        org.eclipse.emf.ecore.EObject eObject,
                        java.util.Map<java.lang.Object,java.lang.Object> context,
                        java.lang.String constraintName,
                        java.lang.String expression)

Specified by:

validate in interface org.eclipse.emf.ecore.EValidator.ValidationDelegate

validate

public boolean validate(org.eclipse.emf.ecore.EDataType eDataType,
                        java.lang.Object value,
                        java.util.Map<java.lang.Object,java.lang.Object> context,
                        java.lang.String constraintName,
                        java.lang.String expression)

Specified by:

validate in interface org.eclipse.emf.ecore.EValidator.ValidationDelegate

validate

public boolean validate(org.eclipse.emf.ecore.EClass eClass,
                        org.eclipse.emf.ecore.EObject eObject,
                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                        java.util.Map<java.lang.Object,java.lang.Object> context,
                        java.lang.String constraintName,
                        java.lang.String expression,
                        int severity,
                        java.lang.String source,
                        int code)

Description copied from interface: ValidationDelegateExtension

Evaluates the given constraint expression against the object in the given context.

Specified by:

validate in interface ValidationDelegateExtension

Returns:

the result of the expression evaluation.

validate

public boolean validate(org.eclipse.emf.ecore.EDataType eDataType,
                        java.lang.Object value,
                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                        java.util.Map<java.lang.Object,java.lang.Object> context,
                        java.lang.String constraintName,
                        java.lang.String expression,
                        int severity,
                        java.lang.String source,
                        int code)

Description copied from interface: ValidationDelegateExtension

Evaluates the given constraint expression against the value in the given context.

Specified by:

validate in interface ValidationDelegateExtension

Returns:

the result of the expression evaluation.

validatePivot

protected boolean validatePivot(org.eclipse.emf.ecore.EClassifier eClassifier,
                                java.lang.Object value,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context,
                                java.lang.String constraintName,
                                java.lang.String source,
                                int code)

check

protected boolean check(EvaluationVisitor evaluationVisitor,
                        java.lang.String constraintName,
                        ExpressionInOcl query)

validateExpressionInOcl

protected boolean validateExpressionInOcl(org.eclipse.emf.ecore.EClassifier eClassifier,
                                          java.lang.Object value,
                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                          java.util.Map<java.lang.Object,java.lang.Object> context,
                                          java.lang.String constraintName,
                                          java.lang.String source,
                                          int code,
                                          ExpressionInOcl query)