Eclipse Community Forums: OCL » Reverse sort for sortedBy()

Help

Home

Home » Modeling » OCL » Reverse sort for sortedBy()

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

Reverse sort for sortedBy() [message #939654]

Wed, 10 October 2012 20:14

Warwick Burrows
Messages: 84
Registered: July 2009
Location: Austin, TX

Member

Hi,

Is there a way to perform a reverse sort in an OCL query? Looking on the web the only place I found a reference to reverse OCL sorting indicated that putting a "-" in front of the sort field would work e.g. sortedBy(e|-e.name). But I get an exception:

Caused by: org.eclipse.ocl.SemanticException: Cannot find operation (-()) for the type (String)

I also tried sortedBy(-e|e.name) but got this error instead:

Caused by: org.eclipse.ocl.SyntaxException: 2:374:2:374 "::" expected instead of "|"

Is that the correct syntax? Is there another way to reverse sort?

Thanks,
Warwick

[Updated on: Wed, 10 October 2012 20:21]

Report message to a moderator

Re: Reverse sort for sortedBy() [message #940117 is a reply to message #939654]

Thu, 11 October 2012 06:22

Ed Willink
Messages: 3165
Registered: July 2009

Senior Member

Hi

I suspect that the "-" prefix was for sorting by numeric keys for which
negation will reverse the order.

There is no counterpart for characters, unless you want to use
Characters() to take a String apart and then use a custom codepoint()
routine to get integers.

Much simpler is to just invoke ->sortedBy(....)->reverse().

Regards

Ed Willink

On 11/10/2012 01:14, Warwick Burrows wrote:
> Hi,
>
> Is there a way to perform a reverse sort in an OCL query? Looking on
> the web the only place I found a reference to reverse OCL sorting
> indicated that putting a "-" in front of the sort field would work
> e.g. sortedBy(-e.name). But I get an exception:
>
> Caused by: org.eclipse.ocl.SemanticException: Cannot find operation
> (-()) for the type (String)
>
> Is that the correct syntax? Is there another way to reverse sort?
>
> Thanks,
> Warwick
>
>
>

Report message to a moderator

Re: Reverse sort for sortedBy() [message #940577 is a reply to message #940117]

Thu, 11 October 2012 15:34

Warwick Burrows
Messages: 84
Registered: July 2009
Location: Austin, TX

Member

Hey Ed,

Thanks for your reply. I am definitely happy that there is a simple way to do a reverse sort. I tried as you suggested but get this exception now:

Caused by: org.eclipse.ocl.SemanticException: Cannot find operation (reverse()) for the type (OrderedSet(Map))
at org.eclipse.ocl.util.OCLUtil.checkForErrors(OCLUtil.java:358)
at org.eclipse.ocl.util.OCLUtil.checkForErrors(OCLUtil.java:328)
at org.eclipse.ocl.internal.helper.HelperUtil.checkForErrors(HelperUtil.java:518)
at org.eclipse.ocl.internal.helper.HelperUtil.parseQuery(HelperUtil.java:165)
at org.eclipse.ocl.internal.helper.OCLHelperImpl.createQuery(OCLHelperImpl.java:176)
at org.eclipse.emf.cdo.server.ocl.OCLQueryHandler.executeQuery(OCLQueryHandler.java:141)

Is the reverse() operation implemented in a particular version of OCL? So that you know I'm using OCL queries to CDO 4.1 (last release candidate before the 4.1 release) and I can see the following OCL plugins in the CDO server plugins directory:

org.eclipse.emf.cdo.server.ocl_4.0.0.201207031627.jar
org.eclipse.ocl_3.2.0.v20120611-1210.jar
org.eclipse.ocl.common_1.0.0.v20120516-1543.jar
org.eclipse.ocl.ecore_3.2.0.v20120522-1637.jar

Thanks,
Warwick

Report message to a moderator

Re: Reverse sort for sortedBy() [message #941007 is a reply to message #940577]

Fri, 12 October 2012 02:16

Ed Willink
Messages: 3165
Registered: July 2009

Senior Member

Hi

In April I retrofitted a variety of functions such as characters(),
selectByKind() and oclAsSet() from the new experimental pivot-based OCL
to the traditional Ecore-based OCL to avoid exactly this problem.
Unfortunately, I missed out reverse().

The experimental functionality is used within the Xtext editors and can
be accessed from the Java API, but while it remains experimental, the
migration of the CDO interface and general revision is still to be done.
The new code already executes 3 to 30 times quicker so the simple CDO
migration looks very likely for Kepler.

For now you can try something like

let backwards : Sequence(...) = ...->sortedBy(name) in
let size: Integer = backwards->size() in
Sequence{0..size-1}->collect(i : Integer | backwards->at(size - i))

Regards

Ed Willink

On 11/10/2012 20:34, Warwick Burrows wrote:
> Hey Ed,
>
> Thanks for your reply. I am definitely happy that there is a simple
> way to do a reverse sort. I tried as you suggested but get this
> exception now:
>
> Caused by: org.eclipse.ocl.SemanticException: Cannot find operation
> (reverse()) for the type (OrderedSet(Map))
> at org.eclipse.ocl.util.OCLUtil.checkForErrors(OCLUtil.java:358)
> at org.eclipse.ocl.util.OCLUtil.checkForErrors(OCLUtil.java:328)
> at
> org.eclipse.ocl.internal.helper.HelperUtil.checkForErrors(HelperUtil.java:518)
> at
> org.eclipse.ocl.internal.helper.HelperUtil.parseQuery(HelperUtil.java:165)
> at
> org.eclipse.ocl.internal.helper.OCLHelperImpl.createQuery(OCLHelperImpl.java:176)
> at
> org.eclipse.emf.cdo.server.ocl.OCLQueryHandler.executeQuery(OCLQueryHandler.java:141)
>
>
> Is the reverse() operation implemented in a particular version of
> OCL? So that you know I'm using OCL queries to CDO 4.1 (last release
> candidate before the 4.1 release) and I can see the following OCL
> plugins in the CDO server plugins directory:
>
> org.eclipse.emf.cdo.server.ocl_4.0.0.201207031627.jar
> org.eclipse.ocl_3.2.0.v20120611-1210.jar
> org.eclipse.ocl.common_1.0.0.v20120516-1543.jar
> org.eclipse.ocl.ecore_3.2.0.v20120522-1637.jar
>
> Thanks,
> Warwick
>

Report message to a moderator

Re: Reverse sort for sortedBy() [message #941074 is a reply to message #941007]

Fri, 12 October 2012 03:39

Warwick Burrows
Messages: 84
Registered: July 2009
Location: Austin, TX

Member

Hi Ed,

Thanks for your reply and for implementing and improving ocl for eclipse and cdo. Unfortunately I'm not clear on how to apply the ocl code snippet you've suggested. For example if I have a very simple case like the following OCLQuery to cdo to sort all maps by name, ascending:

MyMap.allInstances()->sortedBy(name)

How would I incorporate your example with that query so that it sorts the result set in reverse order? I've not been able to find a lot of doco on ocl syntax. Is it just a matter of replacing the "..." with my desired result set? e.g.

let backwards : Sequence(MyMap.allInstances()) = MyMap.allInstances()->sortedBy(name) in
let size: Integer = backwards->size() in
Sequence{0..size-1}->collect(i : Integer | backwards->at(size - i))

Is there anything else I should be aware of with the sort logic when applying it to other more complex queries?

Thanks,
Warwick

Report message to a moderator

Re: Reverse sort for sortedBy() [message #941117 is a reply to message #941074]

Fri, 12 October 2012 04:15

Ed Willink
Messages: 3165
Registered: July 2009

Senior Member

Hi

You nearly got it right; the first ... was your type, the second your
expression so try

let backwards : Sequence(MyMap) = MyMap.allInstances()->sortedBy(name) in
let size: Integer = backwards->size() in
Sequence{0..size-1}->collect(i : Integer | backwards->at(size - i))

allInstances() is not very efficient so you may want to look to an
appropriate container.

sortedBy is very simple, the body expression just provides a per-element
sorting key.

Regards

Ed Willink

On 12/10/2012 08:39, Warwick Burrows wrote:
> Hi Ed,
>
> Thanks for your reply and for implementing and improving ocl for
> eclipse and cdo. Unfortunately I'm not clear on how to apply the ocl
> code snippet you've suggested. For example if I have a very simple
> case like the following OCLQuery to cdo to sort all maps by name,
> ascending:
>
> MyMap.allInstances()->sortedBy(name)
>
> How would I incorporate your example with that query so that it sorts
> the result set in reverse order? I've not been able to find a lot of
> doco on ocl syntax. Is it just a matter of replacing the "..." with my
> desired result set? e.g.
>
> let backwards : Sequence(MyMap.allInstances()) =
> MyMap.allInstances()->sortedBy(name) in
> let size: Integer = backwards->size() in
> Sequence{0..size-1}->collect(i : Integer | backwards->at(size - i))
>
> Is there anything else I should be aware of with the sort logic when
> applying it to other more complex queries?
>
> Thanks,
> Warwick
>

Report message to a moderator

Re: Reverse sort for sortedBy() [message #941694 is a reply to message #941117]

Fri, 12 October 2012 15:28

Warwick Burrows
Messages: 84
Registered: July 2009
Location: Austin, TX

Member

Ed Willink wrote on Fri, 12 October 2012 04:15

Hi
You nearly got it right; the first ... was your type, the second your
expression so try

let backwards : Sequence(MyMap) = MyMap.allInstances()->sortedBy(name) in
let size: Integer = backwards->size() in
Sequence{0..size-1}->collect(i : Integer | backwards->at(size - i))

allInstances() is not very efficient so you may want to look to an
appropriate container.

sortedBy is very simple, the body expression just provides a per-element
sorting key.

Great thanks, I'll try this! BTW, is there a site where I can learn about ocl syntax with examples? I need to understand what you mean by "container" in the context of your suggestion above. So far I've not been able to find a site that lays it all out which is why I didn't even know there was a reverse() operation Smile

Thanks,
Warwick

Report message to a moderator

Re: Reverse sort for sortedBy() [message #941762 is a reply to message #941694]

Fri, 12 October 2012 17:00

Warwick Burrows
Messages: 84
Registered: July 2009
Location: Austin, TX

Member

That works! I just needed one adjustment to get around the issue where the defined type of the "backwards" variable didn't match the results returned by the query. I found someone with a similar problem and just added the oclAsType(MyMap) to the sorted results.

let backwards : Sequence(MyMap) = MyMap.allInstances()->sortedBy(name).oclAsType(MyMap) in
let size: Integer = backwards->size() in
Sequence{0..size-1}->collect(i : Integer | backwards->at(size - i))

Thanks,
Warwick

Report message to a moderator

Re: Reverse sort for sortedBy() [message #942603 is a reply to message #941694]

Sat, 13 October 2012 13:38

Ed Willink
Messages: 3165
Registered: July 2009

Senior Member

<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Hi 
 
'container' is a standard modeling term; very little to do with OCL. 
<h1 class="parseasinTitle"> The Object
Constraint Language: Getting Your Models Ready for MDA
(Addison-Wesley Object Technology) [Paperback] </h1>
<a
href="http://www.amazon.co.uk/s/ref=ntt_athr_dp_sr_1?_encoding=UTF8&field-author=Jos%20Warmer&search-alias=books-uk">Jos
Warmer</a> (Author), <a
href="http://www.amazon.co.uk/s/ref=ntt_athr_dp_sr_2?_encoding=UTF8&field-author=Anneke%20Kleppe&search-alias=books-uk">Anneke
Kleppe</a> (Author) 
 
is a must for learning OCL. 
 
Regards 
 
Ed Willink 
 
On 12/10/2012 20:28, Warwick Burrows wrote:
<blockquote cite="mid:k59r19$jrp$1@xxxxxxxxe.org" type="cite">Ed
Willink wrote on Fri, 12 October 2012 04:15
 
<blockquote type="cite">Hi
 
You nearly got it right; the first ... was your type, the second
your expression so try
 
 
let backwards : Sequence(MyMap) =
MyMap.allInstances()->sortedBy(name) in
 
let size: Integer = backwards->size() in
 
Sequence{0..size-1}->collect(i : Integer |
backwards->at(size - i))
 
 
allInstances() is not very efficient so you may want to look to
an appropriate container.
 
 
sortedBy is very simple, the body expression just provides a
per-element sorting key.
 
</blockquote>
 
 
Great thanks, I'll try this! BTW, is there a site where I can
learn about ocl syntax with examples? I need to understand what
you mean by "container" in the context of your suggestion above.
So far I've not been able to find a site that lays it all out
which is why I didn't even know there was a reverse() operation :)
 
 
Thanks,
 
Warwick
 
 
</blockquote>
 
</body>
</html>

Report message to a moderator

Re: Reverse sort for sortedBy() [message #942607 is a reply to message #941762]

Sat, 13 October 2012 13:40

Ed Willink
Messages: 3165
Registered: July 2009

Senior Member

Hi

oclAsType() should not be necessary, and it isn't with the new
pivot-based OCL that has fully modeled library declarations exploiting
templated types to avoid loss of static type precision.

Regards

Ed Willink

On 12/10/2012 22:00, Warwick Burrows wrote:
> That works! I just needed one adjustment to get around the issue
> where the defined type of the "backwards" variable didn't match the
> results returned by the query. I found someone with a similar problem
> and just added the oclAsType(MyMap) to the sorted results.
>
>
> let backwards : Sequence(MyMap) =
> MyMap.allInstances()->sortedBy(name).oclAsType(MyMap) in
> let size: Integer = backwards->size() in
> Sequence{0..size-1}->collect(i : Integer | backwards->at(size - i))
>
>
> Thanks,
> Warwick
>

Report message to a moderator

Previous Topic:	OCL to Java
Next Topic:	Validate OCL constraints on XMI model

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Wed May 22 10:05:42 EDT 2013