1------------------------------------------------------------------------------
2--                                                                          --
3--                         GNAT COMPILER COMPONENTS                         --
4--                                                                          --
5--                             E X P _ D I S T                              --
6--                                                                          --
7--                                 S p e c                                  --
8--                                                                          --
9--          Copyright (C) 1992-1998 Free Software Foundation, Inc.          --
10--                                                                          --
11-- GNAT is free software;  you can  redistribute it  and/or modify it under --
12-- terms of the  GNU General Public License as published  by the Free Soft- --
13-- ware  Foundation;  either version 2,  or (at your option) any later ver- --
14-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
15-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
16-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
17-- for  more details.  You should have  received  a copy of the GNU General --
18-- Public License  distributed with GNAT;  see file COPYING.  If not, write --
19-- to  the Free Software Foundation,  59 Temple Place - Suite 330,  Boston, --
20-- MA 02111-1307, USA.                                                      --
21--                                                                          --
22-- GNAT was originally developed  by the GNAT team at  New York University. --
23-- Extensive contributions were provided by Ada Core Technologies Inc.      --
24--                                                                          --
25------------------------------------------------------------------------------
26
27--  This package contains utility routines used for the generation of the
28--  stubs relevant to the distribution annex.
29
30with Types; use Types;
31
32package Exp_Dist is
33
34   procedure Add_RAST_Features (Vis_Decl : in Node_Id);
35   --  Build and add bodies for dereference and 'Access subprograms for a
36   --  remote access to subprogram type. Vis_Decl is the declaration node for
37   --  the RAS type.
38
39   procedure Add_RACW_Features (RACW_Type : in Entity_Id);
40   --  Add RACW features. If the RACW and the designated type are not in the
41   --  same scope, then Add_RACW_Primitive_Declarations_And_Bodies is called
42   --  automatically since we do know the primitive list already.
43
44   procedure Add_RACW_Primitive_Declarations_And_Bodies
45     (Designated_Type : in Entity_Id;
46      Insertion_Node  : in Node_Id;
47      Decls           : in List_Id);
48   --  Add primitive for the stub type, and the RPC receiver. The declarations
49   --  are inserted after insertion_Node, while the bodies are appened at the
50   --  end of Decls.
51
52   procedure Remote_Types_Tagged_Full_View_Encountered
53     (Full_View : in Entity_Id);
54   --  When a full view with a private view is encountered in a Remote_Types
55   --  package and corresponds to a tagged type, then this procedure is called
56   --  to generate the needed RACW features if it is needed.
57
58   procedure RACW_Type_Is_Asynchronous (RACW_Type : in Entity_Id);
59   --  This subprogram must be called when it is detected that the RACW type
60   --  is asynchronous.
61
62   procedure Expand_Calling_Stubs_Bodies (Unit_Node : in Node_Id);
63   --  Call the expansion phase for the calling stubs. The code will be added
64   --  at the end of the compilation unit, which is a package spec.
65
66   procedure Expand_Receiving_Stubs_Bodies (Unit_Node : in Node_Id);
67   --  Call the expansion phase for the calling stubs. The code will be added
68   --  at the end of the compilation unit, which may be either a package spec
69   --  or a package body.
70
71   procedure Expand_All_Calls_Remote_Subprogram_Call (N : in Node_Id);
72   --  Rewrite a call to a subprogram located in a Remote_Call_Interface
73   --  package on which the pragma All_Calls_Remote applies so that it
74   --  goes through the PCS. N is either an N_Procedure_Call_Statement
75   --  or an N_Function_Call node.
76
77   procedure Build_Passive_Partition_Stub (U : Node_Id);
78   --  Build stub for a shared passive package. U is the analyzed
79   --  compilation unit for a package declaration.
80
81end Exp_Dist;
82