1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140 | -- PragmAda Reusable Component (PragmARC)
-- Copyright (C) 2016 by PragmAda Software Engineering. All rights reserved.
-- **************************************************************************
--
-- Text I/O to handle text files from multiple platforms
-- Line terminators must be encoded as a sequence of 1 or 2 characters
-- No column, line, or page counting; no column or page operations
-- End_Of_File works correctly
--
-- History:
-- 2016 Jun 01 J. Carter V2.1--Added license text, corrected Skip_Line, and set EOL per file
-- 2016 Mar 01 J. Carter V2.0--Use Sequential_IO so no extra EOLs when a file is closed
-- 2016 Feb 15 J. Carter V1.0--Initial version
--
with Ada.Sequential_IO;
package PragmARC.Text_IO is
type EOL_ID is (DOS_Windows_EOL, Mac_EOL, Unix_EOL);
-- Used to specify what line terminator to use on output
-- DOS_Windows_EOL = CR-LF
-- Mac_EOL = CR
-- Unix_EOL = LF
type File_Handle is tagged limited private;
package Character_IO is new Ada.Sequential_IO (Element_Type => Character);
-- File modes and forms are interpreted the same as for Character_IO
function In_File return Character_IO.File_Mode renames Character_IO.In_File;
function Out_File return Character_IO.File_Mode renames Character_IO.Out_File;
function Append_File return Character_IO.File_Mode renames Character_IO.Append_File;
procedure Create (File : in out File_Handle;
Name : in String := "";
Mode : in Character_IO.File_Mode := Out_File;
Form : in String := "";
EOL : in EOL_ID := DOS_Windows_EOL);
-- Creates a file named Name with mode Mode and form Form accessible through File
-- File becomes open
-- The default Name creates a temporary file
-- EOL indicates what kind of line terminators to use on output; it is ignored if Mode = In_File
-- May raise the same exceptions as Character_IO.Create
procedure Open (File : in out File_Handle;
Name : in String;
Mode : in Character_IO.File_Mode := In_File;
Form : in String := "";
EOL : in EOL_ID := DOS_Windows_EOL);
-- Opens the file named Name with mode Mode and form Form accessbile through File
-- File becomes open
-- EOL indicates what kind of line terminators to use on output; it is ignored if Mode = In_File
-- May raise the same exceptions as Character_IO.Open
procedure Close (File : in out File_Handle);
-- Closes open file File; File must be open
-- May raise the same exceptions as Character_IO.Close
function Is_Open (File : File_Handle) return Boolean;
-- Returns True if File is open; False otherwise
procedure New_Line (File : in out File_Handle; Spacing : in Positive := 1);
-- Adds Spacing EOLs to File
-- File mode must be Out_File or Append_File
-- An input EOL is a CR-LF pair, or a single CR not followed by an LF, or a single LF not preceeded by a CR
procedure Skip_Line (File : in out File_Handle; Spacing : in Positive := 1);
-- Skips Spacing EOLs in File
-- File mode must be In_File
function End_Of_Line (File : File_Handle) return Boolean;
-- Returns True if the next thing in File is an EOL; False otherwise
-- File mode must be In_File
function End_Of_File (File : File_Handle) return Boolean;
-- Returns True if the next thing in File is an EOF; False otherwise
-- File mode must be In_File
-- May raise the same exceptions as Character_IO.End_Of_File
procedure Get (File : in out File_Handle; Item : out Character);
-- Skips any EOLs in File and then reads a single Character from File into Item
-- May raise the same exceptions as Character_IO.Read
procedure Put (File : in out File_Handle; Item : in Character);
-- Writes Item to File
-- May raise the same exceptions as Character_IO.Write
procedure Get (File : in out File_Handle; Item : out String);
-- Gets Item'Length Characters from File into Item
-- May raise the same exceptions as Get for Character
procedure Put (File : in out File_Handle; Item : in String);
-- Puts the Characters in Item to File
-- May raise the same exceptions as Put for Character
function Get_Line (File : File_Handle) return String;
-- Gets Characters from File until an EOL is encountered
-- Skips the EOL
-- May raise the same exceptions as Get
procedure Get_Line (File : in out File_Handle; Item : out String; Last : out Natural);
-- Gets Characters from File until Item is filled or an EOL is encountered
-- The index of the last position filled in Item is put in Last
-- If an EOL is encountered, skips the EOL
-- If End_Of_Line (File), Last will be Item'First - 1
-- May raise the same exceptions as procedure Get
procedure Put_Line (File : in out File_Handle; Item : in String);
-- Puts Item to File followed by EOL
-- May raise the same exceptions as Put and New_Line
private -- PragmARC.Text_IO
type Handle_Ptr is access all File_Handle;
type Rosen_Trick (Ptr : Handle_Ptr) is limited null record;
type File_Handle is tagged limited record
Handle : Rosen_Trick (Ptr => File_Handle'Unchecked_Access);
File : Character_IO.File_Type;
EOL : EOL_ID := DOS_Windows_EOL;
Buffer : Character;
Empty : Boolean := True;
end record;
end PragmARC.Text_IO;
--
-- This is free software; you can redistribute it and/or modify it under
-- terms of the GNU General Public License as published by the Free Software
-- Foundation; either version 2, or (at your option) any later version.
-- This software 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. Free Software Foundation, 59 Temple Place - Suite
-- 330, Boston, MA 02111-1307, USA.
--
-- As a special exception, if other files instantiate generics from this
-- unit, or you link this unit with other files to produce an executable,
-- this unit does not by itself cause the resulting executable to be
-- covered by the GNU General Public License. This exception does not
-- however invalidate any other reasons why the executable file might be
-- covered by the GNU Public License.
|