1 ------------------------------------------------------------------------------
3 -- GNAT RUN-TIME COMPONENTS --
5 -- A D A . D I R E C T _ I O --
9 -- Copyright (C) 1992-2004 Free Software Foundation, Inc. --
11 -- This specification is derived from the Ada Reference Manual for use with --
12 -- GNAT. The copyright notice above, and the license provisions that follow --
13 -- apply solely to the contents of the part following the private keyword. --
15 -- GNAT is free software; you can redistribute it and/or modify it under --
16 -- terms of the GNU General Public License as published by the Free Soft- --
17 -- ware Foundation; either version 2, or (at your option) any later ver- --
18 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
19 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
20 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
21 -- for more details. You should have received a copy of the GNU General --
22 -- Public License distributed with GNAT; see file COPYING. If not, write --
23 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
24 -- MA 02111-1307, USA. --
26 -- As a special exception, if other files instantiate generics from this --
27 -- unit, or you link this unit with other files to produce an executable, --
28 -- this unit does not by itself cause the resulting executable to be --
29 -- covered by the GNU General Public License. This exception does not --
30 -- however invalidate any other reasons why the executable file might be --
31 -- covered by the GNU Public License. --
33 -- GNAT was originally developed by the GNAT team at New York University. --
34 -- Extensive contributions were provided by Ada Core Technologies Inc. --
36 ------------------------------------------------------------------------------
39 with Ada
.IO_Exceptions
;
40 with System
.Direct_IO
;
41 with Interfaces
.C_Streams
;
44 type Element_Type
is private;
46 package Ada
.Direct_IO
is
48 pragma Compile_Time_Warning
49 (Element_Type
'Has_Access_Values,
50 "?Element_Type for Direct_'I'O instance has access values");
52 type File_Type
is limited private;
54 type File_Mode
is (In_File
, Inout_File
, Out_File
);
56 -- The following representation clause allows the use of unchecked
57 -- conversion for rapid translation between the File_Mode type
58 -- used in this package and System.File_IO.
61 (In_File
=> 0, -- System.File_IO.File_Mode'Pos (In_File)
62 Inout_File
=> 1, -- System.File_IO.File_Mode'Pos (Inout_File);
63 Out_File
=> 2); -- System.File_IO.File_Mode'Pos (Out_File)
65 type Count
is range 0 .. System
.Direct_IO
.Count
'Last;
67 subtype Positive_Count
is Count
range 1 .. Count
'Last;
74 (File
: in out File_Type
;
75 Mode
: in File_Mode
:= Inout_File
;
76 Name
: in String := "";
77 Form
: in String := "");
80 (File
: in out File_Type
;
83 Form
: in String := "");
85 procedure Close
(File
: in out File_Type
);
86 procedure Delete
(File
: in out File_Type
);
87 procedure Reset
(File
: in out File_Type
; Mode
: in File_Mode
);
88 procedure Reset
(File
: in out File_Type
);
90 function Mode
(File
: in File_Type
) return File_Mode
;
91 function Name
(File
: in File_Type
) return String;
92 function Form
(File
: in File_Type
) return String;
94 function Is_Open
(File
: in File_Type
) return Boolean;
96 ---------------------------------
97 -- Input and Output Operations --
98 ---------------------------------
101 (File
: in File_Type
;
102 Item
: out Element_Type
;
103 From
: in Positive_Count
);
106 (File
: in File_Type
;
107 Item
: out Element_Type
);
110 (File
: in File_Type
;
111 Item
: in Element_Type
;
112 To
: in Positive_Count
);
115 (File
: in File_Type
;
116 Item
: in Element_Type
);
118 procedure Set_Index
(File
: in File_Type
; To
: in Positive_Count
);
120 function Index
(File
: in File_Type
) return Positive_Count
;
121 function Size
(File
: in File_Type
) return Count
;
123 function End_Of_File
(File
: in File_Type
) return Boolean;
129 Status_Error
: exception renames IO_Exceptions
.Status_Error
;
130 Mode_Error
: exception renames IO_Exceptions
.Mode_Error
;
131 Name_Error
: exception renames IO_Exceptions
.Name_Error
;
132 Use_Error
: exception renames IO_Exceptions
.Use_Error
;
133 Device_Error
: exception renames IO_Exceptions
.Device_Error
;
134 End_Error
: exception renames IO_Exceptions
.End_Error
;
135 Data_Error
: exception renames IO_Exceptions
.Data_Error
;
138 type File_Type
is new System
.Direct_IO
.File_Type
;
140 Bytes
: constant Interfaces
.C_Streams
.size_t
:=
141 Element_Type
'Max_Size_In_Storage_Elements;
142 -- Size of an element in storage units
144 pragma Inline
(Close
);
145 pragma Inline
(Create
);
146 pragma Inline
(Delete
);
147 pragma Inline
(End_Of_File
);
148 pragma Inline
(Form
);
149 pragma Inline
(Index
);
150 pragma Inline
(Is_Open
);
151 pragma Inline
(Mode
);
152 pragma Inline
(Name
);
153 pragma Inline
(Open
);
154 pragma Inline
(Read
);
155 pragma Inline
(Reset
);
156 pragma Inline
(Set_Index
);
157 pragma Inline
(Size
);
158 pragma Inline
(Write
);