annotate gcc/ada/widechar.adb @ 138:fc828634a951

merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 08 Nov 2018 14:17:14 +0900
parents 84e7813d76e9
children 1830386684a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 ------------------------------------------------------------------------------
kono
parents:
diff changeset
2 -- --
kono
parents:
diff changeset
3 -- GNAT COMPILER COMPONENTS --
kono
parents:
diff changeset
4 -- --
kono
parents:
diff changeset
5 -- W I D E C H A R --
kono
parents:
diff changeset
6 -- --
kono
parents:
diff changeset
7 -- B o d y --
kono
parents:
diff changeset
8 -- --
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. --
111
kono
parents:
diff changeset
10 -- --
kono
parents:
diff changeset
11 -- GNAT is free software; you can redistribute it and/or modify it under --
kono
parents:
diff changeset
12 -- terms of the GNU General Public License as published by the Free Soft- --
kono
parents:
diff changeset
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
kono
parents:
diff changeset
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
kono
parents:
diff changeset
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
kono
parents:
diff changeset
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
kono
parents:
diff changeset
17 -- --
kono
parents:
diff changeset
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
kono
parents:
diff changeset
19 -- additional permissions described in the GCC Runtime Library Exception, --
kono
parents:
diff changeset
20 -- version 3.1, as published by the Free Software Foundation. --
kono
parents:
diff changeset
21 -- --
kono
parents:
diff changeset
22 -- You should have received a copy of the GNU General Public License and --
kono
parents:
diff changeset
23 -- a copy of the GCC Runtime Library Exception along with this program; --
kono
parents:
diff changeset
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
kono
parents:
diff changeset
25 -- <http://www.gnu.org/licenses/>. --
kono
parents:
diff changeset
26 -- --
kono
parents:
diff changeset
27 -- GNAT was originally developed by the GNAT team at New York University. --
kono
parents:
diff changeset
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
kono
parents:
diff changeset
29 -- --
kono
parents:
diff changeset
30 ------------------------------------------------------------------------------
kono
parents:
diff changeset
31
kono
parents:
diff changeset
32 -- Note: this package uses the generic subprograms in System.WCh_Cnv, which
kono
parents:
diff changeset
33 -- completely encapsulate the set of wide character encoding methods, so no
kono
parents:
diff changeset
34 -- modifications are required when adding new encoding methods.
kono
parents:
diff changeset
35
kono
parents:
diff changeset
36 with Opt; use Opt;
kono
parents:
diff changeset
37
kono
parents:
diff changeset
38 with System.WCh_Cnv; use System.WCh_Cnv;
kono
parents:
diff changeset
39 with System.WCh_Con; use System.WCh_Con;
kono
parents:
diff changeset
40
kono
parents:
diff changeset
41 package body Widechar is
kono
parents:
diff changeset
42
kono
parents:
diff changeset
43 ---------------------------
kono
parents:
diff changeset
44 -- Is_Start_Of_Wide_Char --
kono
parents:
diff changeset
45 ---------------------------
kono
parents:
diff changeset
46
kono
parents:
diff changeset
47 function Is_Start_Of_Wide_Char
kono
parents:
diff changeset
48 (S : Source_Buffer_Ptr;
kono
parents:
diff changeset
49 P : Source_Ptr) return Boolean
kono
parents:
diff changeset
50 is
kono
parents:
diff changeset
51 begin
kono
parents:
diff changeset
52 case Wide_Character_Encoding_Method is
kono
parents:
diff changeset
53
kono
parents:
diff changeset
54 -- For Hex mode, just test for an ESC character. The ESC character
kono
parents:
diff changeset
55 -- cannot appear in any other context in a legal Ada program.
kono
parents:
diff changeset
56
kono
parents:
diff changeset
57 when WCEM_Hex =>
kono
parents:
diff changeset
58 return S (P) = ASCII.ESC;
kono
parents:
diff changeset
59
kono
parents:
diff changeset
60 -- For brackets, just test ["x where x is a hex character. This is
kono
parents:
diff changeset
61 -- sufficient test, since this sequence cannot otherwise appear in a
kono
parents:
diff changeset
62 -- legal Ada program.
kono
parents:
diff changeset
63
kono
parents:
diff changeset
64 when WCEM_Brackets =>
kono
parents:
diff changeset
65 return P <= S'Last - 2
kono
parents:
diff changeset
66 and then S (P) = '['
kono
parents:
diff changeset
67 and then S (P + 1) = '"'
kono
parents:
diff changeset
68 and then (S (P + 2) in '0' .. '9'
kono
parents:
diff changeset
69 or else
kono
parents:
diff changeset
70 S (P + 2) in 'a' .. 'f'
kono
parents:
diff changeset
71 or else
kono
parents:
diff changeset
72 S (P + 2) in 'A' .. 'F');
kono
parents:
diff changeset
73
kono
parents:
diff changeset
74 -- All other encoding methods use the upper bit set in the first
kono
parents:
diff changeset
75 -- character to uniquely represent a wide character.
kono
parents:
diff changeset
76
kono
parents:
diff changeset
77 when WCEM_EUC
kono
parents:
diff changeset
78 | WCEM_Shift_JIS
kono
parents:
diff changeset
79 | WCEM_Upper
kono
parents:
diff changeset
80 | WCEM_UTF8
kono
parents:
diff changeset
81 =>
kono
parents:
diff changeset
82 return S (P) >= Character'Val (16#80#);
kono
parents:
diff changeset
83 end case;
kono
parents:
diff changeset
84 end Is_Start_Of_Wide_Char;
kono
parents:
diff changeset
85
kono
parents:
diff changeset
86 -----------------
kono
parents:
diff changeset
87 -- Length_Wide --
kono
parents:
diff changeset
88 -----------------
kono
parents:
diff changeset
89
kono
parents:
diff changeset
90 function Length_Wide return Nat is
kono
parents:
diff changeset
91 begin
kono
parents:
diff changeset
92 return WC_Longest_Sequence;
kono
parents:
diff changeset
93 end Length_Wide;
kono
parents:
diff changeset
94
kono
parents:
diff changeset
95 ---------------
kono
parents:
diff changeset
96 -- Scan_Wide --
kono
parents:
diff changeset
97 ---------------
kono
parents:
diff changeset
98
kono
parents:
diff changeset
99 procedure Scan_Wide
kono
parents:
diff changeset
100 (S : Source_Buffer_Ptr;
kono
parents:
diff changeset
101 P : in out Source_Ptr;
kono
parents:
diff changeset
102 C : out Char_Code;
kono
parents:
diff changeset
103 Err : out Boolean)
kono
parents:
diff changeset
104 is
kono
parents:
diff changeset
105 P_Init : constant Source_Ptr := P;
kono
parents:
diff changeset
106 Chr : Character;
kono
parents:
diff changeset
107
kono
parents:
diff changeset
108 function In_Char return Character;
kono
parents:
diff changeset
109 -- Function to obtain characters of wide character escape sequence
kono
parents:
diff changeset
110
kono
parents:
diff changeset
111 -------------
kono
parents:
diff changeset
112 -- In_Char --
kono
parents:
diff changeset
113 -------------
kono
parents:
diff changeset
114
kono
parents:
diff changeset
115 function In_Char return Character is
kono
parents:
diff changeset
116 begin
kono
parents:
diff changeset
117 P := P + 1;
kono
parents:
diff changeset
118 return S (P - 1);
kono
parents:
diff changeset
119 end In_Char;
kono
parents:
diff changeset
120
kono
parents:
diff changeset
121 function WC_In is new Char_Sequence_To_UTF_32 (In_Char);
kono
parents:
diff changeset
122
kono
parents:
diff changeset
123 -- Start of processing for Scan_Wide
kono
parents:
diff changeset
124
kono
parents:
diff changeset
125 begin
kono
parents:
diff changeset
126 Chr := In_Char;
kono
parents:
diff changeset
127
kono
parents:
diff changeset
128 -- Scan out the wide character. If the first character is a bracket,
kono
parents:
diff changeset
129 -- we allow brackets encoding regardless of the standard encoding
kono
parents:
diff changeset
130 -- method being used, but otherwise we use this standard method.
kono
parents:
diff changeset
131
kono
parents:
diff changeset
132 if Chr = '[' then
kono
parents:
diff changeset
133 C := Char_Code (WC_In (Chr, WCEM_Brackets));
kono
parents:
diff changeset
134 else
kono
parents:
diff changeset
135 C := Char_Code (WC_In (Chr, Wide_Character_Encoding_Method));
kono
parents:
diff changeset
136 end if;
kono
parents:
diff changeset
137
kono
parents:
diff changeset
138 Err := False;
kono
parents:
diff changeset
139 Wide_Char_Byte_Count := Wide_Char_Byte_Count + Nat (P - P_Init - 1);
kono
parents:
diff changeset
140
kono
parents:
diff changeset
141 exception
kono
parents:
diff changeset
142 when Constraint_Error =>
kono
parents:
diff changeset
143 C := Char_Code (0);
kono
parents:
diff changeset
144 P := P - 1;
kono
parents:
diff changeset
145 Err := True;
kono
parents:
diff changeset
146 end Scan_Wide;
kono
parents:
diff changeset
147
kono
parents:
diff changeset
148 --------------
kono
parents:
diff changeset
149 -- Set_Wide --
kono
parents:
diff changeset
150 --------------
kono
parents:
diff changeset
151
kono
parents:
diff changeset
152 procedure Set_Wide
kono
parents:
diff changeset
153 (C : Char_Code;
kono
parents:
diff changeset
154 S : in out String;
kono
parents:
diff changeset
155 P : in out Natural)
kono
parents:
diff changeset
156 is
kono
parents:
diff changeset
157 procedure Out_Char (C : Character);
kono
parents:
diff changeset
158 -- Procedure to store one character of wide character sequence
kono
parents:
diff changeset
159
kono
parents:
diff changeset
160 --------------
kono
parents:
diff changeset
161 -- Out_Char --
kono
parents:
diff changeset
162 --------------
kono
parents:
diff changeset
163
kono
parents:
diff changeset
164 procedure Out_Char (C : Character) is
kono
parents:
diff changeset
165 begin
kono
parents:
diff changeset
166 P := P + 1;
kono
parents:
diff changeset
167 S (P) := C;
kono
parents:
diff changeset
168 end Out_Char;
kono
parents:
diff changeset
169
kono
parents:
diff changeset
170 procedure WC_Out is new UTF_32_To_Char_Sequence (Out_Char);
kono
parents:
diff changeset
171
kono
parents:
diff changeset
172 -- Start of processing for Set_Wide
kono
parents:
diff changeset
173
kono
parents:
diff changeset
174 begin
kono
parents:
diff changeset
175 WC_Out (UTF_32_Code (C), Wide_Character_Encoding_Method);
kono
parents:
diff changeset
176 end Set_Wide;
kono
parents:
diff changeset
177
kono
parents:
diff changeset
178 ---------------
kono
parents:
diff changeset
179 -- Skip_Wide --
kono
parents:
diff changeset
180 ---------------
kono
parents:
diff changeset
181
kono
parents:
diff changeset
182 procedure Skip_Wide (S : String; P : in out Natural) is
kono
parents:
diff changeset
183 P_Init : constant Natural := P;
kono
parents:
diff changeset
184
kono
parents:
diff changeset
185 function Skip_Char return Character;
kono
parents:
diff changeset
186 -- Function to skip one character of wide character escape sequence
kono
parents:
diff changeset
187
kono
parents:
diff changeset
188 ---------------
kono
parents:
diff changeset
189 -- Skip_Char --
kono
parents:
diff changeset
190 ---------------
kono
parents:
diff changeset
191
kono
parents:
diff changeset
192 function Skip_Char return Character is
kono
parents:
diff changeset
193 begin
kono
parents:
diff changeset
194 P := P + 1;
kono
parents:
diff changeset
195 return S (P - 1);
kono
parents:
diff changeset
196 end Skip_Char;
kono
parents:
diff changeset
197
kono
parents:
diff changeset
198 function WC_Skip is new Char_Sequence_To_UTF_32 (Skip_Char);
kono
parents:
diff changeset
199
kono
parents:
diff changeset
200 Discard : UTF_32_Code;
kono
parents:
diff changeset
201 pragma Warnings (Off, Discard);
kono
parents:
diff changeset
202
kono
parents:
diff changeset
203 -- Start of processing for Skip_Wide
kono
parents:
diff changeset
204
kono
parents:
diff changeset
205 begin
kono
parents:
diff changeset
206 Discard := WC_Skip (Skip_Char, Wide_Character_Encoding_Method);
kono
parents:
diff changeset
207 Wide_Char_Byte_Count := Wide_Char_Byte_Count + Nat (P - P_Init - 1);
kono
parents:
diff changeset
208 end Skip_Wide;
kono
parents:
diff changeset
209
kono
parents:
diff changeset
210 ---------------
kono
parents:
diff changeset
211 -- Skip_Wide --
kono
parents:
diff changeset
212 ---------------
kono
parents:
diff changeset
213
kono
parents:
diff changeset
214 procedure Skip_Wide (S : Source_Buffer_Ptr; P : in out Source_Ptr) is
kono
parents:
diff changeset
215 P_Init : constant Source_Ptr := P;
kono
parents:
diff changeset
216
kono
parents:
diff changeset
217 function Skip_Char return Character;
kono
parents:
diff changeset
218 -- Function to skip one character of wide character escape sequence
kono
parents:
diff changeset
219
kono
parents:
diff changeset
220 ---------------
kono
parents:
diff changeset
221 -- Skip_Char --
kono
parents:
diff changeset
222 ---------------
kono
parents:
diff changeset
223
kono
parents:
diff changeset
224 function Skip_Char return Character is
kono
parents:
diff changeset
225 begin
kono
parents:
diff changeset
226 P := P + 1;
kono
parents:
diff changeset
227 return S (P - 1);
kono
parents:
diff changeset
228 end Skip_Char;
kono
parents:
diff changeset
229
kono
parents:
diff changeset
230 function WC_Skip is new Char_Sequence_To_UTF_32 (Skip_Char);
kono
parents:
diff changeset
231
kono
parents:
diff changeset
232 Discard : UTF_32_Code;
kono
parents:
diff changeset
233 pragma Warnings (Off, Discard);
kono
parents:
diff changeset
234
kono
parents:
diff changeset
235 -- Start of processing for Skip_Wide
kono
parents:
diff changeset
236
kono
parents:
diff changeset
237 begin
kono
parents:
diff changeset
238 Discard := WC_Skip (Skip_Char, Wide_Character_Encoding_Method);
kono
parents:
diff changeset
239 Wide_Char_Byte_Count := Wide_Char_Byte_Count + Nat (P - P_Init - 1);
kono
parents:
diff changeset
240 end Skip_Wide;
kono
parents:
diff changeset
241
kono
parents:
diff changeset
242 end Widechar;