Support of '<', '>', '<=', '>=' operations on EDataType through java.lang.Comparable

[eclipse-ocl-bot]

| --- | --- | | Bugzilla Link | 126872 | | Status | CLOSED FIXED | | Importance | P3 normal | | Reported | Feb 08, 2006 03:39 EDT | | Modified | May 27, 2011 02:40 EDT | | Reporter | Radomil Dvorak |

Description

Excerpt from 'eclipse.technology.emft', \ thread: 'EDataType and '<' operation in OCL expression'

Hi, Radek,\ You should absolutely expect that '<', '>', '<=', and '>=' would be\ supported for EDataTypes implementing the Comparable interface. As I read\ the OCL spec, any OCL type (including types defined by a model) should be\ able to define these infix operations (also arithmetic and boolean\ operations, but that's another matter).\ Sounds like a bug!

Cheers,\ Christian

Radek Dvorak wrote:

Is '<' operation defined for EDataType which points by EDataType::instanceClass to a java class which implements Comparable? As mentioned in the thread 'order of returned items', the 'sortedBy' operation on collections implemented by EMFT understands the definition of '<' operation as implementation of 'java.lang.Comparable' interface.

It works for me in the following example with use of ecore::EDate: This is the context classifier described in emfatic source. class Topic { attr String[1] name; attr Date startDate; attr Date endDate; }

1) the following expression works fine and is evaluated by using 'java.util.Date.compareTo'. Bag { startDate, endDate }->sortedBy(d|d)->last() = endDate

2) but the expression below fails with: "AnyType: the source of operation: (lessThan) must be an EClass" startDate < endDate

Am I wrong to expect that if '<' was found as defined in 'sortedBy' it should be resolved also in the second expression?

[eclipse-ocl-bot]

By Christian Damus on Apr 05, 2006 15:23

Committed support for Comparables.

[eclipse-ocl-bot]

By Nick Boldt on Jan 28, 2008 16:35

Move to verified as per bug 206558.

[eclipse-ocl-bot]

By Ed Willink on May 27, 2011 02:38

Closing after over a year in verified state.

[eclipse-ocl-bot]

By Ed Willink on May 27, 2011 02:40

Closing after over a year in verified state.