CVS difference for ais/ai-00119.txt
--- ais/ai-00119.txt 2000/06/22 23:29:23 1.8
+++ ais/ai-00119.txt 2000/07/15 02:29:57 1.9
@@ -1,4 +1,4 @@
-!standard 01.01.03 (15) 00-01-24 AI95-00119/04
+!standard 01.01.03 (15) 00-07-13 AI95-00119/05
!class ramification 98-05-05
!status Response 2000 00-01-24
!status WG9 approved 99-06-12
@@ -9,8 +9,8 @@
!status received 96-04-04
-!subject Is Normal Termination an "External Interaction"?
+!subject Is normal termination an "external interaction"?
@@ -19,8 +19,8 @@
Is the normal termination of a program with no function result or
-parameters an external interaction? It isn't defined as one in
-paragraphs 9..14 of 1.1.3.
+parameters an external interaction? (Yes.) It isn't defined as one in
In particular, the following main program has no external interactions
as defined in 1.1.3:
@@ -32,7 +32,7 @@
-May an implementation optimize out the infinite loop? The
+May an implementation optimize out the infinite loop? (No.) The
resulting program also has no external interactions; the only
difference is that it terminates.
@@ -45,7 +45,7 @@
10.2 (2) says that a main subprogram "can be invoked from
-outside the Ada implementation". RM A.15 goes on to describe the
+outside the Ada implementation". A.15 goes on to describe the
possible interactions of a main subprogram with the "external
execution environment", including the possibility that a main
subprogram may return a status value. In particular "Normal
Questions? Ask the ACAA Technical Agent