search

viatra / EMF-IncQuery

This repository is only kept for historic reasons. All development happens on eclipse.org
http://eclipse.org/viatra
13 stars 4 forks source link

Inferred type validator buggy with Booleans #373

Closed istvanrath closed 11 years ago

istvanrath commented 11 years ago 
XXX.yyy(xxx, true);

yields "The type infered from the path expression (java.lang.Boolean) is different from the input literal/computational value (boolean)."

Note: this cannot be reproduced with the current master 0.7.0, but is claimed to be reproducible with 0.6.9 release.

okrosa commented 11 years ago

I have one guess which I'll try out now. Actually it should fail in 0.7.0 as well, if I remember correctly there isn't much difference in the validators.

okrosa commented 11 years ago

Ok it is indeed a bug. The current implementation will fail with every EBooleanObject, and with the other object-types as well, like EIntegerObject.

okrosa commented 11 years ago

I fixed it, the change is quite small so I can cherrypick it, if we need a new bugfix release.

okrosa commented 11 years ago

The master validator is refactored into the 0.6.10 branch, this issue should be fixed.