From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: A split between two kinds of Ada programmers?
Date: Fri, 16 Mar 2012 20:17:37 +0100
Date: 2012-03-16T20:17:38+01:00 [thread overview]
Message-ID: <4f6391d2$0$6557$9b4e6d93@newsspool4.arcor-online.net> (raw)
In-Reply-To: <19696065.1106.1331912526684.JavaMail.geo-discussion-forums@vbut24>
On 16.03.12 16:42, yannick.moy wrote:
> Hi Georg, I implemented the -gnatw.t warning and the above patch, so I can tell you what our objective is.
>
> On Thursday, March 15, 2012 3:07:30 PM UTC+1, Georg Bauhaus wrote:
>
>> Can a project use -gnatw.t when integrating source text written
>> by both kinds of programmers?
>
> The compiler is there to help honest programmers, not to defeat malicious ones.
o.K.
> Note that GNAT still warns about statically true or false preconditions and postconditions, for example if you write it "My_True_Constant" or "1 > 0".
O.K., I see that a tool like GNATcheck might perform the task as needed;
I was wondering if there could (or should) be some way of saying
"really, nothing worthy of a condition has happened"
in words that are less overloaded than a mere True, such as a name or
expression that kind of "honestly" silences the compiler.
Thanks for taking the time to explain!
prev parent reply other threads:[~2012-03-16 19:17 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-03-15 14:07 A split between two kinds of Ada programmers? Georg Bauhaus
2012-03-16 15:42 ` yannick.moy
2012-03-16 19:17 ` Georg Bauhaus [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox