[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Newsgroup Home]
[news.eclipse.modeling.gmt] Re: [Epsilon] pre/post condition in EWL

Louis Rose a écrit :
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
Thanks for your reply and investigation Louis.
What will I check to get informed for changes and get a new version? (automatic update I think)


Olivier