Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » Re: Running EMFT-OCL
Re: Running EMFT-OCL [message #33737] Mon, 23 July 2007 08:00 Go to next message
Eclipse User
Originally posted by: merks.ca.ibm.com

Roni,

It's best to use the OCL newsgroup, which I've added to the "to" list of
the reply so you can continue to use this thread.


Roni Burd wrote:
> Hi, not sure this question is in the newsgroup, but here goes:
>
> I was trying to get the OCL validation example running with EMF. I created
> the new 'OCL Example' project and got all 4 projects (mode, edit, editor,
> and a new OCL). When I run the project thought I don't see the validation
> working (neither if I put a breakpoint in my code)
>
> I've built with -clean option to see if there was any issues but apparently
> not. This is just a baby step I'm stuck with, but I could still use a hand.
>
> Thanks
>
>
>
Re: Running EMFT-OCL [message #33770 is a reply to message #33737] Mon, 23 July 2007 09:48 Go to previous messageGo to next message
Eclipse User
Originally posted by: cdamus.ca.ibm.com

Hi, Roni,

Are you using OCL 1.0.x (EMFT OCL) or 1.1 (MDT OCL)? If the former, then
this example plug-in defines two constraints: one requires that a Book
have an author and the other that a Writer must not have books in more than
two categories (much contrived, yes). In the 1.1 release, there is
additionally a constraint requiring that a Library not contain any Writers
that have no books.

Are you sure that you have a Library instance that violates any of these
constraints? When you select your Library and invoke "Validation ->
Validate Elements..." in the context menu, do you see any messages written
to the workspace log that indicate malfunction? Are you certain that these
example projects (in your workspace) are included in the configuration of
your run-time workbench (in the Plugins tab of the launch config dialog)?

Cheers,

Christian


Ed Merks wrote:

> Roni,
>
> It's best to use the OCL newsgroup, which I've added to the "to" list of
> the reply so you can continue to use this thread.
>
>
> Roni Burd wrote:
>> Hi, not sure this question is in the newsgroup, but here goes:
>>
>> I was trying to get the OCL validation example running with EMF. I
>> created the new 'OCL Example' project and got all 4 projects (mode, edit,
>> editor, and a new OCL). When I run the project thought I don't see the
>> validation working (neither if I put a breakpoint in my code)
>>
>> I've built with -clean option to see if there was any issues but
>> apparently not. This is just a baby step I'm stuck with, but I could
>> still use a hand.
>>
>> Thanks
>>
>>
>>
Re: Running EMFT-OCL [message #34097 is a reply to message #33737] Wed, 25 July 2007 14:13 Go to previous messageGo to next message
Eclipse User
Originally posted by: yburd.andrew.cmu.edu

I realize about the constraint in both versions. I'm using version 1.1.

I have hit Validate library element that violate the constraints but can't
see any issue popping up. Actually, running eclipse in debug mode, and
placing debug breakpoints literally everywhere, I can't get the debugger to
stop.

What log should I take a look at to see if this is running (BTW the plugins
are listed in the plug-in details in the about window)

"Ed Merks" <merks@ca.ibm.com> wrote in message
news:f8258p$qks$2@build.eclipse.org...
> Roni,
>
> It's best to use the OCL newsgroup, which I've added to the "to" list of
> the reply so you can continue to use this thread.
>
>
> Roni Burd wrote:
>> Hi, not sure this question is in the newsgroup, but here goes:
>>
>> I was trying to get the OCL validation example running with EMF. I
>> created the new 'OCL Example' project and got all 4 projects (mode, edit,
>> editor, and a new OCL). When I run the project thought I don't see the
>> validation working (neither if I put a breakpoint in my code)
>>
>> I've built with -clean option to see if there was any issues but
>> apparently not. This is just a baby step I'm stuck with, but I could
>> still use a hand.
>>
>> Thanks
>>
>>
Re: Running EMFT-OCL [message #34130 is a reply to message #34097] Wed, 25 July 2007 14:59 Go to previous message
Eclipse User
Originally posted by: cdamus.ca.ibm.com

Hi, Roni,

The editor context menu has two validate actions: "Validate" on the top
level of the menu, and "Validate Elements..." in a "Validation" sub-menu.
The former is what is generated for the editor by EMF; the latter invokes
the EMF Validation Framework and the example constraints defined by the
example plug-ins. Are you using the latter?

The log file that I referred to is the .log file in the .metadata/ folder of
your run-time workspace (view it in the Error Log view of your run-time
workbench). Another debugging tool is the tracing options. Try enabling
"debug/constraints/evaluation," "debug/parsers," and "debug/providers" in
the org.eclipse.emf.validation tracing options in your launch configuration
to see what is reported on the console.

Perhaps the "Examples Guide" in the EMF Validation Framework Developer Guide
will help. This is installed with the SDK in the Eclipse "Help ->
Contents" window.

HTH,

Christian

P.S. Since this is actually a problem with the EMF Validation framework
(not necessarily OCL), the EMF newsgroup is the appropriate venue :-)



Roni Burd wrote:

> I realize about the constraint in both versions. I'm using version 1.1.
>
> I have hit Validate library element that violate the constraints but can't
> see any issue popping up. Actually, running eclipse in debug mode, and
> placing debug breakpoints literally everywhere, I can't get the debugger
> to stop.
>
> What log should I take a look at to see if this is running (BTW the
> plugins are listed in the plug-in details in the about window)
>
> "Ed Merks" <merks@ca.ibm.com> wrote in message
> news:f8258p$qks$2@build.eclipse.org...
>> Roni,
>>
>> It's best to use the OCL newsgroup, which I've added to the "to" list of
>> the reply so you can continue to use this thread.
>>
>>
>> Roni Burd wrote:
>>> Hi, not sure this question is in the newsgroup, but here goes:
>>>
>>> I was trying to get the OCL validation example running with EMF. I
>>> created the new 'OCL Example' project and got all 4 projects (mode,
>>> edit, editor, and a new OCL). When I run the project thought I don't see
>>> the validation working (neither if I put a breakpoint in my code)
>>>
>>> I've built with -clean option to see if there was any issues but
>>> apparently not. This is just a baby step I'm stuck with, but I could
>>> still use a hand.
>>>
>>> Thanks
>>>
>>>
Previous Topic:declaring a parameter of a operation of type Sequence
Next Topic:transitive closure
Goto Forum:
  


Current Time: Thu Jul 31 09:39:51 EDT 2014

Powered by FUDForum. Page generated in 0.01545 seconds