CVS difference for ai05s/ai05-0136-1.txt

Differences between 1.7 and version 1.8
Log of other versions for file ai05s/ai05-0136-1.txt

--- ai05s/ai05-0136-1.txt	2009/07/09 06:20:50	1.7
+++ ai05s/ai05-0136-1.txt	2009/07/11 03:06:22	1.8
@@ -351,7 +351,7 @@
    function Equal_Subtree (Left_Position : Cursor;
                            Right_Position: Cursor) return Boolean;
 
-      If Left_Position or Right_Position equals No_Element, raises
+      If Left_Position or Right_Position equals No_Element, propogates
       Constraint_Error. If the number of child nodes of the element designated
       by Left_Position is different than the number of child nodes of the
       element designated by Right_Position, the function returns False. If
@@ -925,10 +925,10 @@
       If Target_Parent does not designate a node in Target, then Program_Error
       is propagated. If Before is not equal to No_Element, and does not designate
       an element in Target, then Program_Error is propagated. If Source_Parent
-      equals No_Element, Constraint_Error is raised. If Source_Parent does not
+      equals No_Element, Constraint_Error is propagated. If Source_Parent does not
       designate a node in Source, then Program_Error is propagated. If Before
       is not equal to No_Element, and Target.Parent (Before) is not equal to
-      Target_Parent, then Constraint_Error is raised.
+      Target_Parent, then Constraint_Error is propagated.
 
       If Source denotes the same object as Target, then:
         * if Target_Parent equals Source_Parent there is no effect; else
@@ -970,10 +970,10 @@
       If Target_Parent does not designate a node in Container, then Program_Error
       is propagated. If Before is not equal to No_Element, and does not designate
       an element in Container, then Program_Error is propagated. If Source_Parent
-      equals No_Element, Constraint_Error is raised. If Source_Parent does not
+      equals No_Element, Constraint_Error is propagated. If Source_Parent does not
       designate a node in Container, then Program_Error is propagated. If Before
       is not equal to No_Element, and Container.Parent (Before) is not equal to
-      Target_Parent, then Constraint_Error is raised. If Target_Parent equals
+      Target_Parent, then Constraint_Error is propagated. If Target_Parent equals
       Source_Parent there is no effect. If Source_Parent is an ancestor of
       Target_Parent, then Constraint_Error is propagated. Otherwise the child
       elements (and their descendants) of Source_Parent are moved to be child
@@ -1212,7 +1212,7 @@
       Element_Type needs finalization.
 
     * The allocation of internal storage includes a check that the
-      capacity is not exceeded, and Capacity_Error is propagated
+      capacity is not exceeded, and Capacity_Error is raised
       if this check fails.
 
     * In procedure Assign, if Source length is greater than Target
@@ -1236,7 +1236,7 @@
     * In the five-parameter procedure Splice_Children, if Source is
       not the same object as Target, if the sum of if Target.Count
       and Subtree_Count (Source_Parent)-1 is greater than Target.Capacity,
-      then Splice_Children raises Capacity_Error.
+      then Splice_Children propagates Capacity_Error.
 
 Bounded Errors
 

Questions? Ask the ACAA Technical Agent