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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,d3770aac68211766
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Received: by 10.180.8.196 with SMTP id t4mr834493wia.3.1353056099079;
        Fri, 16 Nov 2012 00:54:59 -0800 (PST)
MIME-Version: 1.0
Path: 
 ha8ni292759wib.1!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!194.109.133.84.MISMATCH!newsfeed.xs4all.nl!newsfeed5.news.xs4all.nl!xs4all!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!novia!news-hub.siol.net!news1.t-com.hr!newsfeed.CARNet.hr!feeder.erje.net!eu.feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Class wide preconditions: error in the Ada 2012 Rationale?
Date: Thu, 8 Nov 2012 20:13:23 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <k7hos5$p9j$1@munin.nbi.dk>
References: <op.wnbifyvyule2fv@cardamome> <k7hkeh$kuu$1@munin.nbi.dk>
 <op.wnhfv7yjule2fv@cardamome>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1352427206 25907 69.95.181.76 (9 Nov 2012 02:13:26 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 9 Nov 2012 02:13:26 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
X-RFC2646: Format=Flowed; Response
Date: 2012-11-08T20:13:23-06:00
List-Id: <comp.lang.ada>

"Yannick Duch�ne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message 
news:op.wnhfv7yjule2fv@cardamome...
Le Fri, 09 Nov 2012 01:57:51 +0100, Randy Brukardt <randy@rrsoftware.com>
a �crit:
>> (I wanted to make that a requirement, but that was shot down.)
>How shot down? (if the question is not too much inquisitive)

I don't recall the details, but I think most people wanted as few 
restrictions as possible. "Methodological restrictions" have a bad history 
in Ada, and thus we often avoid them. Clearly a tool like AdaControl can 
enforce style rules beyond those the language requires, and that was thought 
to be the best option here.

                                 Randy.