--- 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