CVS difference for ais/ai-00241.txt
--- ais/ai-00241.txt 2001/09/08 01:42:48 1.5
+++ ais/ai-00241.txt 2001/09/13 01:16:21 1.6
@@ -1,4 +1,4 @@
-!standard 11.4.1 (3) 01-09-07 AI95-00241/03
+!standard 11.4.1 (14) 01-09-11 AI95-00241/03
!class binding interpretation 00-11-19
!status ARG Approved 9-0-1 00-11-19
!status work item 00-10-04
@@ -10,7 +10,7 @@
The function Exception_Identity applied to Null_Occurrence returns
-Null_Id which can then be tested using the equality operation.
+Null_Id, which can then be tested using the equality operation.
@@ -21,8 +21,8 @@
-The call Exception_Identity(X) where X has the value Null_Occurrence
-should not raise Constraint_Error but return the value of Null_Id which
+The call Exception_Identity(X), where X has the value Null_Occurrence,
+should not raise Constraint_Error, but return the value of Null_Id which
can then be tested against Null_Id using the equality operation.
@@ -41,7 +41,7 @@
Null_Occurrence to represent the absence of an exception.
When displaying the log, it is necessary to determine whether a
-particular occurrence is Null_Occurrence, or an occurrence
+particular occurrence is Null_Occurrence or an occurrence
containing information about an exception.
Currently, it is difficult to test for Null_Occurrence because,
Questions? Ask the ACAA Technical Agent