org.eclipse.ocl.examples.debug.delegate

Class OCLValidationDelegate

java.lang.Object

org.eclipse.ocl.examples.debug.delegate.OCLValidationDelegate

All Implemented Interfaces:

ValidationDelegate, ValidationDelegateExtension

public class OCLValidationDelegate
extends Object
implements ValidationDelegate

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

Nested Class Summary

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

ValidationDelegate.Factory

Constructor Summary

Constructors

Constructor and Description
OCLValidationDelegate(OCLDelegateDomain delegateDomain, EClassifier classifier) Initializes me with the classifier whose DelegateEClassifierAdapter delegates to me.

Method Summary

Modifier and Type	Method and Description
ExpressionInOCL	getExpressionInOCL(MetamodelManager metamodelManager, Constraint constraint)
String	toString()
boolean	validate(EClass eClass, EObject eObject, DiagnosticChain diagnostics, Map<Object,Object> context, EOperation invariant, String expression, int severity, String source, int code) Evaluates the given constraint expression against the object in the given context.
boolean	validate(EClass eClass, EObject eObject, DiagnosticChain diagnostics, Map<Object,Object> context, String constraintName, String expression, int severity, String source, int code) Evaluates the given constraint expression against the object in the given context.
boolean	validate(EClass eClass, EObject eObject, Map<Object,Object> context, EOperation invariant, String expression)
boolean	validate(EClass eClass, EObject eObject, Map<Object,Object> context, String constraintName, String expression)
boolean	validate(EDataType eDataType, Object value, DiagnosticChain diagnostics, Map<Object,Object> context, String constraintName, String expression, int severity, String source, int code) Evaluates the given constraint expression against the object in the given context.
boolean	validate(EDataType eDataType, Object value, Map<Object,Object> context, String constraintName, String expression)

Methods inherited from class java.lang.Object

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

Constructor Detail

OCLValidationDelegate

public OCLValidationDelegate(OCLDelegateDomain delegateDomain,
                             EClassifier classifier)

Initializes me with the classifier whose DelegateEClassifierAdapter delegates to me.

Parameters:

classifier - my classifier

Method Detail

getExpressionInOCL

public ExpressionInOCL getExpressionInOCL(MetamodelManager metamodelManager,
                                          Constraint constraint)

toString

public String toString()

Overrides:

toString in class Object

validate

public boolean validate(EClass eClass,
                        EObject eObject,
                        Map<Object,Object> context,
                        EOperation invariant,
                        String expression)

validate

public boolean validate(EClass eClass,
                        EObject eObject,
                        DiagnosticChain diagnostics,
                        Map<Object,Object> context,
                        EOperation invariant,
                        String expression,
                        int severity,
                        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(EClass eClass,
                        EObject eObject,
                        Map<Object,Object> context,
                        String constraintName,
                        String expression)

validate

public boolean validate(EClass eClass,
                        EObject eObject,
                        DiagnosticChain diagnostics,
                        Map<Object,Object> context,
                        String constraintName,
                        String expression,
                        int severity,
                        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(EDataType eDataType,
                        Object value,
                        Map<Object,Object> context,
                        String constraintName,
                        String expression)

validate

public boolean validate(EDataType eDataType,
                        Object value,
                        DiagnosticChain diagnostics,
                        Map<Object,Object> context,
                        String constraintName,
                        String expression,
                        int severity,
                        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.