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

[Dimitrios Kolovos <dskolovos@xxxxxxxxx>]

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

Olivier PATRY wrote:
> Dimitrios Kolovos a écrit :
> > In the meantime could you please open a new bug to keep track of the 
> > progress?
> >
> > Cheers,
> > Dimitrios
> >
> > Dimitrios Kolovos wrote:
> > > Hi Olivier,
> > >
> > > As Louis mentioned this is a known result of the Antlr2->3 migration. 
> > > I'll look into this shortly. Thanks for reporting this - it had 
> > > almost skipped my mind :)
> > >
> > > Cheers,
> > > Dimitrios
> > >
> > > Louis Rose wrote:
> > > > No problem.
> > > >
> > > > Either Dimitrios or I will reply to your post here, once a fix is 
> > > > available. We'll provide instructions on how to obtain it either via 
> > > > automatic update; from our source code repository; or with an 
> > > > overlay for your installation.
> > > >
> > > > Many thanks,
> > > > Louis.
> Hello,
>
> I report it on eclipse bugzilla:
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=245824
>
> Thanks for involving on it.
>
> Olivier