Re: On pragma Precondition etc.

[Pascal Obry <pascal@obry.net>]

Georg Bauhaus a �crit :
> And now there is no doubt about the subprogram to which a
> Pre-/Postcondition belongs.  (A rule that a spec Pre-/Postcondition
> pragma must come right after its subprogram will establish
> consistency.)

But then what to do for overloaded procedures?

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595