Eclipse Community Forums: OCL » How to execute OCL constraint?

Help

Home

Home » Modeling » OCL » How to execute OCL constraint?

Show: Today's Messages :: Show Polls :: Message Navigator

How to execute OCL constraint? [message #1058297]

Mon, 13 May 2013 13:43

Kosala Yapa

Messages: 159
Registered: September 2010

Senior Member

Hi,

I created an OCL constraint:

// create OCL instance for Ecore
OCL ocl = OCL.newInstance(EcoreEnvironmentFactory.INSTANCE);

// create OCL helper
OCLHelper<EClassifier, EOperation, EStructuralFeature, Constraint> helper = ocl
.createOCLHelper();

// set OCL context classifier
helper.setContext(ModelPackage.Literals.DEVICE);

Constraint invariant = helper.createInvariant("Modules.allInstances()->size()>=20");

How to execute this invariant nw?

Any help is appreciated.

Thanks
Kosala

Report message to a moderator

Re: How to execute OCL constraint? [message #1058313 is a reply to message #1058297]

Mon, 13 May 2013 14:31

Kosala Yapa

Messages: 159
Registered: September 2010

Senior Member

Hi,
Boolean res = false;

// create OCL instance for Ecore
OCL ocl = OCL.newInstance(EcoreEnvironmentFactory.INSTANCE);

// create OCL helper
OCLHelper<EClassifier, EOperation, EStructuralFeature, Constraint> helper = ocl
.createOCLHelper();

// set OCL context classifier
helper.setContext(ModelPackage.Literals.DEVICE);

102 Constraint invariant = helper.createInvariant("self.Modules.number <= 20");

Query eval = ocl.createQuery(invariant);
res = (Boolean) eval.evaluate(device);

This gives an error at line 102: Exception in thread "main" java.lang.AbstractMethodError: org.eclipse.ocl.ecore.impl.IntegerLiteralExpImpl.setLongSymbol(Ljava/lang/Long;)V

any help is appreciated.

cheers,

Report message to a moderator

Previous Topic:	createQuery() takes a considerable time?
Next Topic:	How to read an OCL query and pass to an OCLExpression ?

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Wed Apr 24 22:10:18 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter