Christoph asks:
>Do you no longer persue the route of numbering insertions after line n with
n.1 ...?
We do that, but it's not that simple.
Early in Ada 2005, the topic came up about insertions in insertions. We
decided to let the numbers of insertions change if necessary (so we don't
have multiple levels of insertions).
That can be problematic in some areas. So we decided to try to reduce the
number of inserted paragraphs. (Note: This was discussed and decided at a
full ARG meeting. My personal preference was *not* where we ended up.)
Thus, the rules are essentially as follows:
Normative paragraphs should never change numbers (unless they are
inserted and another insertion is needed in front of them). We use inserted
paragraph numbers and "this paragraph was deleted" messages to ensure that
remains the case.
OTOH, we make no such guarantee for non-normative paragraphs. The editor
has discretion as to whether to allow the numbers to change. But it is
preferred that new paragraphs are not inserted if the only paragraphs that
change are non-normative.
I've generally interpreted this to mean that Notes and Examples can
change numbers without warning. When I check subclauses to ensure that no
numbers have changed since the last printed version, I look at the last
paragraph before any notes and examples, and that number should not have
changed. (I usually find a couple that have when I do such checks, but it
takes a long time to look at all 400+ clauses, so I usually only make that
check just before publishing a new final version.)
I do sometimes add inserted paragraphs when they strictly would not have
to be used, for instance to keep large numbers of AARM notes from changing
(a few is OK, but the large descriptive sets of notes shouldn't change, they
are much more likely to be referenced by someone). I did that in a number of
places when adding AI22-0055-1 (which I've finished now, but I have lots of
other things to add before I publish a new draft).
So, generally, categories like introductory text and Usage, which are
technically non-normative, are treated as normative for paragraph numbering
purposes. They *look* like they should have stable numbers, while Notes are
smaller and Examples are large blocks of code for which the paragraph
numbers are rarely useful.
Looking at the case in point (1.1.2), we have a newly inserted Category
directly in front of a Note and an Example. Indeed, there is nothing but
Notes and Examples before the end of the subclause. So it is *not* inserted,
and we allow the numbers of the others to change. If the new Category had
been inserted earlier, then it would have been given an inserted paragraph
number.
OK??
Randy.
________________________________________________________
You have received this message because you subscribed to the Ada-Comment
mailing list. To leave the Ada-Comment list, send an email with
'leave Ada-Comment' in the body to [email protected]. For help
on the other commands available, send 'help Ada-Comment' to the same address.
Problems? Send mail to [email protected]. This list is operated by the
Ada Resource Association, Inc., PO Box 8685, New York NY 10116-8685.
