| [news.eclipse.modeling.gmt] Re: [Epsilon] pre/post condition in EWL |
Thanks for your reply and investigation Louis.Hi Olivier,
That's correct, EWL is based on EOL. Your syntax looks to be correct.
I've been able to reproduce the error. We have recently ported EOL to a new version of ANTLR, and I suspect that this regression has been introduced during that process.
We'll investigate further, and either Dimitrios or I will prepare a fix in the next week or so.
Many thanks, Louis.
Olivier PATRY wrote:Hi,
I see that EOL implements pre/post conditions.
I test this feature on EWL:
$pre elt > 1 operation Elt test(elt: Integer) { 'success'.println(); }
I get syntax highlighting on $pre..., so I think it should work (EWL is based on EOL, am I right?)
But, I get an error:
Method 'test' not found (...\file.ewl@66:13)
If I suppress "$pre..." it works.
If EWL can't now implement pre/post condition, is it possible to get it in a close future?
Thanks,
Olivier
Olivier