A curiosity about the RM

A curiosity about the RM

[mockturtle]

Dear all,
I just payed attention to the fact that some paragraphs in our beloved RM are labeled with a single number, while others are labeled with something like "number1/number2" (see, for example, http://www.ada-auth.org/standards/12rm/html/RM-1-1-2.html) 

I am just curious about the difference.  I could do a wild guess by saying that "number2" is a kind of "version counter", so that when I say "Paragraph 1/3 of 1.1.2" I always refer to the same text, independently on the document version.

How far did I shoot?

Riccardo

Re: A curiosity about the RM

[Aay Jay Chan]

It is indeed a version number. See the last paragraph of the Introduction of the RM.

http://www.ada-auth.org/standards/12rm/html/RM-0-2.html

Re: A curiosity about the RM

[J-P. Rosen]

Le 27/06/2014 10:53, mockturtle a écrit :
> Dear all, I just payed attention to the fact that some paragraphs in
> our beloved RM are labeled with a single number, while others are
> labeled with something like "number1/number2" (see, for example,
> http://www.ada-auth.org/standards/12rm/html/RM-1-1-2.html)
> 
> I am just curious about the difference.  I could do a wild guess by
> saying that "number2" is a kind of "version counter", so that when I
> say "Paragraph 1/3 of 1.1.2" I always refer to the same text,
> independently on the document version.
> 
> How far did I shoot?
Close enough ;-)

Paragraph without version number are unchanged since Ada83.
with /1, it's unchanged since Ada95, /2 Ada 2005, and /3 Ada 2012.


-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr

Re: A curiosity about the RM

[Dirk Craeynest]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 732 bytes --]

In article <lolimp$vmb$1@dont-email.me>, J-P. Rosen <rosen@adalog.fr> wrote:
>Le 27/06/2014 10:53, mockturtle a écrit :
>> Dear all, I just payed attention to the fact that some paragraphs in
>> our beloved RM are labeled with a single number, while others are
>> labeled with something like "number1/number2" (see, for example,
>> http://www.ada-auth.org/standards/12rm/html/RM-1-1-2.html)
[...]
>Paragraph without version number are unchanged since Ada83.
>with /1, it's unchanged since Ada95, /2 Ada 2005, and /3 Ada 2012.

For the format of paragraph numbers in the RM, see also paragraph
number 77.5/3 at the end of the Introduction of the RM, or directly:
http://www.ada-auth.org/standards/12rm/html/RM-0-2.html#p77.5

Dirk

Re: A curiosity about the RM

[J-P. Rosen]

Le 28/06/2014 08:19, Dirk Craeynest a écrit :
>> Paragraph without version number are unchanged since Ada83.
>> with /1, it's unchanged since Ada95, /2 Ada 2005, and /3 Ada 2012.
> 
> For the format of paragraph numbers in the RM, see also paragraph
> number 77.5/3 at the end of the Introduction of the RM, or directly:
> http://www.ada-auth.org/standards/12rm/html/RM-0-2.html#p77.5
> 
Hmm... which means that in my note above, I'm off by one version of the
standard!

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr

Re: A curiosity about the RM

[Robert A Duff]

"J-P. Rosen" <rosen@adalog.fr> writes:

> Le 28/06/2014 08:19, Dirk Craeynest a écrit :
>>> Paragraph without version number are unchanged since Ada83.
>>> with /1, it's unchanged since Ada95, /2 Ada 2005, and /3 Ada 2012.
>> 
>> For the format of paragraph numbers in the RM, see also paragraph
>> number 77.5/3 at the end of the Introduction of the RM, or directly:
>> http://www.ada-auth.org/standards/12rm/html/RM-0-2.html#p77.5
>> 
> Hmm... which means that in my note above, I'm off by one version of the
> standard!

No attempt was made to keep track of changes between 83 & 95 on a
per-paragraph basis.

- Bob

Re: A curiosity about the RM

[mockturtle]

Thank you everyone for your replies and for the link at the end of the introduction.  I guessed that the notation was explained somewhere in the manual, so I wandered about a bit, but the end of the introduction escaped me.

Riccardo