comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: List of Negative Language rules?
Date: Thu, 9 Aug 2012 16:24:22 -0500
Date: 2012-08-09T16:24:22-05:00	[thread overview]
Message-ID: <k019qa$j0p$1@munin.nbi.dk> (raw)
In-Reply-To: 1a891f78-a75c-4597-9793-1296e693e07d@googlegroups.com

"Patrick" <patrick@spellingbeewinnars.org> wrote in message 
news:1a891f78-a75c-4597-9793-1296e693e07d@googlegroups.com...
>Thanks Randy
>
>Yes, "shall not" added another 1000 lines to my file(it's 4K lines). Right 
>now I am
> rereading Barnes and high-lighting what appear to be legality rules(Thanks 
> for the term).
> Once I am done, I'll see if it's sensible to look through my grep created 
> document, it
> worries me that you don't think it will be fruitful. I do trust your 
> intelligence

If you just want to find all of the Legality Rules in the Standard, just 
take every sentence of every paragraph under the heading "Legality Rules" in 
every clause of the Standard. You can then toss out the ones obviously not a 
rule (like some definitions). That's essentially what I was doing with the 
test objective documents; it took a lot of hours to build the handful I 
finished. (Of course, I was also tracking dynamic rules as well, and even 
bigger job.)

                                                   Randy.





  reply	other threads:[~2012-08-15  2:48 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-08-05 14:39 List of Negative Language rules? Patrick
2012-08-05 15:24 ` Bill Findlay
2012-08-05 15:43   ` Patrick
2012-08-05 19:17   ` Niklas Holsti
2012-08-05 16:02 ` Nasser M. Abbasi
2012-08-05 16:14   ` Patrick
2012-08-06  2:56     ` Randy Brukardt
2012-08-05 16:33 ` Yannick Duchêne (Hibou57)
2012-08-05 17:10   ` Patrick
2012-08-05 18:07 ` Vasiliy Molostov
     [not found] ` <p6ft18dvj55o0h1j3af7ic08f2omoc1j20@invalid.netcom.com>
2012-08-05 19:25   ` Niklas Holsti
2012-08-05 23:35     ` Patrick
2012-08-06  0:07       ` Vasiliy Molostov
2012-08-06  0:26         ` Patrick
2012-08-06  1:04           ` Vasiliy Molostov
2012-08-06  1:33             ` Patrick
2012-08-06  2:57           ` Randy Brukardt
2012-08-06  3:21             ` Patrick
2012-08-09 21:24               ` Randy Brukardt [this message]
2012-08-09 22:00                 ` Patrick
2012-08-06  2:51       ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox