From: Robert Dewar Date: Fri, 22 Aug 2008 13:25:50 +0000 (+0200) Subject: exp_ch7.ads: Put routines in proper alpha order X-Git-Tag: releases/gcc-4.4.0~2946 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=77cde6106be662d26b942401b92334ea5f08ae17;p=thirdparty%2Fgcc.git exp_ch7.ads: Put routines in proper alpha order 2008-08-22 Robert Dewar * exp_ch7.ads: Put routines in proper alpha order From-SVN: r139461 --- diff --git a/gcc/ada/exp_ch7.ads b/gcc/ada/exp_ch7.ads index 213b4eed542b..b6c3ff26c241 100644 --- a/gcc/ada/exp_ch7.ads +++ b/gcc/ada/exp_ch7.ads @@ -57,13 +57,6 @@ package Exp_Ch7 is function Controller_Component (Typ : Entity_Id) return Entity_Id; -- Returns the entity of the component whose name is 'Name_uController' - function Needs_Finalization (T : Entity_Id) return Boolean; - -- True if T potentially needs finalization actions. True if T is - -- controlled, or has subcomponents. Also True if T is a class-wide type, - -- because some type extension might add controlled subcomponents, except - -- that if pragma Restrictions (No_Finalization) applies, this is False for - -- class-wide types. - function CW_Or_Has_Controlled_Part (T : Entity_Id) return Boolean; -- True if T is a class-wide type, or if it has controlled parts ("part" -- means T or any of its subcomponents). This is the same as @@ -71,6 +64,11 @@ package Exp_Ch7 is -- applies, in which case we know that class-wide objects do not contain -- controlled parts. + procedure Expand_Ctrl_Function_Call (N : Node_Id); + -- Expand a call to a function returning a controlled value. That is to + -- say attach the result of the call to the current finalization list, + -- which is the one of the transient scope created for such constructs. + function Find_Final_List (E : Entity_Id; Ref : Node_Id := Empty) return Node_Id; @@ -163,15 +161,17 @@ package Exp_Ch7 is -- object but not when finalizing the target of an assignment, it is not -- necessary either on scope exit. - procedure Expand_Ctrl_Function_Call (N : Node_Id); - -- Expand a call to a function returning a controlled value. That is to - -- say attach the result of the call to the current finalization list, - -- which is the one of the transient scope created for such constructs. - function Make_Handler_For_Ctrl_Operation (Loc : Source_Ptr) return Node_Id; -- Generate an implicit exception handler with an 'others' choice, -- converting any occurrence to a raise of Program_Error. + function Needs_Finalization (T : Entity_Id) return Boolean; + -- True if T potentially needs finalization actions. True if T is + -- controlled, or has subcomponents. Also True if T is a class-wide type, + -- because some type extension might add controlled subcomponents, except + -- that if pragma Restrictions (No_Finalization) applies, this is False for + -- class-wide types. + -------------------------------------------- -- Task and Protected Object finalization -- --------------------------------------------