!standard 3.3(23) 11-08-10 AI05-0264-1/01
!standard 4.5.2(28)
!class presentation 11-08-10
!status Amendment 2012 11-08-10
!status work item 11-08-10
!status received 11-04-17
!priority Low
!difficulty Easy
!subject Add missing commas and other editorial changes in the standard
!summary
Make various editorial changes in the Standard.
!question
There are number of places in the Standard where commas and other
punctuation are used incorrectly. Should these be fixed? (Yes.)
!recommendation
(See Summary.)
!wording
[Note: /3 paragraph numbers are from draft 13.]
Instances of "otherwise" that should be followed by a comma:
------------------------------------------------------------
3.3(23) "otherwise{,} the subtype ..."
3.3.1(6) "Otherwise{,} it is called ..."
3.5(30/2) "otherwise{,} the sequence of ..."
3.5(37/2) "otherwise{,} the sequence of ..."
3.5(39.4/2) "otherwise{,} Constraint_Error ..."
3.5(39.5/2) "otherwise{,} Constraint_Error ..."
3.5(39.12/2) "otherwise{,} Constraint_Error ..."
3.5(43/2) "otherwise{,} Constraint_Error ..."
3.5(55/2) "otherwise{,} Constraint_Error ..."
3.10(12/2) "otherwise{,} it is an access-to-variable type."
3.10(14/1) "otherwise{,} it is constrained."
4.5.2(26) "otherwise{,} the left operand ..."
4.5.2(28.1/3) "otherwise{,} the test uses ..."
4.5.2(31) "Otherwise{,} the test yields ..."
4.5.7(10/3) "; otherwise{,}"
4.5.7(11/3) "; otherwise{,}"
4.5.7(12/3) "; otherwise{,}"
4.6(26) "otherwise{,} it is a constant ..."
5.3(5) "otherwise{,} none of them is executed."
6.3.1(13.1/2) "and{,} otherwise{,} is the convention ..."
6.5(8/3) "if it is specific, or{,} otherwise{,} that of the value ..."
9.5.3(6) "otherwise{,} it is closed."
9.5.3(7) "otherwise{,} it is closed."
9.8(20) "otherwise{,} the operations proceed ..."
10.1.4(4/1) "otherwise{,} the subprogram_body ..."
12.5.1(23) "otherwise{,} it yields False."
13.3.1(8/3) "otherwise{,} the prefix ..."
13.13.2(9.2/2) "otherwise{,} the range is signed."
A.4.2(32) "otherwise{,} the returned value ..."
A.4.2(36) "otherwise{,} the shortest array ..."
A.4.3(58.2/2) "otherwise{,} returns"
A.4.3(60.2/2) "otherwise{,} returns"
A.4.3(78) "otherwise{,} returns ..."
A.4.3(82) "otherwise{,} returns ..."
A.4.3(86/1) "otherwise{,} it is source ..."
A.4.3(98) "Otherwise{,} its contents ..."
A.4.3(102) "Otherwise{,} its contents ..."
A.4.3(107) "Otherwise{,} the pattern ..."
A.4.4(87) "Otherwise{,} the effect ..."
A.8.2(28) "[,]{;} otherwise{,} returns False."
A.8.3(9) "otherwise{,} returns False."
A.8.5(15) "otherwise{,} returns False."
A.10.5(13) "otherwise{,} returns False."
A.10.5(22) "otherwise{,} returns False."
A.10.5(25) "otherwise{,} returns False."
A.10.7(8/3) "Otherwise{,} End_Of_Line is ..."
A.12.1(28.3/2) "otherwise{,} it returns False."
A.12.1(28.4/2) "otherwise{,} it returns False."
A.15(12) "Otherwise{,} it returns 0."
A.15(16) "otherwise{,} Command_Name returns ..."
A.16(81/2) "Otherwise{,} Name is ..."
A.17(13/2) "otherwise{,} it returns False."
A.17(15/2) "Otherwise{,} Program_Error ..."
A.17(19/2) "Otherwise{,} Program_Error ..."
A.17(21/2) "Otherwise{,} Program_Error ..."
A.17(23/2) "Otherwise{,} Program_Error ..."
A.18.1(135/2) "Otherwise{,} Replace_Element ..."
A.18.2(99/2) "otherwise{,} it returns True."
A.18.2(119/2) "otherwise{,} elements are removed ..."
A.18.2(133/2) "Otherwise{,} Replace_Element ..."
A.18.2(135/2) "Otherwise{,} Replace_Element ..."
A.18.2(145/2) "Otherwise{,} Replace_Element ..."
A.18.2(154/2) "otherwise{,} The call is ..."
A.18.2(182/2) "Otherwise{,} Delete ..."
A.18.2(188/2) "Otherwise{,} it is equivalent ..."
A.18.2(218/2) "Otherwise{,} Find ..."
A.18.2(222/2) "Otherwise{,} Reverse_Find ..."
A.18.3(71/2) "otherwise{,} it returns True."
A.18.3(81/2) "Otherwise{,} Replace_Element ..."
A.18.3(85/2) "Otherwise{,} Update_Element ..."
A.18.3(100/2) "Otherwise{,} Delete ..."
A.18.3(104/2) "Otherwise{,} it removes ..."
A.18.3(114/2) "Otherwise{,} the element ..."
A.18.3(118/2) "Otherwise{,} it returns ..."
A.18.3(122/2) "Otherwise{,} it returns ..."
A.18.4(36/2) "Otherwise{,} Replace_Element ..."
A.18.4(40/2) "Otherwise{,} Update_Element ..."
A.18.6(60/2) "Otherwise{,} the node ..."
A.18.6(74/2) "Otherwise{,} Previous ..."
A.18.6(78/2) "Otherwise{,} No_Element ..."
A.18.6(80/2) "Otherwise{,} No_Element ..."
A.18.7(70/2) "Otherwise{,} it returns False."
A.18.7(72/2) "Otherwise{,} it returns True."
A.18.9(83/2) "Otherwise{,} the element ..."
A.18.9(85/2) "Otherwise{,} the element ..."
A.18.9(93/2) "Otherwise{,} Previous ..."
A.18.9(97/2) "Otherwise{,} No_Element ..."
A.18.9(99/2) "Otherwise{,} No_Element ..."
A.18.10(82/3) "otherwise{,} it returns True ..."
A.18.10(92/3) "otherwise{,} Depth ..."
A.18.10(104/3) "Otherwise{,} Replace_Element ..."
A.18.10(108/3) "Otherwise{,} Update_Element ..."
A.18.10(117/3) "Otherwise{,} Delete_Leaf ..."
A.18.10(119/3) "Otherwise{,} Delete ..."
A.18.10(167/3) "Otherwise{,} the child elements ..."
A.18.21(14/3) "otherwise{,} the map modulus ..."
A.18.23(14/3) "otherwise{,} the set modulus ..."
A.18.27(10/3) "otherwise{,} Enqueue ..."
B.3.1(24/1) "otherwise{,} To_Chars_Ptr ..."
B.3.1(34/1) "Otherwise{,} Value ..."
B.3.1(36/1) "Otherwise{,} Value ..."
C.7.3(10/2) ",{;} otherwise{,} it is set ..."
C.7.3(11/2) "otherwise{,} it returns null."
C.7.3(12/2) ",{;} otherwise{,} it is set to ..."
C.7.3(13/2) ",{;} otherwise{,} it returns null ..."
D.2.5(8/2) "otherwise{,} it returns False."
D.14.1(15/2) "[,]{;} otherwise{,} it is set."
D.14.1(18/2) "otherwise{,} it returns null."
D.14.1(19/2) "otherwise{,} it is assigned False."
D.14.1(20/2) "otherwise{,} it returns Time_Span_Zero."
D.14.2(18/2) "otherwise{,} it return{s} False."
^^^ note additional typo
D.14.2(19/2) "otherwise{,} it returns False."
D.14.2(23/2) "otherwise{,} it returns False."
D.14.2(25/2) "[,]{;} otherwise{,} it is set."
D.14.2(27/2) "otherwise{,} it returns null."
D.14.2(28/2) "otherwise{,} it is assigned False."
D.14.3(7/3) "Otherwise{,} it returns False."
D.15(11/2) "[,]{;} otherwise{,} it is set."
D.15(16/2) "otherwise{,} it returns null."
D.15(17/2) "otherwise{,} it is assigned False."
D.15(18/2) "otherwise{,} it returns ..."
F.3.3(44) "Otherwise{,} unassigned ..."
K(51) "otherwise{,} it yields False."
K(83.4/3) "it is [f]{F}alse otherwise."
K(172.4/3) "it is [f]{F}alse otherwise."
One instance of "however" that should be followed by a comma:
-------------------------------------------------------------
6.8 "[,]{.} [however]{However,} an expression_function_declaration ..."
[Note: alternatively, use a ';' instead of ',' before 'however'.]
Instances of "then" that should be preceded by a comma:
-------------------------------------------------------
3.2.3(26) "constrained{,} then"
3.8(12) "derived_type_definition{,} then"
3.8.1(16) "scalar type{,} then"
13.5.1(13.2/2) "applies to the type{,} then"
13.13.2(9.1/3) "have defaults{,} then"
13.13.2(56.1/3) "have defaults{,} then"
A.4.2(36) "If Set = Null_Set{,} then"
A.4.3(45) "If Source is shorter than Target{,} then"
A.4.4(87) "If Source'Length <= Max_Length{,} then"
A.18.2(115/3) "equal to Capacity{,} then"
A.18.2(151/2) "greater than Index_Type'Last{,} then"
A.18.2(164/2) "greater than Index_Type'Last{,} then"
A.18.2(177/2) "greater than Index_Type'Last{,} then"
A.18.2(188/2) "If Length (Container) <= Count{,} then"
A.18.3(104/2) "If Length (Container) <= Count{,} then"
A.18.3(114/2) "If Position is No_Element{,} then"
A.18.3(116/2) "If Position is No_Element{,} then"
A.18.10(141/3) "If Parent already has child nodes{,} then"
A.18.10(143/3) "If Parent already has child nodes{,} then"
A.18.10(145/3) "If Parent already has child nodes{,} then"
A.18.10(153/3) "If Parent already has child nodes{,} then"
A.18.10(155/3) "If Parent already has child nodes{,} then"
A.18.10(156/3) "If Parent already has child nodes{,} then"
A.18.10(158/3) "If Parent already has child nodes{,} then"
A.18.10(164/3) "If Target_Parent already has child nodes{,} then"
A.18.10(165/3) "If Target_Parent already has child nodes{,} then"
A.18.10(167/3) "If Target_Parent already has child nodes{,} then"
A.18.19(11/3) "following conditions{,} then"
A.18.20(15/3) "following conditions{,} then"
A.18.21(16/3) "following conditions{,} then"
A.18.22(13/3) "following conditions{,} then"
A.18.23(16/3) "following conditions{,} then"
A.18.24(13/3) "following conditions{,} then"
A.18.25(15/3) "following conditions{,} then"
A.19(11/3) "from the environment{,} then"
A.19(12/3) "from the environment{,} then"
B.3(60.15/1) "If a type is C_Pass_By_Copy-compatible{,} then"
B.3.1(34) "If Item = Null_Ptr{,} then"
B.3.1(36/1) "If Item = Null_Ptr{,} then"
B.4(63/1) "digit characters{,} then"
D.2.4(2.3/3) "than the calling task{,} then"
D.2.6(13/2) "If there is no Relative_Deadline pragma{,} then"
D.2.6(33/2) "policy EDF_Across_Priorities{,} then"
D.5.2(5/2) "is in effect{,} then"
D.14.1(28/2) "If this limit is exceeded{,} then"
D.14.2(32/2) "when it terminates{,} then"
D.15(15/3) "in the past{,} then"
D.16(15/3) "is Not_A_Specific_CPU{,} then"
G.2.3(14) "otherwise, if truncation applies{,} then"
"whereas if rounding applies{,} then"
G.3(88/2) "if this is done{,} then"
G.3.2(158/2) "if this is done{,} then"
H.6(6/2) "for a partition{,} then"
H.6(15/2) "during elaboration{,} then"
H.6(16/2) "task activation fails{,} then"
M.3(130/2) "during elaboration{,} then"
Uncapitalized "False":
----------------------
11.5(2) "when the condition being checked is [false]{False}, ..."
13.3(73.4/3) "it is [false]{False} otherwise."
Actually, for consistency with similar rules, it would be better to move the "otherwise" to the beginning: "otherwise, it is False".
13.3(73.8/3) "it is [false]{False} otherwise."
Same comment as for 13.3(73.4/3).
K(83.4/3) "it is [false]{False} otherwise."
Same comment as for 13.3(73.4/3).
K(172.4/3) "it is [false]{False} otherwise."
Same comment as for 13.3(73.4/3).
Uncapitalized "True":
---------------------
4.5.2(38) Three instances of "true" in example comments that should "True".
13.3(73.4/3) "and returns [true]{True} if"
13.3(73.8/3) "and returns [true]{True} if"
K(83.4/3) "and returns [true]{True} if"
K(172.4/3) "and returns [true]{True} if"
M.3(119/2) "If Real'Signed_Zeros is [true]{True}"
M.3(120/2) "If Complex_Types.Real'Signed_Zeros is [true]{True}"
!discussion
We only have !standard and !corrigendum references for
paragraphs that are changed by other AIs. Otherwise, we are treating
these as normal editorial changes.
!ACATS Test
None needed.
!ASIS
No change needed.
!appendix
From: Gary Dismukes
Sent: Sunday, April 17, 2011 12:23 AM
> Gary Dismukes:
> Study standard for missing commas (such as after Otherwise{,}) that
> need to be added and cannot be construed to change the meaning.
> Provide Randy with a list of clause/paragraph numbers needing such
> changes (these will be made with minimum fuss, in particular we will
> not include these in the Amendment document).
Here's a list of missing commas in the new RM, which I was asked to put together
as homework from the last phone meeting.
This isn't claimed to be complete of course, but is just an attempt to identify common
cases such as following 'otherwise' and 'however', and preceding 'then', in order
to make the RM more consistent.
I've also noted a small number of other corrections that I happened to notice along the way.
Instances of "otherwise" that should be followed by a comma:
------------------------------------------------------------
3.3(23) "otherwise{,} the subtype ..."
3.3.1(6) "Otherwise{,} it is called ..."
3.5(30/2) "otherwise{,} the sequence of ..."
3.5(37/2) "otherwise{,} the sequence of ..."
3.5(39.4/2) "otherwise{,} Constraint_Error ..."
3.5(39.5/2) "otherwise{,} Constraint_Error ..."
3.5(39.12/2) "otherwise{,} Constraint_Error ..."
3.5(43/2) "otherwise{,} Constraint_Error ..."
3.5(55/2) "otherwise{,} Constraint_Error ..."
3.10(12/2) "otherwise{,} it is an access-to-variable type."
3.10(14/1) "otherwise{,} it is constrained."
4.5.2(26) "otherwise{,} the left operand ..."
4.5.2(28.1/3) "otherwise{,} the test uses ..."
4.5.2(31) "Otherwise{,} the test yields ..."
4.5.7(10/3) "; otherwise{,}"
4.5.7(11/3) "; otherwise{,}"
4.5.7(12/3) "; otherwise{,}"
4.6(26) "otherwise{,} it is a constant ..."
5.3(5) "otherwise{,} none of them is executed."
6.3.1(13.1/2) "and{,} otherwise{,} is the convention ..."
6.5(8/3) "if it is specific, or{,} otherwise{,} that of the value ..."
9.5.3(6) "otherwise{,} it is closed."
9.5.3(7) "otherwise{,} it is closed."
9.8(20) "otherwise{,} the operations proceed ..."
10.1.4(4/1) "otherwise{,} the subprogram_body ..."
12.5.1(23) "otherwise{,} it yields False."
13.3.1(8/3) "otherwise{,} the prefix ..."
13.13.2(9.2/2) "otherwise{,} the range is signed."
A.4.2(32) "otherwise{,} the returned value ..."
A.4.2(36) "otherwise{,} the shortest array ..."
A.4.3(58.2/2) "otherwise{,} returns"
A.4.3(60.2/2) "otherwise{,} returns"
A.4.3(78) "otherwise{,} returns ..."
A.4.3(82) "otherwise{,} returns ..."
A.4.3(86/1) "otherwise{,} it is source ..."
A.4.3(98) "Otherwise{,} its contents ..."
A.4.3(102) "Otherwise{,} its contents ..."
A.4.3(107) "Otherwise{,} the pattern ..."
A.4.4(87) "Otherwise{,} the effect ..."
A.8.2(28) "[,]{;} otherwise{,} returns False."
A.8.3(9) "otherwise{,} returns False."
A.8.5(15) "otherwise{,} returns False."
A.10.5(13) "otherwise{,} returns False."
A.10.5(22) "otherwise{,} returns False."
A.10.5(25) "otherwise{,} returns False."
A.10.7(8/3) "Otherwise{,} End_Of_Line is ..."
A.12.1(28.3/2) "otherwise{,} it returns False."
A.12.1(28.4/2) "otherwise{,} it returns False."
A.15(12) "Otherwise{,} it returns 0."
A.15(16) "otherwise{,} Command_Name returns ..."
A.16(81/2) "Otherwise{,} Name is ..."
A.17(13/2) "otherwise{,} it returns False."
A.17(15/2) "Otherwise{,} Program_Error ..."
A.17(19/2) "Otherwise{,} Program_Error ..."
A.17(21/2) "Otherwise{,} Program_Error ..."
A.17(23/2) "Otherwise{,} Program_Error ..."
A.18.1(135/2) "Otherwise{,} Replace_Element ..."
A.18.2(99/2) "otherwise{,} it returns True."
A.18.2(119/2) "otherwise{,} elements are removed ..."
A.18.2(133/2) "Otherwise{,} Replace_Element ..."
A.18.2(135/2) "Otherwise{,} Replace_Element ..."
A.18.2(145/2) "Otherwise{,} Replace_Element ..."
A.18.2(154/2) "otherwise{,} The call is ..."
A.18.2(182/2) "Otherwise{,} Delete ..."
A.18.2(188/2) "Otherwise{,} it is equivalent ..."
A.18.2(218/2) "Otherwise{,} Find ..."
A.18.2(222/2) "Otherwise{,} Reverse_Find ..."
A.18.3(71/2) "otherwise{,} it returns True."
A.18.3(81/2) "Otherwise{,} Replace_Element ..."
A.18.3(85/2) "Otherwise{,} Update_Element ..."
A.18.3(100/2) "Otherwise{,} Delete ..."
A.18.3(104/2) "Otherwise{,} it removes ..."
A.18.3(114/2) "Otherwise{,} the element ..."
A.18.3(118/2) "Otherwise{,} it returns ..."
A.18.3(122/2) "Otherwise{,} it returns ..."
A.18.4(36/2) "Otherwise{,} Replace_Element ..."
A.18.4(40/2) "Otherwise{,} Update_Element ..."
A.18.6(60/2) "Otherwise{,} the node ..."
A.18.6(74/2) "Otherwise{,} Previous ..."
A.18.6(78/2) "Otherwise{,} No_Element ..."
A.18.6(80/2) "Otherwise{,} No_Element ..."
A.18.7(70/2) "Otherwise{,} it returns False."
A.18.7(72/2) "Otherwise{,} it returns True."
A.18.9(83/2) "Otherwise{,} the element ..."
A.18.9(85/2) "Otherwise{,} the element ..."
A.18.9(93/2) "Otherwise{,} Previous ..."
A.18.9(97/2) "Otherwise{,} No_Element ..."
A.18.9(99/2) "Otherwise{,} No_Element ..."
A.18.10(82/3) "otherwise{,} it returns True ..."
A.18.10(92/3) "otherwise{,} Depth ..."
A.18.10(104/3) "Otherwise{,} Replace_Element ..."
A.18.10(108/3) "Otherwise{,} Update_Element ..."
A.18.10(117/3) "Otherwise{,} Delete_Leaf ..."
A.18.10(119/3) "Otherwise{,} Delete ..."
A.18.10(167/3) "Otherwise{,} the child elements ..."
A.18.21(14/3) "otherwise{,} the map modulus ..."
A.18.23(14/3) "otherwise{,} the set modulus ..."
A.18.27(10/3) "otherwise{,} Enqueue ..."
B.3.1(24/1) "otherwise{,} To_Chars_Ptr ..."
B.3.1(34/1) "Otherwise{,} Value ..."
B.3.1(36/1) "Otherwise{,} Value ..."
C.7.3(10/2) ",{;} otherwise{,} it is set ..."
C.7.3(11/2) "otherwise{,} it returns null."
C.7.3(12/2) ",{;} otherwise{,} it is set to ..."
C.7.3(13/2) ",{;} otherwise{,} it returns null ..."
D.2.5(8/2) "otherwise{,} it returns False."
D.14.1(15/2) "[,]{;} otherwise{,} it is set."
D.14.1(18/2) "otherwise{,} it returns null."
D.14.1(19/2) "otherwise{,} it is assigned False."
D.14.1(20/2) "otherwise{,} it returns Time_Span_Zero."
D.14.2(18/2) "otherwise{,} it return{s} False."
^^^ note additional typo
D.14.2(19/2) "otherwise{,} it returns False."
D.14.2(23/2) "otherwise{,} it returns False."
D.14.2(25/2) "[,]{;} otherwise{,} it is set."
D.14.2(27/2) "otherwise{,} it returns null."
D.14.2(28/2) "otherwise{,} it is assigned False."
D.14.3(7/3) "Otherwise{,} it returns False."
D.15(11/2) "[,]{;} otherwise{,} it is set."
D.15(16/2) "otherwise{,} it returns null."
D.15(17/2) "otherwise{,} it is assigned False."
D.15(18/2) "otherwise{,} it returns ..."
F.3.3(44) "Otherwise{,} unassigned ..."
K(51) "otherwise{,} it yields False."
K(83.4/3) "it is [f]{F}alse otherwise."
K(172.4/3) "it is [f]{F}alse otherwise."
One instance of "however" that should be followed by a comma:
-------------------------------------------------------------
6.8 "[,]{.} [however]{However,} an expression_function_declaration ..."
[Note: alternatively, use a ';' instead of ',' before 'however'.]
Instances of "then" that should be preceded by a comma:
-------------------------------------------------------
3.2.3(26) "constrained{,} then"
3.8(12) "derived_type_definition{,} then"
3.8.1(16) "scalar type{,} then"
13.5.1(13.2/2) "applies to the type{,} then"
13.13.2(9.1/3) "have defaults{,} then"
13.13.2(56.1/3) "have defaults{,} then"
A.4.2(36) "If Set = Null_Set{,} then"
A.4.3(45) "If Source is shorter than Target{,} then"
A.4.4(87) "If Source'Length <= Max_Length{,} then"
A.18.2(115/3) "equal to Capacity{,} then"
A.18.2(151/2) "greater than Index_Type'Last{,} then"
A.18.2(164/2) "greater than Index_Type'Last{,} then"
A.18.2(177/2) "greater than Index_Type'Last{,} then"
A.18.2(188/2) "If Length (Container) <= Count{,} then"
A.18.3(104/2) "If Length (Container) <= Count{,} then"
A.18.3(114/2) "If Position is No_Element{,} then"
A.18.3(116/2) "If Position is No_Element{,} then"
A.18.10(141/3) "If Parent already has child nodes{,} then"
A.18.10(143/3) "If Parent already has child nodes{,} then"
A.18.10(145/3) "If Parent already has child nodes{,} then"
A.18.10(153/3) "If Parent already has child nodes{,} then"
A.18.10(155/3) "If Parent already has child nodes{,} then"
A.18.10(156/3) "If Parent already has child nodes{,} then"
A.18.10(158/3) "If Parent already has child nodes{,} then"
A.18.10(164/3) "If Target_Parent already has child nodes{,} then"
A.18.10(165/3) "If Target_Parent already has child nodes{,} then"
A.18.10(167/3) "If Target_Parent already has child nodes{,} then"
A.18.19(11/3) "following conditions{,} then"
A.18.20(15/3) "following conditions{,} then"
A.18.21(16/3) "following conditions{,} then"
A.18.22(13/3) "following conditions{,} then"
A.18.23(16/3) "following conditions{,} then"
A.18.24(13/3) "following conditions{,} then"
A.18.25(15/3) "following conditions{,} then"
A.19(11/3) "from the environment{,} then"
A.19(12/3) "from the environment{,} then"
B.3(60.15/1) "If a type is C_Pass_By_Copy-compatible{,} then"
B.3.1(34) "If Item = Null_Ptr{,} then"
B.3.1(36/1) "If Item = Null_Ptr{,} then"
B.4(63/1) "digit characters{,} then"
D.2.4(2.3/3) "than the calling task{,} then"
D.2.6(13/2) "If there is no Relative_Deadline pragma{,} then"
D.2.6(33/2) "policy EDF_Across_Priorities{,} then"
D.5.2(5/2) "is in effect{,} then"
D.14.1(28/2) "If this limit is exceeded{,} then"
D.14.2(32/2) "when it terminates{,} then"
D.15(15/3) "in the past{,} then"
D.16(15/3) "is Not_A_Specific_CPU{,} then"
G.2.3(14) "otherwise, if truncation applies{,} then"
"whereas if rounding applies{,} then"
G.3(88/2) "if this is done{,} then"
G.3.2(158/2) "if this is done{,} then"
H.6(6/2) "for a partition{,} then"
H.6(15/2) "during elaboration{,} then"
H.6(16/2) "task activation fails{,} then"
M.3(130/2) "during elaboration{,} then"
Uncapitalized "False":
----------------------
11.5(2) "when the condition being checked is [false]{False}, ..."
13.3(73.4/3) "it is [false]{False} otherwise."
Actually, for consistency with similar rules, it would be better to move the "otherwise" to the beginning: "otherwise, it is False".
13.3(73.8/3) "it is [false]{False} otherwise."
Same comment as for 13.3(73.4/3).
K(83.4/3) "it is [false]{False} otherwise."
Same comment as for 13.3(73.4/3).
K(172.4/3) "it is [false]{False} otherwise."
Same comment as for 13.3(73.4/3).
Uncapitalized "True":
---------------------
4.5.2(38) Three instances of "true" in example comments that should "True".
13.3(73.4/3) "and returns [true]{True} if"
13.3(73.8/3) "and returns [true]{True} if"
K(83.4/3) "and returns [true]{True} if"
K(172.4/3) "and returns [true]{True} if"
M.3(119/2) "If Real'Signed_Zeros is [true]{True}"
M.3(120/2) "If Complex_Types.Real'Signed_Zeros is [true]{True}"
One AARM typo I noticed:
------------------------
AARM E.2.2(20.c/2) Typo: "(otherwise there would be a signficant..."
"signficant" => "significant"
---(end of list of RM corrections)---
****************************************************************