[news.eclipse.modeling.gmt] Re: [Epsilon] pre/post condition in EWL

[Louis Rose <louis@xxxxxxxxxxxxx>]

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