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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,44b0b57dd5d8f69 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.191.137 with SMTP id gy9mr908111pbc.0.1344221772945; Sun, 05 Aug 2012 19:56:12 -0700 (PDT) MIME-Version: 1.0 Path: c10ni88296pbw.0!nntp.google.com!news1.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!newsfeed.straub-nv.de!nuzba.szn.dk!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: List of Negative Language rules? Date: Sun, 5 Aug 2012 21:56:09 -0500 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: References: <245a4369-4691-46b6-b6f5-b164d3dd0e99@googlegroups.com> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: munin.nbi.dk 1344221772 27234 69.95.181.76 (6 Aug 2012 02:56:12 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Mon, 6 Aug 2012 02:56:12 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 Date: 2012-08-05T21:56:09-05:00 List-Id: "Patrick" wrote in message news:245a4369-4691-46b6-b6f5-b164d3dd0e99@googlegroups.com... ... > I agree the term negative might not be right but I don't know what to call > rules that are about what can't be done. You're probably interested in Legality Rules, which can be written positively or negatively. But they all end up about something that cannot be done. > Thanks for your tip. I am now using pdfgrep on the RM to look for certain > words That won't be very fruitful, for the reasons others noted. BTW, the closest thing to a list of Legality Rules is the test objective spreadsheets for the ACATS. Every potential test objective for a B-Test is a rule about something that cannot be done. The test objectives spreadsheets were only created for a small part of the Standard, however. Based on that subtest, I'd say that there are several thousand such rules, so you're undertaking a large job (and one that is not the useful, simply because of the sheer size). You can download the ACATS 3.0 versions of the spreadsheets from Ada-auth.org. Randy.