2008-08-04 Kevin Pouget <pouget@adacore.com>

	* snames.h, snames.adb, snames.ads:
	Add Attr_To_Any, Attr_From_Any and Attr_TypeCode defines.

	* exp_dist.ads, exp_dist.adb: Add Build_From_Any_Call,
	Build_To_Any_Call and Build_TypeCode_Call procedures.

	* exp_attr.adb, sem_attr.adb: Add corresponding cases.

	* rtsfind.ads: Add corresponding names.

	* tbuild.adb: Update prefix restrictions to allow '_' character.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138598 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 33 insertions, 0 deletions

diff --git a/gcc/ada/exp_dist.ads b/gcc/ada/exp_dist.ads
index a1418d3f6bb..26995a8b9f9 100644
--- a/gcc/ada/exp_dist.ads
+++ b/gcc/ada/exp_dist.ads
@@ -129,4 +129,37 @@ package Exp_Dist is
    --  a remote call) satisfies the requirements for being transportable
    --  across partitions, raising Program_Error if it does not.
 
+   ----------------------------------------------------------------
+   -- Functions for expansion of PolyORB/DSA specific attributes --
+   ----------------------------------------------------------------
+
+   function Build_From_Any_Call
+     (Typ   : Entity_Id;
+      N     : Node_Id;
+      Decls : List_Id) return Node_Id;
+   --  Build call to From_Any attribute function of type Typ with expression
+   --  N as actual parameter. Decls is the declarations list for an appropriate
+   --  enclosing scope of the point where the call will be inserted; if the
+   --  From_Any attribute for Typ needs to be generated at this point, its
+   --  declaration is appended to Decls.
+
+   function Build_To_Any_Call
+     (N     : Node_Id;
+      Decls : List_Id) return Node_Id;
+   --  Build call to To_Any attribute function with expression as actual
+   --  parameter. Decls is the declarations list for an appropriate
+   --  enclosing scope of the point where the call will be inserted; if
+   --  the To_Any attribute for Typ needs to be generated at this point,
+   --  its declaration is appended to Decls.
+
+   function Build_TypeCode_Call
+     (Loc   : Source_Ptr;
+      Typ   : Entity_Id;
+      Decls : List_Id) return Node_Id;
+   --  Build call to TypeCode attribute function for Typ. Decls is the
+   --  declarations list for an appropriate enclosing scope of the point
+   --  where the call will be inserted; if the To_Any attribute for Typ
+   --  needs to be generated at this point, its declaration is appended
+   --  to Decls.
+
 end Exp_Dist;