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=-0.9 required=5.0 tests=BAYES_00,FROM_NUMERIC_TLD autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,38fc011071df5a27 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-28 08:38:33 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!feed2.news.rcn.net!rcn!news-out.visi.com!petbe.visi.com!uunet!ash.uu.net!lore.csc.com!baen1673807.greenlnk.net!baen1673807!not-for-mail From: Stuart Palin Newsgroups: comp.lang.ada Subject: Re: Ideas for Ada 200X Date: Wed, 28 May 2003 16:38:26 +0100 Organization: BAE SYSTEMS Avionic Systems Message-ID: <3ED4D7F2.EDF7566E@0.0> References: <6a90b886.0305262344.1d558079@posting.google.com> <3ED41344.7090105@spam.com> <3ED46D81.FF62C34F@0.0> <3ED46E07.4340CABC@0.0> NNTP-Posting-Host: 20.44.241.70 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: lore.csc.com 1054136310 7905 20.44.241.70 (28 May 2003 15:38:30 GMT) X-Complaints-To: abuse@news.csc.com NNTP-Posting-Date: Wed, 28 May 2003 15:38:30 +0000 (UTC) X-Mailer: Mozilla 4.5 [en] (WinNT; I) X-Accept-Language: en X-Original-NNTP-Posting-Host: rc2966.rochstr.gmav.gecm.com X-Original-Trace: 28 May 2003 16:36:17 +0100, rc2966.rochstr.gmav.gecm.com Xref: archiver1.google.com comp.lang.ada:37913 Date: 2003-05-28T16:38:26+01:00 List-Id: Stephen Leake wrote: > > Stuart Palin wrote: > > > > > The_Result := Meaningful_Ident_1 -- Meaningful_Ident_2 > > > + Meaningful_Ident_3; > > > > > >[OK Any decent form of testing should find the mistake > > Also any decent editor; the comments are in a different color. The same could be said for comment blocks, and those still seem to be frowned upon ;-) Anyhow, 'a decent editor' falls outside the basic language definition and I don't think that there is an Ada Reference Manual that governs what an editor 'must' do. The ultra paranoid will also start wondering what the failure modes of this 'intelligent' editor might be (if you are starting to rely on it as part of your safety-case). "Will the reviewer always be using a context sensitive editor?" [A big "Hi" to all the legacy VAX guys and gals], "What if the editor gets configured to display key information as white on a white background!", "How is the configuration of the editor controlled?", "What if the reviewer is colour blind?" etc, etc. Although this is a deliberately extreme view, I believe there are documented cases of instances where "What you see is NOT what you've got" leading to problems in a system (though I think these might have been in more complex graphic based editors). In all it comes back to trying to patch up the original decision (of all the compound delimiters that could have been chosen, why that one) - and that is very unlikely to lead to a satisfactory solution. -- Stuart Palin