The text is indeed invalid. The current standard says:
A Precursor is valid if and only if it satisfies the following conditions:
1 - It appears in the Feature_body of a Feature_declaration of a feature f.
2 - If the Parent_qualification part is present, its Class_name is the name of a
parent class P of C.
3 - Among the features of C's parents, limited to features of P if condition 2
applies, exactly one is an effective feature redefined by C into f. (The class to
which this feature belongs is called the applicable parent of the Precursor.)
4 - The unfolded form relative to the applicable parent is, as an
Unqualified_call, argument-valid.
In addition:
5 - It is valid as an Instruction if and only if f is a command, and as an
Expression if and only if f is a query.
Because `4' and `5' are just logical consequences, they could be reported by a
compiler as a different error. This is why I think the text of the error
explanation in EiffelStudio mentions 5 conditions.
Hope this helps,
Manu
> -----Original Message-----
> From:
eiffel_software@...
> [mailto:
eiffel_software@...] On Behalf Of CRISMER Paul-
> Georges
> Sent: Wednesday, July 16, 2008 7:22 AM
> To:
eiffel_software@...
> Subject: [eiffel_software] Help messges consistency
>
> Hello,
>
> Would you mind saying if the conditions are 5 or 3, and if the
> documentation is consistent ?
>
> " [
> VUPR
> A Precursor is valid if and only if it satisfies the
> following five conditions:
>
> 1. It appears in the Routine_body or the Rescue_clause
> of the declaration of exactly one routine `r' of C.
>
> 2. If the Parent_qualification part is present, its
> Class_name is the name of a parent P of C.
>
> 3. The declaration of `r' in C is the redefinition of a
> routine that has exactly one version inherited by C as
> effective in the set of Parent types of C, restricted
> if case 2 applies to those having P as their Class_name.
> ]"
>
> Best regards,
>
> Paul G. Crismer
>
>
>
> ***** Disclaimer *****
>
http://www.groupes.be/1_mail-disclaimer.htm>
>
> [Non-text portions of this message have been removed]
>
>
> ------------------------------------
>
> Yahoo! Groups Links
>
>
>
------------------------------------
Yahoo! Groups Links
<*> To visit your group on the web, go to:
http://groups.yahoo.com/group/eiffel_software/<*> Your email settings:
Individual Email | Traditional
<*> To change settings online go to:
http://groups.yahoo.com/group/eiffel_software/join (Yahoo! ID required)
<*> To change settings via email:
mailto:
eiffel_software-digest@...
mailto:
eiffel_software-fullfeatured@...
<*> To unsubscribe from this group, send an email to:
eiffel_software-unsubscribe@...
<*> Your use of Yahoo! Groups is subject to:
http://docs.yahoo.com/info/terms/
