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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 border1.nntp.ams.giganews.com!nntp.giganews.com!xlned.com!feeder1.xlned.com!newsfeed.xs4all.nl!newsfeed3.news.xs4all.nl!xs4all!news.stack.nl!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Making sense of predicates
Date: Tue, 22 Oct 2013 15:38:32 +0200
Organization: cbb software GmbH
Message-ID: <ni8xakaizmd8.r0dy7gxbtci9$.dlg@40tude.net>
References: <myuy19txq4vq.6xym4vrt6irl.dlg@40tude.net>
 <l44vbf$6q0$1@loke.gir.dk> <9vlzla1igu9w$.1ifys2xkaugrn$.dlg@40tude.net>
 <52667531$0$9502$9b4e6d93@newsspool1.arcor-online.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: IenaDxMXK2hi7fvYcb+MlQ.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: number.nntp.dca.giganews.com comp.lang.ada:183699
Date: 2013-10-22T15:38:32+02:00
List-Id: <comp.lang.ada>

On Tue, 22 Oct 2013 14:53:04 +0200, Georg Bauhaus wrote:

> On 22.10.13 10:19, Dmitry A. Kazakov wrote:
>> That does not work.
> 
> From a vendors' point of view, adding fancy stuff works,
> immediately. If industry does not complain, why would we?

Don't really understand your point. BTW, I am not sure about you, but I
regard myself as a part of the industry.

P.S. I would also object the very idea of design by industry requests.
Industry by necessity is conservative and unimaginative.

P.P.S. My educated guess would be that accessibility checks score about one
third of faults in Ada programs, while preventing no more than 1%.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de