Home » Archived » GMT (Generative Modeling Technologies) » [Epsilon] pre/post condition in EWL
|
Re: [Epsilon] pre/post condition in EWL [message #385276 is a reply to message #385270] |
Thu, 28 August 2008 15:57 |
Louis Rose Messages: 440 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 09:13 |
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 #385316 is a reply to message #385313] |
Mon, 01 September 2008 14:49 |
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 #621666 is a reply to message #385270] |
Thu, 28 August 2008 15:57 |
Louis Rose Messages: 440 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 09:13 |
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 #621745 is a reply to message #385313] |
Mon, 01 September 2008 14:49 |
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
|
|
| |
Goto Forum:
Current Time: Mon Sep 23 16:31:42 GMT 2024
Powered by FUDForum. Page generated in 0.28368 seconds
|