diff --git a/compilers/idlac/idl_fe-tree-synthetic.ads b/compilers/idlac/idl_fe-tree-synthetic.ads index c4929e57e..e0eeb4a37 100644 --- a/compilers/idlac/idl_fe-tree-synthetic.ads +++ b/compilers/idlac/idl_fe-tree-synthetic.ads @@ -42,71 +42,48 @@ package Idl_Fe.Tree.Synthetic is --------------------------------------- function S_Type (Node : Node_Id) return Node_Id; - -- If Node is a Scoped_Name whose Value declares a type, - -- then S_Type denotes that type, else S_Type is No_Node. + -- If Node is a Scoped_Name whose Value declares a type, then S_Type + -- returns that type, else S_Type is No_Node. - function Default_Repository_Id - (Node : Node_Id) - return String; - -- The string of "/"-separated identifiers that makes - -- up the default repository id for Node. - -- Must be called only by the parser, before the - -- tree is expanded. + function Default_Repository_Id (Node : Node_Id) return String; + -- The string of "/"-separated identifiers that makes up the default + -- repository id for Node. + -- Must be called only by the parser, before the tree is expanded. - function Is_Interface_Type - (Node : Node_Id) - return Boolean; - -- True iff Node is a that denotes an - -- object reference type. + function Is_Interface_Type (Node : Node_Id) return Boolean; + -- True iff Node is a that denotes an object reference type - function Is_Gen_Scope - (Node : Node_Id) - return Boolean; - -- True iff Node is a generable Scope (ie K_Repository, - -- K_Ben_Idl_File, K_Module, K_Interface or K_ValueType). + function Is_Gen_Scope (Node : Node_Id) return Boolean; + -- True iff Node is a generable Scope (ie K_Repository, K_Ben_Idl_File, + -- K_Module, K_Interface or K_ValueType). - function Name - (Node : in Node_Id) - return String; - -- The name of a K_Named node. + function Name (Node : in Node_Id) return String; + -- The name of a K_Named node - function Original_Operation_Type - (Node : in Node_Id) - return Node_Id; + function Original_Operation_Type (Node : in Node_Id) return Node_Id; -- The type that was initially declared for an operation. - -- The type of a non-void operation that has inout or - -- out arguments is changed to void by the expander; - -- this returns the original, non-void type. + -- The type of a non-void operation that has inout or out arguments is + -- changed to void by the expander; this returns the original, non-void + -- type. - function Original_Parent_Scope - (Node : in Node_Id) - return Node_Id; - -- The scope wherein a K_Named node was initially - -- declared. This property never changes once it - -- is set by the parser. + function Original_Parent_Scope (Node : in Node_Id) return Node_Id; + -- The scope wherein a K_Named node was initially declared. This property + -- never changes once it is set by the parser. + -- + -- If Node is a Forward_Interface or Forward_ValueType that has a + -- corresponding actual declaration, then the Name and + -- Original_Parent_Scope returned are those of the actual declaration. - -- If Node is a Forward_Interface or Forward_ValueType - -- that has a corresponding actual declaration, then - -- the Name and Original_Parent_Scope returned are - -- those of the actual declaration. + function Parent_Scope (Node : in Node_Id) return Node_Id; + -- The scope wherein a K_Named node was declared. This property may be set + -- explicitly by the expander using Set_Parent_Scope. Otherwise, it is + -- equal to the Original_Parent_Scope of the node. - function Parent_Scope - (Node : in Node_Id) - return Node_Id; - -- The scope wherein a K_Named node was declared. This - -- property may be set explicitly by the expander - -- using Set_Parent_Scope. Otherwise, it is equal - -- to the Original_Parent_Scope of the node. - - procedure Set_Parent_Scope - (Node : in Node_Id; - To : in Node_Id); + procedure Set_Parent_Scope (Node : in Node_Id; To : in Node_Id); -- Explicitly change the parent scope of Node to To. -- Intended for use only by the expander. - function Idl_Repository_Id - (Node : in Node_Id) - return String; + function Idl_Repository_Id (Node : in Node_Id) return String; -- Return a Repository ID in OMG IDL format for K_Named Node -- (as defined in "10.6 RepositoryIds"). @@ -115,58 +92,39 @@ package Idl_Fe.Tree.Synthetic is function All_Ancestors (Node : Node_Id; - Exclude : Node_List := Nil_List) - return Node_List; - -- Return the list of all ancestors (direct or - -- indirect) of K_Interface Node. - -- If Exclude is not Nil_List, all nodes in Exclude - -- are ignored during the exploration. - -- It is up to the caller to Free the returned Node_List + Exclude : Node_List := Nil_List) return Node_List; + -- Return the list of all ancestors (direct or indirect) of K_Interface + -- Node. + -- If Exclude is not Nil_List, all nodes in Exclude are ignored during the + -- exploration. It is up to the caller to Free the returned Node_List -- after use. function Primary_Parent (Node : in Node_Id) return Node_Id; - -- return the first non abstract parent interface for an interface node, + -- Return the first non abstract parent interface for an interface node, -- and the first non abstract parent valuetype for a valuetype node. - -- returns No_Node if such a parent does not exist + -- Returns No_Node if such a parent does not exist - function Supports_Non_Abstract_Interface (Node : in Node_Id) - return Boolean; + function Supports_Non_Abstract_Interface (Node : in Node_Id) return Boolean; -- For a valuetype, returns true if it supports at least one - -- non abstract interface + -- non-abstract interface function Has_Local_Component (Node : in Node_Id) return Boolean; - -- For a node that is a type, True if the type is a local interface, - -- a forward declaration of a local interface, or a composite or - -- constructed type that has one such component, or that has a component - -- for which Has_Local_Component is True. + -- For a node that is a type, True if the type is a local interface, a + -- forward declaration of a local interface, or a composite or constructed + -- type that has one such component, or that has a component for which + -- Has_Local_Component is True. - function Integer_Value - (Node : Node_Id) - return Idl_Integer; - function Character_Value - (Node : Node_Id) - return Character; - function Float_Value - (Node : Node_Id) - return Idl_Float; - function String_Value - (Node : Node_Id) - return String; - function WString_Value - (Node : Node_Id) - return Wide_String; - function Boolean_Value - (Node : Node_Id) - return Boolean; - function Enum_Value - (Node : Node_Id) - return Node_Id; - -- Return the value of a constant expression - -- node as an {integer,char,string,boolean,enumerator}. + function Integer_Value (Node : Node_Id) return Idl_Integer; + function Character_Value (Node : Node_Id) return Character; + function Float_Value (Node : Node_Id) return Idl_Float; + function String_Value (Node : Node_Id) return String; + function WString_Value (Node : Node_Id) return Wide_String; + function Boolean_Value (Node : Node_Id) return Boolean; + function Enum_Value (Node : Node_Id) return Node_Id; + -- Return the value of a constant expression node as an + -- {integer,char,string,boolean,enumerator}. - procedure Set_String_Value - (Node : Node_Id; - Val : String); - -- Set the value of a string node. + procedure Set_String_Value (Node : Node_Id; Val : String); + -- Set the value of a string node end Idl_Fe.Tree.Synthetic;