Re: List of Negative Language rules?

["Nasser M. Abbasi" <nma@12000.org>]

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