Eclipse Community Forums: OCL » Unresolved operation '<' for 'Ecore::ecore::EInt'

Help

Home

Home » Modeling » OCL » Unresolved operation '<' for 'Ecore::ecore::EInt'

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

Unresolved operation '<' for 'Ecore::ecore::EInt' [message #666393]

Wed, 20 April 2011 09:53

Joern

Messages: 22
Registered: March 2010

Junior Member

Hi,

I get the error "Unresolved operation '<' for 'Ecore::ecore::EInt'" trying to use the "sortedBy" operation.

My expression evaluates using the old Interactive OCL console but not the new Interactive Xtext OCL console or the generated model validation.

A sample metamodel looks like this:

module _'test.ecore'
import ecore : 'http://www.eclipse.org/emf/2002/Ecore#/';

package test : test = 'http://test/test' 
{
	class Test
	{
		attribute ordinal : ecore::EInt[?] { ordered };
		operation test() : Test[*]
		{
			body: (Test.allInstances())->sortedBy(ordinal);
		}
	}
}

Any help is appreciated.

Best regards,

Joern

Report message to a moderator

Re: Unresolved operation '<' for 'Ecore::ecore::EInt' [message #666408 is a reply to message #666393]

Wed, 20 April 2011 11:09

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi Joern

Quick workaround. Use Integer (or ecore::EBigInteger),
ecore::EIntegerObject instead of ecore::EInt for the declaration or
ordinal.oclAsType(Integer) in the iterator body.

The '<' operation is automatically synthesized when the instance class
name implements Comparable. Looks like it needs a bit more intelligence
for built-in types. Will fix.

Regards

Ed Willink

On 20/04/2011 10:53, Joern wrote:
> Hi,
>
> I get the error "Unresolved operation '<' for 'Ecore::ecore::EInt'"
> trying to use the "sortedBy" operation.
> My expression evaluates using the old Interactive OCL console but not
> the new Interactive Xtext OCL console or the generated model validation.
>
> A sample metamodel looks like this:
>
> module _'test.ecore'
> import ecore : 'http://www.eclipse.org/emf/2002/Ecore#/';
>
> package test : test = 'http://test/test' {
> class Test
> {
> attribute ordinal : ecore::EInt[?] { ordered };
> operation test() : Test[*]
> {
> body: (Test.allInstances())->sortedBy(ordinal);
> }
> }
> }
> Any help is appreciated.
>
> Best regards,
>
> Joern

Report message to a moderator