Eclipse Community Forums: Epsilon » EVL: summarizing amounts in collections yields wrong result

Home » Modeling » Epsilon » EVL: summarizing amounts in collections yields wrong result(EVL: calculating a sum over amount values in a XML instance causes EVL check to fail)

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

EVL: summarizing amounts in collections yields wrong result [message #1404743]

Tue, 05 August 2014 12:39

Gerd Wierse

Messages: 14
Registered: July 2009

Junior Member

Dear all,

I am using EVL to check constraints on XML instances.
Although such an instance meets a specific constraint summarizing amounts, the check fails.
May be, number representation or calculation method sum() used by EVL causes this check to fail?

I presume, the following conditions are helpful to reproduce this behavior:

summarizing amounts (like amounts of money) while casting such amounts to data type Real.
these amounts are contained in elements with multiplicity > 1, so these elements are mapped to collections.
this error does not show when it's only a very small number of collections.

Please find attached a simple project, containing these folders:

model with XSD, ecore and genmodel
instances with a single XML instance
rules with the EVL file containing a single rule and an ANT script launch.xml to build and execute instance loading and rule application

Supposedly, this is not a topic dedicated to EVL, but a more general question?
Do you know any helpful links or forum topics?
May be, I should use casting to another data type in EVL as workaround?

Thanks in advance for any helpful remark.

Best regards,
Gerd

Attachment: MyXSD.zip
(Size: 4.95KB, Downloaded 116 times)

Report message to a moderator

Re: EVL: summarizing amounts in collections yields wrong result [message #1404790 is a reply to message #1404743]

Tue, 05 August 2014 18:58

Dimitris Kolovos

Messages: 2163
Registered: July 2009
Location: York, UK

Senior Member

Hi Gerd,

Comparing floating-point numbers for equality can be problematic in most programming languages. Please see [1] for a detailed discussion. Arguably, EOL could sort this out internally, so please file an ehnahncment request [2] and we'll fix this in a future release.

Cheers,
Dimitris

[1] http://floating-point-gui.de/errors/comparison/
[2] https://bugs.eclipse.org/bugs/enter_bug.cgi?product=epsilon

Report message to a moderator

Previous Topic:	Content assist based on ecore metamodel
Next Topic:	Can't delete nodes in compartment

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 26 04:00:05 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter