Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » GMT (Generative Modeling Technologies) » [Epsilon] pre/post condition in EWL
[Epsilon] pre/post condition in EWL [message #385270] Thu, 28 August 2008 08:37 Go to next message
Patry Olivier is currently offline 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
Re: [Epsilon] pre/post condition in EWL [message #385276 is a reply to message #385270] Thu, 28 August 2008 11:57 Go to previous messageGo to next message
Louis Rose is currently offline Louis Rose
Messages: 439
Registered: July 2009
Location: York, United Kingdom
Senior Member
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
Re: [Epsilon] pre/post condition in EWL [message #385279 is a reply to message #385276] Fri, 29 August 2008 05:13 Go to previous messageGo to next message
Patry Olivier is currently offline Patry Olivier
Messages: 54
Registered: July 2009
Member
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
Re: [Epsilon] pre/post condition in EWL [message #385280 is a reply to message #385279] Fri, 29 August 2008 05:51 Go to previous messageGo to next message
Louis Rose is currently offline Louis Rose
Messages: 439
Registered: July 2009
Location: York, United Kingdom
Senior Member
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.
Re: [Epsilon] pre/post condition in EWL [message #385286 is a reply to message #385280] Sat, 30 August 2008 03:42 Go to previous messageGo to next message
Dimitrios Kolovos is currently offline Dimitrios Kolovos
Messages: 1776
Registered: July 2009
Senior Member
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.
>
>
Re: [Epsilon] pre/post condition in EWL [message #385302 is a reply to message #385286] Sat, 30 August 2008 03:53 Go to previous messageGo to next message
Dimitrios Kolovos is currently offline Dimitrios Kolovos
Messages: 1776
Registered: July 2009
Senior Member
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.
>>
>>
Re: [Epsilon] pre/post condition in EWL [message #385313 is a reply to message #385302] Mon, 01 September 2008 04:17 Go to previous messageGo to next message
Patry Olivier is currently offline Patry Olivier
Messages: 54
Registered: July 2009
Member
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
Re: [Epsilon] pre/post condition in EWL [message #385316 is a reply to message #385313] Mon, 01 September 2008 10:49 Go to previous messageGo to next message
Dimitrios Kolovos is currently offline Dimitrios Kolovos
Messages: 1776
Registered: July 2009
Senior Member
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
Re: [Epsilon] pre/post condition in EWL [message #385317 is a reply to message #385316] Mon, 01 September 2008 11:13 Go to previous message
Patry Olivier is currently offline Patry Olivier
Messages: 54
Registered: July 2009
Member
Dimitrios Kolovos a écrit :
> 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
>
Ok, thanks a lot.

It works well now.

Olivier
Re: [Epsilon] pre/post condition in EWL [message #621666 is a reply to message #385270] Thu, 28 August 2008 11:57 Go to previous message
Louis Rose is currently offline Louis Rose
Messages: 439
Registered: July 2009
Location: York, United Kingdom
Senior Member
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
Re: [Epsilon] pre/post condition in EWL [message #621671 is a reply to message #385276] Fri, 29 August 2008 05:13 Go to previous message
Patry Olivier is currently offline Patry Olivier
Messages: 54
Registered: July 2009
Member
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
Re: [Epsilon] pre/post condition in EWL [message #621673 is a reply to message #385279] Fri, 29 August 2008 05:51 Go to previous message
Louis Rose is currently offline Louis Rose
Messages: 439
Registered: July 2009
Location: York, United Kingdom
Senior Member
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.
Re: [Epsilon] pre/post condition in EWL [message #621686 is a reply to message #385280] Sat, 30 August 2008 03:42 Go to previous message
Dimitrios Kolovos is currently offline Dimitrios Kolovos
Messages: 1776
Registered: July 2009
Senior Member
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.
>
>
Re: [Epsilon] pre/post condition in EWL [message #621689 is a reply to message #385286] Sat, 30 August 2008 03:53 Go to previous message
Dimitrios Kolovos is currently offline Dimitrios Kolovos
Messages: 1776
Registered: July 2009
Senior Member
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.
>>
>>
Re: [Epsilon] pre/post condition in EWL [message #621698 is a reply to message #385302] Mon, 01 September 2008 04:17 Go to previous message
Patry Olivier is currently offline Patry Olivier
Messages: 54
Registered: July 2009
Member
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
Re: [Epsilon] pre/post condition in EWL [message #621745 is a reply to message #385313] Mon, 01 September 2008 10:49 Go to previous message
Dimitrios Kolovos is currently offline Dimitrios Kolovos
Messages: 1776
Registered: July 2009
Senior Member
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
Re: [Epsilon] pre/post condition in EWL [message #621747 is a reply to message #385316] Mon, 01 September 2008 11:13 Go to previous message
Patry Olivier is currently offline Patry Olivier
Messages: 54
Registered: July 2009
Member
Dimitrios Kolovos a écrit :
> 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
>
Ok, thanks a lot.

It works well now.

Olivier
Previous Topic:[MOFScript]i+=1 acturally add by two
Next Topic:[Epsilon]EWL finding EClass
Goto Forum:
  


Current Time: Tue Sep 02 05:19:35 EDT 2014

Powered by FUDForum. Page generated in 0.02709 seconds