Home » Archived » GMT (Generative Modeling Technologies) » [Epsilon] pre/post condition in EWL
| [Epsilon] pre/post condition in EWL [message #385270] |
Thu, 28 August 2008 08:37  |
Eclipse User |
|
|
|
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  |
| Eclipse User |
|
|
|
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 |
| Eclipse User |
|
|
|
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 #385316 is a reply to message #385313] |
Mon, 01 September 2008 10:49 |
| Eclipse User |
|
|
|
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 |
| Eclipse User |
|
|
|
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 |
| Eclipse User |
|
|
|
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 |
| Eclipse User |
|
|
|
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 |
| Eclipse User |
|
|
|
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 |
| Eclipse User |
|
|
|
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 |
| Eclipse User |
|
|
|
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 |
| Eclipse User |
|
|
|
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 |
| Eclipse User |
|
|
|
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 |
| Eclipse User |
|
|
|
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
|
|
|
Goto Forum:
Current Time: Mon Mar 17 01:57:39 EDT 2025
Powered by FUDForum. Page generated in 0.07047 seconds |
Home