Re: Class wide preconditions: error in the Ada 2012 Rationale?

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Mon, 05 Nov 2012 21:41:48 +0100, Yannick Duchêne (Hibou57)  
<yannick_duchene@yahoo.fr> a écrit:

> I have a doubt, and this one disturb me, so this topic.
>
> I was reading the revised version (fourth draft) of the Ada 2012  
> Rationale, when I saw this:
>
>> However, the rules regarding preconditions are perhaps surprising.
>> The specific precondition Pre for Equilateral_Triangle must be true 
>> (checked in the body) but so long as just one of the class wide 
>> preconditions Pre'Class for Object and Triangle is true then all iswell.
>
> Then later, a summary of the rule:
>
>> In summary, class wide preconditions are checked at the point of call. 
>> Class wide postconditions and both specific pre- and postconditionsare  
>> checked in the actual body.
>

Oh no! I forget the link:
http://www.ada-auth.org/standards/12rat/html/Rat12-2-3.html

Pardon me.

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University