CVS difference for ai12s/ai12-0180-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0180-1.txt

--- ai12s/ai12-0180-1.txt	2016/01/05 06:42:45	1.1
+++ ai12s/ai12-0180-1.txt	2016/07/12 03:28:11	1.2
@@ -1,5 +1,7 @@
-!standard 13.1.1(12/3)                                 16-01-05  AI12-0180-1/01
+!standard 13.1.1(12/3)                                 16-07-11  AI12-0180-1/02
 !class binding interpretation 16-01-05
+!status Amendment 1-2012 16-07-11
+!status ARG Approved 10-0-1  16-06-11
 !status work item 16-01-05
 !status received 15-12-09
 !priority Low
@@ -8,7 +10,7 @@
 !subject Using protected subprograms and entries within an invariant
 !summary
 
-Entries and protected subprograms are directly visible with an aspect
+Entries and protected subprograms are directly visible within an aspect
 specification for a (task or protected) type.
 
 !question
@@ -20,7 +22,7 @@
   subprograms, and entries are directly visible, and the name of the
   first subtype denotes the current instance of the type (see 8.6).
 
-The Standard, hoever, says:
+The Standard, however, says:
 
   If the associated declaration is a type_declaration, within the
   aspect_definition the names of any components are directly visible,
@@ -59,6 +61,29 @@
 This appears to be an editing error where the !wording and !corrigendum
 sections did not match in AI05-0183-1, which prevented the checking tools
 from detecting a problem.
+
+!corrigendum 13.1.1(12/3)
+
+@drepl
+If the associated declaration is for a subprogram or entry, the names of the
+formal parameters are directly visible within the @fa<aspect_definition>, as are certain
+attributes, as specified elsewhere in this International Standard for the
+identified aspect. If the associated declaration is a @fa<type_declaration>, within
+the @fa<aspect_definition> the names of any components are directly visible, and the
+name of the first subtype denotes the current instance of the type (see 8.6). If the
+associated declaration is a @fa<subtype_declaration>, within the
+@fa<aspect_definition> the name of the new subtype denotes the current instance
+of the subtype.
+@dby
+If the associated declaration is for a subprogram or entry, the names of the
+formal parameters are directly visible within the @fa<aspect_definition>, as
+are certain attributes, as specified elsewhere in this International Standard
+for the identified aspect. If the associated declaration is a @fa<type_declaration>,
+within the @fa<aspect_definition> the names of any visible components, protected
+subprograms, and entries are directly visible, and the name of the first subtype
+denotes the current instance of the type (see 8.6). If the associated declaration
+is a @fa<subtype_declaration>, within the @fa<aspect_definition> the name of the
+new subtype denotes the current instance of the subtype.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent