Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » GMT (Generative Modeling Technologies) » [Epsilon] pre/post condition in EWL
[Epsilon] pre/post condition in EWL [message #620461] Thu, 28 August 2008 12:37
Patry Olivier is currently offline Patry OlivierFriend
Messages: 54
Registered: July 2009

I see that EOL implements pre/post conditions.

I test this feature on EWL:

$pre elt > 1
operation Elt test(elt: Integer) {

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?


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

Current Time: Wed Jun 23 07:10:49 GMT 2021

Powered by FUDForum. Page generated in 0.01611 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top