Chris Powell <chris.powell@rrds.co.uk> a �crit dans le message :
38566835.B4A2D48@rdel.co.uk...
> Did the coding standard for the safety-critical software developed allow
> full use of Ada 95 constructs? My experience of safety-critical software
> is that while Ada is usually the chosen language, most of the Ada
> language features are disallowed. I worked on one project where
> constrained types were not allowed (because they are more likely to
> raise exceptions than unconstrained types), no packages (because data
> hiding limited testability) and certainly nothing as difficult to test
> as inheritance/polymorphism could be used.
>

No packages, is that a joke ??

This is the most stupid limitation I've ever eard !!!!!

Who could possibly decide to not use packages in an Ada project ?

How can you even design such application ?

You have only procedures and functions ? Where do you put the shared
types ? Don't tell us that you use only predefined types ? Or maybe
your application is just one procedure with everything in it :)

Pascal.

--

--|------------------------------------------------------------
--| Pascal Obry                               Team-Ada Member |
--|                                                           |
--| EDF-DER-IPN-SID- T T I                                    |
--|                       Intranet: http://cln46gb            |
--| Bureau N-023            e-mail: pascal.obry@edf.fr        |
--| 1 Av G�n�ral de Gaulle  voice : +33-1-47.65.50.91         |
--| 92141 Clamart CEDEX     fax   : +33-1-47.65.50.07         |
--| FRANCE                                                    |
--|------------------------------------------------------------
--|
--|   http://ourworld.compuserve.com/homepages/pascal_obry
--|
--|   "The best way to travel is by means of imagination"