CVS difference for ais/ai-00116.txt
--- ais/ai-00116.txt 1999/10/08 23:41:05 1.5
+++ ais/ai-00116.txt 2000/06/21 23:39:08 1.6
@@ -1,4 +1,4 @@
-!standard 09.01 (09) 99-10-07 AI95-00116/04
+!standard 09.01 (09) 00-06-21 AI95-00116/05
!class binding interpretation 98-03-27
!status Corrigendum 2000 99-07-28
!status WG9 approved 98-06-12
@@ -25,23 +25,14 @@
include a task_definition.
Paragraph 10 says that the elaboration of a task declaration elaborates
-the task_definition; what if there isn't one?
+the task_definition; what if there isn't one? (An empty task_definition
Paragraph 11 says the elaboration of a task_definition creates the task
type and its first subtype; if there is no task_definition, when are
-the task type and its first subtype created?
+the task type and its first subtype created? (There is an empty
-The intent seems obvious. A good fix would be to state that
- task type TT;
-is equivalent to
- task type TT is
- end TT;
-providing an implicit task_definition.
@@ -50,15 +41,24 @@
Insert after paragraph 9.1 (9):
-For a task declaration without task_definition, a
+For a task declaration without a task_definition, a
task_definition without task_items is assumed.
The question not only applies to the syntax of 9.1(2) , but equally
to the syntax of 9.1(3), i.e., to all task declarations.
+The intent is clear. The fix means that
+ task type TT;
+is equivalent to
+ task type TT is
+ end TT;
-The intent is clear and is as stated in the summary above.
+providing an implicit, empty task_definition.
Questions? Ask the ACAA Technical Agent