CVS difference for ais/ai-00399.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00399.txt

--- ais/ai-00399.txt	2005/01/27 23:07:34	1.1
+++ ais/ai-00399.txt	2005/04/13 05:37:21	1.2
@@ -1,6 +1,8 @@
-!standard 9.1(3)                                    05-01-25  AI95-00399/01
+!standard 9.1(3)                                    05-03-08  AI95-00399/02
 !standard 9.4(3)
 !class amendment 05-01-25
+!status Amendment 200Y 05-03-08
+!status ARG Approved 8-0-2  05-02-12
 !status work item 05-01-25
 !status received 05-01-25
 !priority High
@@ -14,10 +16,10 @@
 !problem
 
 The current syntax only allows a task or protected *type* to implement (one or
-several) interfaces.  This is an unnecessary restriction: it makes perfect sense
+several) interfaces. This is an unnecessary restriction: it makes perfect sense
 for a single task or protected object declaration to implement an interface.
-There is no reason to make single task or protected objects less functional than
-types.  This is especially important if users want to take advantage of
+There is no reason to make single task or protected objects less functional
+than types. This is especially important if users want to take advantage of
 interfaces in existing code.
 
 !proposal
@@ -30,15 +32,15 @@
 
 	single_task_declaration ::=
 	   task defining_identifier [is
-           [new interface_list with]
-           task_definition];
+             [new interface_list with]
+             task_definition];
 
 Change 9.4(3) to read:
 
 	single_protected_declaration ::=
 	   protected defining_identifier is
-	   [new interface_list with]
-	   protected_definition;
+	     [new interface_list with]
+	     protected_definition;
 
 !discussion
 
@@ -51,7 +53,7 @@
 *implemented*, as shown by the example below:
 
 	type Map is protected interface;
-	procedure Put (M: Map; K : Key; V : Value);
+	procedure Put (M: Map; K : Key; V : Value) is abstract;
 
 	protected My_Protected_Map is
 	   new Map with
@@ -62,8 +64,30 @@
 
 !example
 
+(See discussion.)
 
---!corrigendum
+!corrigendum 9.1(3)
+
+@drepl
+@xcode<@fa<single_task_declaration ::=
+   >@ft<@b<task>>@fa< defining_identifier [>@ft<@b<is>>@fa< task_definition];>>
+@dby
+@xcode<@fa<single_task_declaration ::=
+   >@ft<@b<task>>@fa< defining_identifier [>@ft<@b<is>>@fa<
+     [>@ft<@b<new>>@fa< interface_list >@ft<@b<with>>@fa<]
+     task_definition];>>
+
+!corrigendum 9.4(3)
+
+@drepl
+@xcode<@fa<single_protected_declaration ::=
+   >@ft<@b<protected>>@fa< defining_identifier >@ft<@b<is>>@fa< protected_definition;>>
+@dby
+@xcode<@fa<single_protected_declaration ::=
+   >@ft<@b<protected>>@fa< defining_identifier >@ft<@b<is>>@fa<
+     [>@ft<@b<new>>@fa< interface_list >@ft<@b<with>>@fa<]
+     protected_definition;>>
+
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent