Eclipse Community Forums: OCL » enabling OCL to parse user definded functions

Home » Modeling » OCL » enabling OCL to parse user definded functions

enabling OCL to parse user definded functions [message #1083851]

Sat, 10 August 2013 12:04

Eclipse User

Hey,

I could use some more detailed advice on how to add additional Arithmetic functions to the Eclipse ocl. Currently i am parsing OCL Expressions with some arithmetic constraints and i want OCL also to parse the Expression x^y or sin(y). As i already saw the easyest way seems to be an completeOCL document defining those functios and then loading the complete ocl document in addition to the model. But how do i have to specify such globaly available functions can somebody provide an example?

thanks in advance
Felix

Re: enabling OCL to parse user definded functions [message #1083877 is a reply to message #1083851]

Sat, 10 August 2013 12:55

Eclipse User

Hi

The lack of a maths library for OCL is longstanding, and the
difficulties of providing domain libraries is one of my motivations for
modeling the OCL Standard Library so that extensions can reuse its
modeling capabilities.

Clean library extensions are potentially straightforward

context Real
def: sin() : Real ....

supporting usage as

myNumber.sin()

If you want to avoid the need for prefixes, you could have a bogus self

context OclAny
def: sin(x : Real) : Real ....

supporting usage as

sin(myNumber) or rather self.sin(myNumber)

If you want additional lexical operators, that is much harder. "^" is
particularly hard since it has already been allocated to an OclMessage
operation.

If you are seriously interested in pursuing this have a look at

GIT\org.eclipse.ocl\examples\org.eclipse.ocl.examples.library\model\OCL-2.4.oclstdlib

where you can see the "=>" redirections to Java operations that I'm sure
you will want for sin/pow/....

Regards

Ed Willink

On 10/08/2013 17:04, felix Kurth wrote:
> Hey,
>
> I could use some more detailed advice on how to add additional
> Arithmetic functions to the Eclipse ocl. Currently i am parsing OCL
> Expressions with some arithmetic constraints and i want OCL also to
> parse the Expression x^y or sin(y). As i already saw the easyest way
> seems to be an completeOCL document defining those functios and then
> loading the complete ocl document in addition to the model. But how do
> i have to specify such globaly available functions can somebody
> provide an example?
>
> thanks in advance
> Felix

Re: enabling OCL to parse user definded functions [message #1084412 is a reply to message #1083877]

Sun, 11 August 2013 09:48

Eclipse User

Thank you very much Ed. I am still having some troubles. Can you give some more advice on them?

I had produced a file named "math.ocl" with the content:

context OclAny
def: sin(x : Real) : Real

The editor reported a Syntaxerror "no viable alternative at input 'context'" and when loading it into the UML Model via load Complete OCL Resource I get the Message no viable alternative at input 'OclAny'.
then i tried adding the org.eclipse.ocl\examples\org.eclipse.ocl.examples.library to my workspace and added the declaration

	operation "pow"(object2 : OclSelf) : Real precedence=UNARY ;
	operation "sin()"() : Real precedence=UNARY;

directly after

type Real : PrimitiveType conformsTo OclComparable, OclSummable {
	annotation '...'(ClassGroup='Primitive');

In another Plugin Project in my Workspace I have got the follwing peace of Code:

import org.eclipse.ocl.uml.OCL;
import org.eclipse.ocl.uml.OCL.Helper;
import org.eclipse.uml2.uml.Class;
import org.eclipse.uml2.uml.Operation;

...
OCL ocl;
ocl = OCL.newInstance();
Helper helper = ocl.createOCLHelper();

ResourceSet resourceSet = new ResourceSetImpl();
UMLResourcesUtil.init(resourceSet); // MDT/UML2 4.0.0 (Juno)
Resource resource = resourceSet.createResource(URI
				.createFileURI("../umlModels/AcademicProblems/model.uml"));
try {
     resource.load(null);
} catch (IOException ioe) {}
...
Class umlClas = ...;
Operation umlOp = ...;
helper.setOperationContext(umlClas, umlOp);
try {
   helper.createPostcondition("x=y pow z");
} catch (ParserException e) {}

what else will i now have to do in order to make the call to createPostcondition succeed? Am I on the right Track?

Re: enabling OCL to parse user definded functions [message #1085707 is a reply to message #1084412]

Tue, 13 August 2013 04:52

Eclipse User

Hi

You need a package, and since OclAny is a built-in name you need to
escape it.

package ocl

context _'OclAny'
def: sin(x : Real) : Real = 0

endpackage

Regards

Ed Willink

On 11/08/2013 14:48, felix Kurth wrote:
> context OclAny
> def: sin(x : Real) : Real

Previous Topic:	Visiting expression from SpecificationCS
Next Topic:	Error messages of the Audit Rule not shown!!!!

Goto Forum:

-=] Back to Top [=-

Current Time: Wed Jul 23 15:37:06 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter