Eclipse Community Forums: OCL » Complete OCL Debugging

Home » Modeling » OCL » Complete OCL Debugging

Complete OCL Debugging [message #986031]

Sat, 17 November 2012 14:02

Eclipse User

What is the easiest (or the most effective) way to debug complete ocl? I am now copying and pasting pieces of a Complete OCL file in the OCL console but it would be great if I could put breakpoints or at least print object values in the Console

Re: Complete OCL Debugging [message #986040 is a reply to message #986031]

Sat, 17 November 2012 14:42

Eclipse User

Hi

You're doing what I would recommend.

The QVTo debugger is quite useful so if you can wrap your Complete OCL
in a QVTo transformation that might help.

QVTo has a log() function.

OCL has a toString() that Eclipse OCL extends to everything.

You can add custom Java functions to your meta-model that print things
in your favourite way.

I've just fixed a bug, not yet on master, that allows e.g. a derived
"label" attribute to redirect to "label()" that can be overridden with
per-Object text representation. (There was a bug in the dynamic
dispatch.) This then works really well if "label" is high enough in the
inheritance so that it is the EAttribute that EMF chooses as the default
label provider.

Generalizing the QVTo debugger for the new Pivot-based OCL and for
extension to QVTc and QVTr is in my plans, but it doesn't help you now.

Regards

Ed Willink

On 17/11/2012 19:02, Andrea Sindico wrote:
> What is the easiest (or the most effective) way to debug complete ocl?
> I am now copying and pasting pieces of a Complete OCL file in the OCL
> console but it would be great if I could put breakpoints or at least
> print object values in the Console

Re: Complete OCL Debugging [message #986308 is a reply to message #986040]

Mon, 19 November 2012 15:03

Eclipse User

Hi Ed,
what is the log function syntax?

thank you for your kind help

Andrea

Re: Complete OCL Debugging [message #986312 is a reply to message #986308]

Mon, 19 November 2012 16:17

Eclipse User

Hi

I use

log('message', someObject)

but the QVTo spec is up to four arguments.

Regards

Ed Willink

On 19/11/2012 20:03, Andrea Sindico wrote:
> Hi Ed,
> what is the log function syntax?
>
> thank you for your kind help
>
> Andrea

Re: Complete OCL Debugging [message #986320 is a reply to message #986312]

Mon, 19 November 2012 18:14

Eclipse User

I think it would be great if OCL had a log function as well which may always returns true so that it could be used in invariant evaluations.

Re: Complete OCL Debugging [message #986465 is a reply to message #986320]

Tue, 20 November 2012 09:34

Eclipse User

Hi

I've meaning to do this for some time.

https://bugs.eclipse.org/bugs/show_bug.cgi?id=394660

(also https://bugs.eclipse.org/bugs/show_bug.cgi?id=394658).

The logging function is fairly easy, particularly if you restrict the
message-expression to a string literal; perhaps you'd like to try it.

Bothy should be independent of the OCL core; just additional library
functions.

Regards

Ed Willink

On 19/11/2012 23:14, Andrea Sindico wrote:
> I think it would be great if OCL had a log function as well which may
> always returns true so that it could be used in invariant evaluations.

Re: Complete OCL Debugging [message #986535 is a reply to message #986031]

Tue, 20 November 2012 14:51

Eclipse User

Hi Ed,
where may I find the latest source code?
A tried at http://www.eclipse.org/modeling/mdt/downloads/?project=ocl downloading both the SDK and the Core SDK but I could not find any src file in there
Also is there any doc about the source architecture? is it an Xtext project?

Regards

Re: Complete OCL Debugging [message #986543 is a reply to message #986535]

Tue, 20 November 2012 15:40

Eclipse User

Hi

See http://wiki.eclipse.org/MDT/OCL#Downloads_and_Updates and
http://wiki.eclipse.org/MDT/OCL/Dev/Setup#Getting_the_Sources_from_GIT.

The only archirtecture documentation concerns the pre-Pivot, pre-Xtext
code. http://wiki.eclipse.org/MDT/OCL/4.X_Architecture is a bit old but
in overview not much changed.

Regards

Ed Willink

On 20/11/2012 19:51, Andrea Sindico wrote:
> Hi Ed,
> where may I find the latest source code?
> A tried at http://www.eclipse.org/modeling/mdt/downloads/?project=ocl
> downloading both the SDK and the Core SDK but I could not find any src
> file in there
> Also is there any doc about the source architecture? is it an Xtext
> project?
>
> Regards
>

Re: Complete OCL Debugging [message #986633 is a reply to message #986031]

Wed, 21 November 2012 04:23

Eclipse User

I guess I need a bit of support.
As it could be useful for others and, out of this topic, I created another topic: http://www.eclipse.org/forums/index.php/m/986629/#msg_986629

Previous Topic:	[Announce] Eclipse OCL 4.1.0 (Kepler) M3 is now available
Next Topic:	Modifying SRC

Goto Forum:

-=] Back to Top [=-

Current Time: Fri Jul 25 07:32:31 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter