Eclipse Community Forums: OCL » Validation of OCL Constraints programmatically outside Eclipse

Home » Modeling » OCL » Validation of OCL Constraints programmatically outside Eclipse

Validation of OCL Constraints programmatically outside Eclipse [message #557674]

Wed, 08 September 2010 09:45

Eclipse User

I have an ecore model with OCL invariants inside which I created using the OCLinEcore editor.

Now, i wanted to validate them using the EMF Validation Framework.

But they are not executed as no error occurs.

My Validation Code:

List<EObject> objects = resource.getContents(); // objects to validate
		// create a validator
		IValidator validator = ModelValidationService.getInstance().newValidator(EvaluationMode.BATCH);
		// use it!
		IStatus results = validator.validate(objects);

		if (!results.isOK()) {
			mismatchDescription.appendText(results.getMessage());
			return false;
		}
		
		return true;

any ideas how to enable validation also for OCL invariants? I know that a validation class was generated using the genmodel generate options. But I haven't found information how to link these validators to the emf validation framework.

Best regards,
Simon

Re: Validation of OCL Constraints programmatically outside Eclipse [message #557739 is a reply to message #557674]

Wed, 08 September 2010 12:19

Eclipse User

Hi Simon

I've answered this imminent FAQ by adding a registration section to the
end of http://wiki.eclipse.org/MDT/OCLinEcore Please report any bugs.

Regards

Ed Willink

On 08/09/2010 14:45, Simon harrer wrote:
> I have an ecore model with OCL invariants inside which I created using
> the OCLinEcore editor.
> Now, i wanted to validate them using the EMF Validation Framework.
> But they are not executed as no error occurs.
> My Validation Code:
>
> List<EObject> objects = resource.getContents(); // objects to validate
> // create a validator
> IValidator validator =
> ModelValidationService.getInstance().newValidator(Evaluation Mode.BATCH);
> // use it!
> IStatus results = validator.validate(objects);
>
> if (!results.isOK()) {
> mismatchDescription.appendText(results.getMessage());
> return false;
> }
>
> return true;
>
>
> any ideas how to enable validation also for OCL invariants? I know that
> a validation class was generated using the genmodel generate options.
> But I haven't found information how to link these validators to the emf
> validation framework.
> Best regards,
> Simon

Previous Topic:	Some OCL beginner questions
Next Topic:	M2M/QVTd OCL editor

Goto Forum:

-=] Back to Top [=-

Current Time: Fri Jul 18 13:32:27 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter