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

[Olivier PATRY <olivier.patry@xxxxxxxxxxxxxxxxxx>]

Dimitrios Kolovos a écrit :
> Hi Olivier,
>
> Thanks for reporting this. I've fixed it and committed the changes to 
> the CVS. A minor glitch is that because pre and post are reserved words 
> in EWL, pre and post in executable annotations should be placed between 
> "" i.e.
>
> $"pre" elt > 1
> operation Elt test(elt: Integer) {
>     'success'.println();
> }
>
> I'll close the bug when we make the next binary version (0.8.1) available.
>
> Cheers,
> Dimitrios
Ok, thanks a lot.

It works well now.

Olivier