Eclipse Community Forums: GMT (Generative Modeling Technologies)

Help

Home

Home » Modeling » GMT (Generative Modeling Technologies) » [Epsilon] pre/post condition in EWL

Show: Today's Messages :: Show Polls :: Message Navigator

[Epsilon] pre/post condition in EWL [message #620461]

Thu, 28 August 2008 08:37

Patry Olivier
Messages: 54
Registered: July 2009

Member

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

Report message to a moderator

Previous Topic:	[MOFScript]How to write this loop in MOFScript
Next Topic:	[MOFScript] Error in MOFScript generating code by Java

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sun May 19 17:06:34 EDT 2013