comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: List of Negative Language rules?
Date: Sun, 5 Aug 2012 21:57:57 -0500
Date: 2012-08-05T21:57:57-05:00	[thread overview]
Message-ID: <jvnbro$qka$1@munin.nbi.dk> (raw)
In-Reply-To: 1949c50a-553a-4d40-92f0-9a5c0663cd55@googlegroups.com

"Patrick" <patrick@spellingbeewinnars.org> wrote in message 
news:1949c50a-553a-4d40-92f0-9a5c0663cd55@googlegroups.com...
> Hi Vasiliy
>
> It was easy to redo the grepping with the small c option "-c"
>
>
> :cat Anotated_Reference_Manual_As_Text | grep -c  " cannot "
> 279
>
> :cat Anotated_Reference_Manual_As_Text | grep -c  " must not "
> 3

"must not" is not allowed by ISO rules, so that wording can only appear in 
non-normative text (or by mistake, there are a few in Ada 2005, since 
corrected). The correct wording is "shall not", which you didn't look for.

> :cat Anotated_Reference_Manual_As_Text | grep -c " should not "
> 46

                                             Randy.





  parent reply	other threads:[~2012-08-06  2:58 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 [this message]
2012-08-06  3:21             ` Patrick
2012-08-09 21:24               ` Randy Brukardt
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