1 ------------------------------------------------------------------------------
3 -- GNAT RUNTIME COMPONENTS --
5 -- A D A . S E Q U E N T I A L _ I O --
10 -- Copyright (C) 1992-1997 Free Software Foundation, Inc. --
12 -- This specification is derived from the Ada Reference Manual for use with --
13 -- GNAT. The copyright notice above, and the license provisions that follow --
14 -- apply solely to the contents of the part following the private keyword. --
16 -- GNAT is free software; you can redistribute it and/or modify it under --
17 -- terms of the GNU General Public License as published by the Free Soft- --
18 -- ware Foundation; either version 2, or (at your option) any later ver- --
19 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
20 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
21 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
22 -- for more details. You should have received a copy of the GNU General --
23 -- Public License distributed with GNAT; see file COPYING. If not, write --
24 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
25 -- MA 02111-1307, USA. --
27 -- As a special exception, if other files instantiate generics from this --
28 -- unit, or you link this unit with other files to produce an executable, --
29 -- this unit does not by itself cause the resulting executable to be --
30 -- covered by the GNU General Public License. This exception does not --
31 -- however invalidate any other reasons why the executable file might be --
32 -- covered by the GNU Public License. --
34 -- GNAT was originally developed by the GNAT team at New York University. --
35 -- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). --
37 ------------------------------------------------------------------------------
40 with Ada
.IO_Exceptions
;
41 with System
.Sequential_IO
;
44 type Element_Type
(<>) is private;
46 package Ada
.Sequential_IO
is
48 type File_Type
is limited private;
50 type File_Mode
is (In_File
, Out_File
, Append_File
);
52 -- The following representation clause allows the use of unchecked
53 -- conversion for rapid translation between the File_Mode type
54 -- used in this package and System.File_IO.
57 (In_File
=> 0, -- System.FIle_IO.File_Mode'Pos (In_File)
58 Out_File
=> 2, -- System.File_IO.File_Mode'Pos (Out_File)
59 Append_File
=> 3); -- System.File_IO.File_Mode'Pos (Append_File)
66 (File
: in out File_Type
;
67 Mode
: in File_Mode
:= Out_File
;
68 Name
: in String := "";
69 Form
: in String := "");
72 (File
: in out File_Type
;
75 Form
: in String := "");
77 procedure Close
(File
: in out File_Type
);
78 procedure Delete
(File
: in out File_Type
);
79 procedure Reset
(File
: in out File_Type
; Mode
: in File_Mode
);
80 procedure Reset
(File
: in out File_Type
);
82 function Mode
(File
: in File_Type
) return File_Mode
;
83 function Name
(File
: in File_Type
) return String;
84 function Form
(File
: in File_Type
) return String;
86 function Is_Open
(File
: in File_Type
) return Boolean;
88 ---------------------------------
89 -- Input and output operations --
90 ---------------------------------
92 procedure Read
(File
: in File_Type
; Item
: out Element_Type
);
93 procedure Write
(File
: in File_Type
; Item
: in Element_Type
);
95 function End_Of_File
(File
: in File_Type
) return Boolean;
101 Status_Error
: exception renames IO_Exceptions
.Status_Error
;
102 Mode_Error
: exception renames IO_Exceptions
.Mode_Error
;
103 Name_Error
: exception renames IO_Exceptions
.Name_Error
;
104 Use_Error
: exception renames IO_Exceptions
.Use_Error
;
105 Device_Error
: exception renames IO_Exceptions
.Device_Error
;
106 End_Error
: exception renames IO_Exceptions
.End_Error
;
107 Data_Error
: exception renames IO_Exceptions
.Data_Error
;
110 type File_Type
is new System
.Sequential_IO
.File_Type
;
112 -- All subprograms are inlined
114 pragma Inline
(Close
);
115 pragma Inline
(Create
);
116 pragma Inline
(Delete
);
117 pragma Inline
(End_Of_File
);
118 pragma Inline
(Form
);
119 pragma Inline
(Is_Open
);
120 pragma Inline
(Mode
);
121 pragma Inline
(Name
);
122 pragma Inline
(Open
);
123 pragma Inline
(Read
);
124 pragma Inline
(Reset
);
125 pragma Inline
(Write
);
127 end Ada
.Sequential_IO
;