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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Tests in a software release
Date: Tue, 14 Nov 2017 18:06:19 -0600
Organization: JSA Research & Innovation
Message-ID: <oug0dt$h1b$1@franka.jacob-sparre.dk>
References: <osqoph$1ves$1@gioia.aioe.org> <oss2c3$1p2m$1@gioia.aioe.org>
 <osvsjs$t4b$1@dont-email.me> <osvvds$s97$1@gioia.aioe.org>
 <ot19fo$7mi$2@dont-email.me> <ot1bvm$ub7$1@gioia.aioe.org>
 <ot82v3$h2c$1@dont-email.me> <ot83l0$1rb1$1@gioia.aioe.org>
 <ot981s$7m5$1@dont-email.me> <ot9cfr$1k6s$1@gioia.aioe.org>
Injection-Date: Wed, 15 Nov 2017 00:06:22 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="17451"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: feeder.eternal-september.org comp.lang.ada:48898
Date: 2017-11-14T18:06:19-06:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:ot9cfr$1k6s$1@gioia.aioe.org...
...
> Ada could have a pragma to remove all ELSE parts of all IF-statements. 
> Would anybody argue for that? (:-))

I'd consider making an argument for a pragma to *require* an ELSE part for 
all IF statements.

The Janus/Ada style guide requires either than ELSE part or a comment 
starting -- Else before the END IF to explain why it isn't needed. We 
adopted that after a string of bugs where there was an If statement without 
an else where it appeared that no one had considered what to do if the IF 
was False. By requiring at least a comment, we make the programmer (often 
me!) think about that case.

Yes, sometimes, they end up being something like:

    -- else *** not sure what to do here!! ***

but at least that is a red flag to anyone looking at the code in a debugging 
situation.

                                Randy.