1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2003 Free Software Foundation, Inc. --
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. --
22 -- GNAT was originally developed by the GNAT team at New York University. --
23 -- Extensive contributions were provided by Ada Core Technologies Inc. --
25 ------------------------------------------------------------------------------
27 -- Routines to build stream subprograms for composite types
29 with Exp_Tss
; use Exp_Tss
;
30 with Types
; use Types
;
34 function Build_Elementary_Input_Call
(N
: Node_Id
) return Node_Id
;
35 -- Build call to Read attribute function for elementary type. Also used
36 -- for Input attributes for elementary types with an appropriate extra
37 -- assignment statement. N is the attribute reference node.
39 function Build_Elementary_Write_Call
(N
: Node_Id
) return Node_Id
;
40 -- Build call to Write attribute function for elementary type. Also used
41 -- for Output attributes for elementary types (since the effect of the
42 -- two attributes is identical for elementary types). N is the attribute
45 function Build_Stream_Attr_Profile
48 Nam
: TSS_Name_Type
) return List_Id
;
49 -- Builds the parameter profile for the stream attribute identified by
50 -- the given name. This is used for the tagged case to build the spec
51 -- for the primitive operation.
53 -- The following routines build procedures and functions for stream
54 -- attributes applied to composite types. For each of these routines,
55 -- Loc is used to provide the location for the constructed subprogram
56 -- declaration. Typ is the base type to which the subprogram applies
57 -- (i.e. the base type of the stream attribute prefix). The returned
58 -- results are the declaration and name (entity) of the subprogram.
60 procedure Build_Array_Input_Function
64 Fnam
: out Entity_Id
);
65 -- Build function for Input attribute for array type
67 procedure Build_Array_Output_Procedure
71 Pnam
: out Entity_Id
);
72 -- Build procedure for Output attribute for array type
74 procedure Build_Array_Read_Procedure
78 Pnam
: out Entity_Id
);
79 -- Build procedure for Read attribute for array type. Nod provides the
80 -- Sloc value for generated code.
82 procedure Build_Array_Write_Procedure
86 Pnam
: out Entity_Id
);
87 -- Build procedure for Write attribute for array type. Nod provides the
88 -- Sloc value for generated code.
90 procedure Build_Mutable_Record_Read_Procedure
94 Pnam
: out Entity_Id
);
95 -- Build procedure to Read a record with default discriminants.
96 -- Discriminants must be read explicitly (RM 13.13.2(9)) in the
97 -- same manner as is done for 'Input.
99 procedure Build_Mutable_Record_Write_Procedure
103 Pnam
: out Entity_Id
);
104 -- Build procedure to write a record with default discriminants.
105 -- Discriminants must be written explicitly (RM 13.13.2(9)) in
106 -- the same manner as is done for 'Output.
108 procedure Build_Record_Or_Elementary_Input_Function
112 Fnam
: out Entity_Id
);
113 -- Build function for Input attribute for record type or for an
114 -- elementary type (the latter is used only in the case where a
115 -- user defined Read routine is defined, since in other cases,
116 -- Input calls the appropriate runtime library routine directly.
118 procedure Build_Record_Or_Elementary_Output_Procedure
122 Pnam
: out Entity_Id
);
123 -- Build procedure for Output attribute for record type or for an
124 -- elementary type (the latter is used only in the case where a
125 -- user defined Write routine is defined, since in other cases,
126 -- Output calls the appropriate runtime library routine directly.
128 procedure Build_Record_Read_Procedure
132 Pnam
: out Entity_Id
);
133 -- Build procedure for Read attribute for record type
135 procedure Build_Record_Write_Procedure
139 Pnam
: out Entity_Id
);
140 -- Build procedure for Write attribute for record type
142 procedure Build_Stream_Procedure
149 -- Called to build an array or record stream procedure. The first three
150 -- arguments are the same as Build_Record_Or_Elementary_Output_Procedure.
151 -- Stms is the list of statements for the body (the declaration list is
152 -- always null), and Pnam is the name of the constructed procedure.
153 -- Used by Exp_Dist to generate stream-oriented attributes for RACWs.