Eclipse Community Forums: OCL » validate constraints added to profile

Home » Modeling » OCL » validate constraints added to profile

validate constraints added to profile [message #22472]

Wed, 09 May 2007 23:46

Eclipse User

Originally posted by: asma.charfi.com

hi
I spcify some constraints in my profile (on stereotypes) and I want to
verify if the model which apply this profile respect these constraints
Ii installed emft (validation, transaction...) and tried to follow the
tutorial but it deals with adding constraints to metamodel and not to a
profile
how can I do ?
thank you for your help

Re: validate constraints added to profile [message #22560 is a reply to message #22472]

Wed, 09 May 2007 15:13

Eclipse User

Originally posted by: cdamus.ca.ibm.com

Hi, Charfi,

The latest integration build of OCL 1.1 (and the M7 milestone building
coming tomorrow) has enhancements to the Interactive OCL Console example
plug-in that should help you to validate your constraints.

If you are using the basic UML2 editor to create your profile, you can (with
the console example installed) use the "Show OCL Console" action in the
context menu to open the OCL console. Switch the console to "M1" mode
(targeting your UML model, not the metamodel), select your stereotype, and
enter the constraint in the bottom panel of the console. The results of
parsing it (either success or some error message) will be shown in the top
panel of the console.

See the Examples Guide in the OCL on-line help for details of how to install
and use this example.

You might also ask on the MDT UML2Tools project newsgroup
(eclipse.modeling.mdt.uml2tools) to ask whether they have any OCL
validation support.

HTH,

Christian

charfi asma wrote:

> hi
> I spcify some constraints in my profile (on stereotypes) and I want to
> verify if the model which apply this profile respect these constraints
> Ii installed emft (validation, transaction...) and tried to follow the
> tutorial but it deals with adding constraints to metamodel and not to a
> profile
> how can I do ?
> thank you for your help

Re: validate constraints added to profile [message #23198 is a reply to message #22560]

Wed, 16 May 2007 02:50

Eclipse User

Originally posted by: asma.charfi.com

hi,

the "Show OCL Console" appear only in the model "extlibrary" using the
org.eclipse.emf.ocl.examples.interpreter

I tried to use this plugin to have my OCL console in the employee model but
it did not work.
how can I obtein the OCL console?

in the OCL's Help "EMFT OCL Developer Guide->Tutorials->OCL interpreter
Example, there was Query that we should create :
"boolean valid;

try {
Query query = QueryFactory.eINSTANCE.createQuery(
"self.books->collect(b : Book | b.category)->asSet()",
LibraryPackage.eINSTANCE.getWriter());

// record success
valid = true;
} catch (IllegalArgumentException e) {
// record failure to parse
valid = false;
System.err.println(e.getLocalizedMessage());
}" where did we should create this query (in witch file)?thank you in
advanceasma"Christian W. Damus" <cdamus@ca.ibm.com> a

Re: validate constraints added to profile [message #23541 is a reply to message #23198]

Wed, 16 May 2007 09:26

Eclipse User

Originally posted by: cdamus.ca.ibm.com

Hi, Asma,

The "Show OCL Console" menu on the UML and Ecore model editors is new in the
OCL 1.1 M7 milestone.

It sounds like you are using OCL 1.0.x, from the reference to "EMFT OCL" in
the help documentation. In that case, you can open the Console view using
the "Window -> Show View..." menu. Then, pull down the "Open Console" menu
button in the console view's action bar and select the "Interactive OCL"
option to open the console in any editor context.

Cheers,

Christian

charfi asma wrote:

> hi,
>
> the "Show OCL Console" appear only in the model "extlibrary" using the
> org.eclipse.emf.ocl.examples.interpreter
>
> I tried to use this plugin to have my OCL console in the employee model
> but it did not work.
> how can I obtein the OCL console?
>
> in the OCL's Help "EMFT OCL Developer Guide->Tutorials->OCL interpreter
> Example, there was Query that we should create :
> "boolean valid;
>
> try {
> Query query = QueryFactory.eINSTANCE.createQuery(
> "self.books->collect(b : Book | b.category)->asSet()",
> LibraryPackage.eINSTANCE.getWriter());
>
> // record success
> valid = true;
> } catch (IllegalArgumentException e) {
> // record failure to parse
> valid = false;
> System.err.println(e.getLocalizedMessage());
> }" where did we should create this query (in witch file)?thank you in
> advanceasma"Christian W. Damus" <cdamus@ca.ibm.com> a �rit dans le message
> de news: f1t6fl$4cf$1@build.eclipse.org...

Previous Topic:	Re: integrating ocl with emf
Next Topic:	compilation phases

Goto Forum:

-=] Back to Top [=-

Current Time: Wed May 07 15:13:47 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter