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

[Olivier PATRY <olivier.patry@xxxxxxxxxxxxxxxxxx>]

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