Eclipse Community Forums: OCL » Calling an EMF Java function from OCL constraint

Home » Modeling » OCL » Calling an EMF Java function from OCL constraint(OCL invariant constraint fails to evaluate because it calls an EMF Java function)

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

Calling an EMF Java function from OCL constraint [message #1847976]

Mon, 15 November 2021 22:37

Hyacinth Ali

Messages: 4
Registered: January 2020

Junior Member

Assuming that I have an Ecore meta-class "Foo", with a function "isFoo()". The body of the function is "return true". My OCL invariant constraint

if isFoo() then
    true
else
    false
endif

always fail to evaluate the generated Java function "isFoo()". Meanwhile, I followed the OCL guide (https://wiki.eclipse.org/OCL/OCLinEcore) to register OCL delegates as shown below, yet the problem persists.

mport org.eclipse.emf.ecore.EOperation;
import org.eclipse.emf.ecore.EStructuralFeature;
import org.eclipse.emf.ecore.EValidator;
import org.eclipse.ocl.ecore.delegate.OCLDelegateDomain;
import org.eclipse.ocl.ecore.delegate.OCLInvocationDelegateFactory;
import org.eclipse.ocl.ecore.delegate.OCLSettingDelegateFactory;
import org.eclipse.ocl.ecore.delegate.OCLValidationDelegateFactory;

String oclDelegateURI = OCLDelegateDomain.OCL_DELEGATE_URI;
EOperation.Internal.InvocationDelegate.Factory.Registry.INSTANCE.put(oclDelegateURI,
	new OCLInvocationDelegateFactory.Global());
EStructuralFeature.Internal.SettingDelegate.Factory.Registry.INSTANCE.put(oclDelegateURI,
	new OCLSettingDelegateFactory.Global());
EValidator.ValidationDelegate.Registry.INSTANCE.put(oclDelegateURI,
	new OCLValidationDelegateFactory.Global());

My question is there anything I am missing or I am applying an inappropriate approach to use the helper function in my OCL constraint? Suggestion(s) with minimal a example(s) is highly appreciated.

Report message to a moderator

Re: Calling an EMF Java function from OCL constraint [message #1847981 is a reply to message #1847976]

Tue, 16 November 2021 05:54

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

You present a filleted half-of-the-story so it is impossible to see what you are wrongly assuming. I can only comment that there is a huge amount missing. e.g. a leading "i" in the first import and package/class/function declarations in the Java, and a context in the OCL.
You need to provide something much closer to a repro. See https://wiki.eclipse.org/OCL/ForumNetiquette

Regards

Ed Willink

Report message to a moderator

Re: Calling an EMF Java function from OCL constraint [message #1848073 is a reply to message #1847981]

Fri, 19 November 2021 03:57

Hyacinth Ali

Messages: 4
Registered: January 2020

Junior Member

Hi,

Thanks for this detailed response as well as a guide on how to better present the problem. Meanwhile, while I was trying to provide more details for the question, I discovered a bug in my code. Consequently, fixing the bug solved the problem.

Thanks for the quick response!

Report message to a moderator

Previous Topic:	OCL expression not evaluated
Next Topic:	Getting invalid for the evaluation of OCL on XMI

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sun May 05 09:06:19 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter