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=2.0 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,44b0b57dd5d8f69
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.181.11.234 with SMTP id el10mr169599wid.2.1344571957337;
        Thu, 09 Aug 2012 21:12:37 -0700 (PDT)
Path: 
 q11ni53783041wiw.1!nntp.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!xlned.com!feeder5.xlned.com!feed.xsnews.nl!border-2.ams.xsnews.nl!news.panservice.it!aioe.org!.POSTED!not-for-mail
From: "Nasser M. Abbasi" <nma@12000.org>
Newsgroups: comp.lang.ada
Subject: Re: List of Negative Language rules?
Date: Sun, 05 Aug 2012 11:02:51 -0500
Organization: Aioe.org NNTP Server
Message-ID: <jvm5fa$tcv$1@speranza.aioe.org>
References: <e6963165-d99c-4b35-be88-b9f7aa8d5f4a@googlegroups.com>
Reply-To: nma@12000.org
NNTP-Posting-Host: 9ii5QNw33OfeoTzEH8w9ug.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:14.0) Gecko/20120713 Thunderbird/14.0
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2012-08-05T11:02:51-05:00
List-Id: <comp.lang.ada>

On 8/5/2012 9:39 AM, Patrick wrote:

> Pre-Ada 2012 functions cannot take in parameters
> Functions cannot return concurrent types
> Tasks cannot return access parameters
> etc
>
>
> Does anyone happen to know if there is a list of negative language rules?


This question is not well defined really.

What you call a "negative rule", I can call a "property".

But if the word 'cannot' is what causes you to call it a
'negative' rule, then what would you call the same rule when
I change

      "Tasks cannot return access parameters"
to

      "Tasks are allowed to return non-access parameters"

Is it a "positive" rule now?

But if you really insist of your definition of negative rule,
I would download the .pdf file of the RM, and search for the words
"cannot" and "not allowed" and "forbidden" and so on. This should
find all such "negative" rules? I never heard of such a list before,
because I think it is not well defined what it means to be a negative
rule.

--Nasser