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
|
with ARM_Input,
Ada.Text_IO;
package ARM_File is
--
-- Ada reference manual formatter (ARM_Form).
--
-- This package contains the definition of reading an input file.
--
-- ---------------------------------------
-- Copyright 2000, 2011
-- AXE Consultants. All rights reserved.
-- P.O. Box 1512, Madison WI 53704
-- E-Mail: randy@rrsoftware.com
--
-- ARM_Form is free software: you can redistribute it and/or modify
-- it under the terms of the GNU General Public License version 3
-- as published by the Free Software Foundation.
--
-- AXE CONSULTANTS MAKES THIS TOOL AND SOURCE CODE AVAILABLE ON AN "AS IS"
-- BASIS AND MAKES NO WARRANTY, EXPRESS OR IMPLIED, AS TO THE ACCURACY,
-- CAPABILITY, EFFICIENCY, MERCHANTABILITY, OR FUNCTIONING OF THIS TOOL.
-- IN NO EVENT WILL AXE CONSULTANTS BE LIABLE FOR ANY GENERAL,
-- CONSEQUENTIAL, INDIRECT, INCIDENTAL, EXEMPLARY, OR SPECIAL DAMAGES,
-- EVEN IF AXE CONSULTANTS HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH
-- DAMAGES.
--
-- A copy of the GNU General Public License is available in the file
-- gpl-3-0.txt in the standard distribution of the ARM_Form tool.
-- Otherwise, see <http://www.gnu.org/licenses/>.
--
-- If the GPLv3 license is not satisfactory for your needs, a commercial
-- use license is available for this tool. Contact Randy at AXE Consultants
-- for more information.
--
-- ---------------------------------------
--
-- Edit History:
--
-- 5/15/00 - RLB - Created package.
-- 10/18/11 - RLB - Changed to GPLv3 license.
type File_Input_Type is new ARM_Input.Input_Type with private;
procedure Open (Input_Object : in out File_Input_Type;
File_Name : in String);
-- Open an input object for a file.
-- This may propagate file exceptions.
procedure Close (Input_Object : in out File_Input_Type);
-- Close the input object (entity).
-- May propagate exceptions from the underlying implementation
-- (that is, I/O exceptions).
procedure Get_Char (Input_Object : in out File_Input_Type;
Char : out Character);
-- We represent end of line by Ascii.LF.
-- Raises: End_Error when the end of file is reached.
-- Not_Valid_Error if Input_Object is not valid (open).
procedure Replace_Char (Input_Object : in out File_Input_Type);
-- Replaces the last character read (with Get_Char); the next call
-- to Get_Char will return it.
-- Raises: Not_Valid_Error if Input_Object is not valid (open).
function Line_String (Input_Object : in File_Input_Type) return String;
-- Returns a string representing the line number and entity.
-- Usually used in error messages.
-- Raises: Not_Valid_Error if Input_Object is not valid (open).
procedure Start_Recording (Input_Object : in out File_Input_Type);
-- Start recording all characters read into a local buffer.
-- Use this when text needs to be formatted into the output
-- file *and* be saved for future use.
-- Raises: Not_Valid_Error if Input_Object is not valid (open).
procedure Stop_Recording_and_Read_Result
(Input_Object : in out File_Input_Type; Result : out String;
Len : out Natural);
-- Stop recording characters read. Put the result into Result,
-- and the number of characters written into Len.
-- Raises: Not_Valid_Error if Input_Object is not valid (open).
private
type File_Input_Type is new ARM_Input.Input_Type with record
Is_Valid : Boolean := False;
Fyle : Ada.Text_IO.File_Type;
Line_Counter : Natural := 0;
Buffer : String(1..250);
Buffer_Last : Natural := 0;
Buffer_Index : Natural := 0; -- Last character read from buffer.
-- For recording:
Recording : Boolean := False;
Recording_Buffer : String(1..ARM_Input.MAX_RECORDING_SIZE);
Recording_Len : Natural := 0;
-- Name:
Name : String(1..120);
Name_Len : Natural;
end record;
end ARM_File;
|
