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 | -- --
-- package Copyright (c) Dmitry A. Kazakov --
-- Parsers.String_Source Luebeck --
-- Implementation Winter, 2004 --
-- --
-- Last revision : 11:37 13 Oct 2007 --
-- --
-- This library is free software; you can redistribute it and/or --
-- modify it under the terms of the GNU General Public License as --
-- published by the Free Software Foundation; either version 2 of --
-- the License, or (at your option) any later version. This library --
-- is distributed in the hope that it will be useful, but WITHOUT --
-- ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU --
-- General Public License for more details. You should have --
-- received a copy of the GNU General Public License along with --
-- this library; if not, write to the Free Software Foundation, --
-- Inc., 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. --
--____________________________________________________________________--
with Ada.IO_Exceptions;
with Strings_Edit.Integers; use Strings_Edit.Integers;
package body Parsers.String_Source is
function End_Of (Code : Source) return Boolean is
begin
return Code.Pointer > Code.Text'Last;
end End_Of;
function Get_Line (Code : Source) return String is
begin
return Code.Text.all;
end Get_Line;
procedure Get_Line
( Code : Source;
Line : out Line_Ptr;
Pointer : out Integer;
Last : out Integer
) is
begin
Line := Code.Text.all'Unchecked_Access;
Pointer := Code.Pointer;
Last := Code.Text'Last;
end Get_Line;
function Get_Backup_Pointer (Code : Source) return Integer is
begin
return Code.Last;
end Get_Backup_Pointer;
function Get_Pointer (Code : Source) return Integer is
begin
return Code.Pointer;
end Get_Pointer;
function Image (Link : Location) return String is
begin
if Link.Length = 0 then
return Image (Link.From);
else
return
( Image (Link.From)
& ".."
& Image (Link.From + Link.Length - 1)
);
end if;
end Image;
function Link (Code : Source) return Location is
begin
return (Code.Last, Code.Pointer - Code.Last);
end Link;
function "&" (Left, Right : Location) return Location is
From : constant Integer := Integer'Min (Left.From, Right.From);
To : constant Integer :=
Integer'Max
( Left.From + Left.Length,
Right.From + Right.Length
);
begin
return (From, To - From);
end "&";
procedure Next_Line (Code : in out Source) is
begin
raise Ada.IO_Exceptions.End_Error;
end Next_Line;
procedure Reset_Pointer (Code : in out Source) is
begin
Code.Pointer := Code.Last;
end Reset_Pointer;
procedure Set_Pointer (Code : in out Source; Pointer : Integer) is
begin
if Pointer not in Code.Last..Code.Text'Last + 1 then
raise Ada.IO_Exceptions.Layout_Error;
end if;
Code.Last := Code.Pointer;
Code.Pointer := Pointer;
end Set_Pointer;
end Parsers.String_Source;
|