| ------------------------------------------------------------------------------ |
| -- -- |
| -- GNAT COMPILER COMPONENTS -- |
| -- -- |
| -- E X P _ D I S T -- |
| -- -- |
| -- S p e c -- |
| -- -- |
| -- Copyright (C) 1992-2006, Free Software Foundation, Inc. -- |
| -- -- |
| -- GNAT is free software; you can redistribute it and/or modify it under -- |
| -- terms of the GNU General Public License as published by the Free Soft- -- |
| -- ware Foundation; either version 2, or (at your option) any later ver- -- |
| -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- |
| -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- |
| -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- |
| -- for more details. You should have received a copy of the GNU General -- |
| -- Public License distributed with GNAT; see file COPYING. If not, write -- |
| -- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, -- |
| -- Boston, MA 02110-1301, USA. -- |
| -- -- |
| -- GNAT was originally developed by the GNAT team at New York University. -- |
| -- Extensive contributions were provided by Ada Core Technologies Inc. -- |
| -- -- |
| ------------------------------------------------------------------------------ |
| |
| -- This package contains utility routines used for the generation of the |
| -- stubs relevant to the distribution annex. |
| |
| with Types; use Types; |
| |
| package Exp_Dist is |
| |
| procedure Add_RAST_Features (Vis_Decl : Node_Id); |
| -- Build and add bodies for dereference and 'Access subprograms for a |
| -- remote access to subprogram type. Vis_Decl is the declaration node for |
| -- the RAS type. |
| |
| procedure Add_RACW_Features (RACW_Type : Entity_Id); |
| -- Add RACW features. If the RACW and the designated type are not in the |
| -- same scope, then Add_RACW_Primitive_Declarations_And_Bodies is called |
| -- automatically since we do know the primitive list already. |
| |
| procedure Add_RACW_Primitive_Declarations_And_Bodies |
| (Designated_Type : Entity_Id; |
| Insertion_Node : Node_Id; |
| Decls : List_Id); |
| -- Add primitive for the stub type, and the RPC receiver. The declarations |
| -- are inserted after insertion_Node, while the bodies are appened at the |
| -- end of Decls. |
| |
| procedure Remote_Types_Tagged_Full_View_Encountered |
| (Full_View : Entity_Id); |
| -- When a full view with a private view is encountered in a Remote_Types |
| -- package and corresponds to a tagged type, then this procedure is called |
| -- to generate the needed RACW features if it is needed. |
| |
| procedure RACW_Type_Is_Asynchronous (RACW_Type : Entity_Id); |
| -- This subprogram must be called when it is detected that the RACW type |
| -- is asynchronous. |
| |
| procedure Expand_Calling_Stubs_Bodies (Unit_Node : Node_Id); |
| -- Call the expansion phase for the calling stubs. The code will be added |
| -- at the end of the compilation unit, which is a package spec. |
| |
| procedure Expand_Receiving_Stubs_Bodies (Unit_Node : Node_Id); |
| -- Call the expansion phase for the calling stubs. The code will be added |
| -- at the end of the compilation unit, which may be either a package spec |
| -- or a package body. |
| |
| procedure Expand_All_Calls_Remote_Subprogram_Call (N : Node_Id); |
| -- Rewrite a call to a subprogram located in a Remote_Call_Interface |
| -- package on which the pragma All_Calls_Remote applies so that it |
| -- goes through the PCS. N is either an N_Procedure_Call_Statement |
| -- or an N_Function_Call node. |
| |
| procedure Build_Passive_Partition_Stub (U : Node_Id); |
| -- Build stub for a shared passive package. U is the analyzed |
| -- compilation unit for a package declaration. |
| |
| function Build_Subprogram_Id |
| (Loc : Source_Ptr; |
| E : Entity_Id) return Node_Id; |
| -- Build a literal representing the remote subprogram identifier of E |
| |
| function Copy_Specification |
| (Loc : Source_Ptr; |
| Spec : Node_Id; |
| Object_Type : Entity_Id := Empty; |
| Stub_Type : Entity_Id := Empty; |
| New_Name : Name_Id := No_Name) return Node_Id; |
| -- Build a subprogram specification from another one, or from |
| -- an access-to-subprogram definition. If Object_Type is not Empty |
| -- and any access to Object_Type is found, then it is replaced by an |
| -- access to Stub_Type. If New_Name is given, then it will be used as |
| -- the name for the newly created spec. |
| |
| function Underlying_RACW_Type |
| (RAS_Typ : Entity_Id) return Entity_Id; |
| -- Given a remote access-to-subprogram type or its equivalent |
| -- record type, return the RACW type generated to implement it. |
| |
| end Exp_Dist; |