Re: if-then-no-else Programming

["Randy Brukardt" <randy@rrsoftware.com>]

"Shark8" <onewingedshark@gmail.com> wrote in message 
news:8328e4e6-97b7-49b6-92de-9f60181dc563@googlegroups.com...
> On Tuesday, April 19, 2016 at 1:51:07 PM UTC-6, Randy Brukardt wrote:
...
>> and there would be a bug because nothing was done if condition was False.
>> Errors of omission are the hardest things to find, and we hoped to reduce
>> the number of them by at least requiring the programmer to think about 
>> all
>> of the possibilities and documenting that they did so. Thus, the above 
>> would
>> have to be written:
>>
>>     if condition then
>>          Do_Something;
>>     -- else nothing needed.
>>     end if;
>>
>> so it's obvious that the reverse condition was considered.
>
> But we can do this natively in Ada:
>
> if condition then
>  Do_Something;
> else
>  null; -- Nothing needed.
> end if;
>
> I would think that there would be zero difference in code generation 
> between that and w/o the else.

Sure, you could just require the "else". But for us, the comment is the 
important part, and the need to include an extra line can make the code 
harder to read (especially when we adopted this rule, as editors typically 
could only show 24 lines at a time). Thus we adopted an "else or comment 
starting with else" rule.

                                    Randy.