From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,25aa3c7e1b59f7b5 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-01-17 01:57:01 PST Message-ID: <3C469FE6.B2C67ED6@baesystems.com> Date: Thu, 17 Jan 2002 09:56:54 +0000 From: Stuart Palin Organization: BAE SYSTEMS Avionics, Rochester X-Mailer: Mozilla 4.5 [en] (WinNT; I) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: A case where Ada defaults to unsafe? References: <3C34BF2C.6030500@mail.com> <3C34D252.4070307@mail.com> <5ee5b646.0201040829.18db8001@posting.google.com> <3C35E733.6030603@mail.com> <3C35FE2A.9020802@mail.com> <3C3C1438.FBF10FC3@baesystems.com> <3C3EB43E.B82E92CA@baesystems.com> <3C42D9B9.8C1D82DB@baesystems.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit NNTP-Posting-Host: rc2966.rochstr.gmav.gecm.com X-Trace: 17 Jan 2002 09:56:54 GMT, rc2966.rochstr.gmav.gecm.com Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!dispose.news.demon.net!demon!btnet-peer0!btnet-feed5!btnet!newreader.ukcore.bt.net!pull.gecm.com!rc2966.rochstr.gmav.gecm.com Xref: archiver1.google.com comp.lang.ada:19004 Date: 2002-01-17T09:56:54+00:00 List-Id: Simon Wright wrote: > > Stuart Palin writes: > > > But for those using Ada today the 'die is cast'; and just to be clear - > > my peeve is not that the die is cast (that's life!) - it is that the > > language team did loads of other things to stop 'silly' mistakes - > > including terminating comments at the end of line - but chose a token > > that might easily occur in a mis-typing and could be difficult to spot > > in a code inspection (depending on font etc). > > Check out GNU Enscript, it's got nice Ada support and comments are > printed in oblique -- very easy to spot. And if you use emacs ada-mode > or ObjectAda (7.2 at least) comments are coloured. The two edged sword of 'clever' text editors in safety-critical situations ;-) +ve - The context sensitive representation does make it easier to see what is going on -ve - Are you actually seeing what is in the file or what the editor is choosing to show you? The safety-case could probably be finessed by using different tools for creating and reviewing the software (and making sure the tools have an appropriate pedigree). When we get development off the Vaxes onto these new-fangled PC's these things may come to pass ;-). -- Stuart Palin Principal Software Engineer BAE SYSTEMS Avionics Ltd, Rochester G-NET 791 3364 mailto:stuart.palin@baesystems.com