1 # Lexer generated by nitcc for the grammar json
2 module json_lexer
is no_warning
"missing-doc"
7 redef fun start_state
do return dfastate_0
9 private fun dfastate_0
: DFAState0 do return once
new DFAState0
10 private fun dfastate_1
: DFAState1 do return once
new DFAState1
11 private fun dfastate_2
: DFAState2 do return once
new DFAState2
12 private fun dfastate_3
: DFAState3 do return once
new DFAState3
13 private fun dfastate_4
: DFAState4 do return once
new DFAState4
14 private fun dfastate_5
: DFAState5 do return once
new DFAState5
15 private fun dfastate_6
: DFAState6 do return once
new DFAState6
16 private fun dfastate_7
: DFAState7 do return once
new DFAState7
17 private fun dfastate_8
: DFAState8 do return once
new DFAState8
18 private fun dfastate_9
: DFAState9 do return once
new DFAState9
19 private fun dfastate_10
: DFAState10 do return once
new DFAState10
20 private fun dfastate_11
: DFAState11 do return once
new DFAState11
21 private fun dfastate_12
: DFAState12 do return once
new DFAState12
22 private fun dfastate_13
: DFAState13 do return once
new DFAState13
23 private fun dfastate_14
: DFAState14 do return once
new DFAState14
24 private fun dfastate_15
: DFAState15 do return once
new DFAState15
25 private fun dfastate_16
: DFAState16 do return once
new DFAState16
26 private fun dfastate_17
: DFAState17 do return once
new DFAState17
27 private fun dfastate_18
: DFAState18 do return once
new DFAState18
28 private fun dfastate_19
: DFAState19 do return once
new DFAState19
29 private fun dfastate_20
: DFAState20 do return once
new DFAState20
30 private fun dfastate_21
: DFAState21 do return once
new DFAState21
31 private fun dfastate_22
: DFAState22 do return once
new DFAState22
32 private fun dfastate_23
: DFAState23 do return once
new DFAState23
33 private fun dfastate_24
: DFAState24 do return once
new DFAState24
34 private fun dfastate_25
: DFAState25 do return once
new DFAState25
35 private fun dfastate_26
: DFAState26 do return once
new DFAState26
36 private fun dfastate_27
: DFAState27 do return once
new DFAState27
37 private fun dfastate_28
: DFAState28 do return once
new DFAState28
38 private fun dfastate_29
: DFAState29 do return once
new DFAState29
39 private fun dfastate_30
: DFAState30 do return once
new DFAState30
40 private fun dfastate_31
: DFAState31 do return once
new DFAState31
41 private fun dfastate_32
: DFAState32 do return once
new DFAState32
42 private fun dfastate_33
: DFAState33 do return once
new DFAState33
43 private fun dfastate_34
: DFAState34 do return once
new DFAState34
47 private class DFAState0
49 redef fun trans
(char
) do
50 var c
= char
.code_point
51 if c
<= 8 then return null
52 if c
<= 10 then return dfastate_1
53 if c
<= 31 then return null
54 if c
<= 32 then return dfastate_1
55 if c
<= 33 then return null
56 if c
<= 34 then return dfastate_2
57 if c
<= 43 then return null
58 if c
<= 44 then return dfastate_3
59 if c
<= 45 then return dfastate_4
60 if c
<= 47 then return null
61 if c
<= 57 then return dfastate_5
62 if c
<= 58 then return dfastate_6
63 if c
<= 90 then return null
64 if c
<= 91 then return dfastate_7
65 if c
<= 92 then return null
66 if c
<= 93 then return dfastate_8
67 if c
<= 101 then return null
68 if c
<= 102 then return dfastate_9
69 if c
<= 109 then return null
70 if c
<= 110 then return dfastate_10
71 if c
<= 115 then return null
72 if c
<= 116 then return dfastate_11
73 if c
<= 122 then return null
74 if c
<= 123 then return dfastate_12
75 if c
<= 124 then return null
76 if c
<= 125 then return dfastate_13
80 private class DFAState1
82 redef fun is_accept
do return true
83 redef fun is_ignored
do return true
84 redef fun make_token
(position
, source
) do
87 redef fun trans
(char
) do
88 var c
= char
.code_point
89 if c
<= 8 then return null
90 if c
<= 10 then return dfastate_1
91 if c
<= 31 then return null
92 if c
<= 32 then return dfastate_1
96 private class DFAState2
98 redef fun trans
(char
) do
99 var c
= char
.code_point
100 if c
> 92 then return dfastate_2
101 if c
<= 33 then return dfastate_2
102 if c
<= 34 then return dfastate_29
103 if c
<= 91 then return dfastate_2
107 private class DFAState3
109 redef fun is_accept
do return true
110 redef fun make_token
(position
, source
) do
111 var t
= new N_39d_44d_39d
113 t
.position
= position
117 private class DFAState4
119 redef fun trans
(char
) do
120 var c
= char
.code_point
121 if c
<= 47 then return null
122 if c
<= 57 then return dfastate_5
126 private class DFAState5
128 redef fun is_accept
do return true
129 redef fun make_token
(position
, source
) do
131 t
.text
= position
.extract
(source
)
132 t
.position
= position
135 redef fun trans
(char
) do
136 var c
= char
.code_point
137 if c
<= 45 then return null
138 if c
<= 46 then return dfastate_24
139 if c
<= 47 then return null
140 if c
<= 57 then return dfastate_5
141 if c
<= 68 then return null
142 if c
<= 69 then return dfastate_25
143 if c
<= 100 then return null
144 if c
<= 101 then return dfastate_25
148 private class DFAState6
150 redef fun is_accept
do return true
151 redef fun make_token
(position
, source
) do
152 var t
= new N_39d_58d_39d
154 t
.position
= position
158 private class DFAState7
160 redef fun is_accept
do return true
161 redef fun make_token
(position
, source
) do
162 var t
= new N_39d_91d_39d
164 t
.position
= position
168 private class DFAState8
170 redef fun is_accept
do return true
171 redef fun make_token
(position
, source
) do
172 var t
= new N_39d_93d_39d
174 t
.position
= position
178 private class DFAState9
180 redef fun trans
(char
) do
181 var c
= char
.code_point
182 if c
<= 96 then return null
183 if c
<= 97 then return dfastate_20
187 private class DFAState10
189 redef fun trans
(char
) do
190 var c
= char
.code_point
191 if c
<= 116 then return null
192 if c
<= 117 then return dfastate_17
196 private class DFAState11
198 redef fun trans
(char
) do
199 var c
= char
.code_point
200 if c
<= 113 then return null
201 if c
<= 114 then return dfastate_14
205 private class DFAState12
207 redef fun is_accept
do return true
208 redef fun make_token
(position
, source
) do
209 var t
= new N_39d_123d_39d
211 t
.position
= position
215 private class DFAState13
217 redef fun is_accept
do return true
218 redef fun make_token
(position
, source
) do
219 var t
= new N_39d_125d_39d
221 t
.position
= position
225 private class DFAState14
227 redef fun trans
(char
) do
228 var c
= char
.code_point
229 if c
<= 116 then return null
230 if c
<= 117 then return dfastate_15
234 private class DFAState15
236 redef fun trans
(char
) do
237 var c
= char
.code_point
238 if c
<= 100 then return null
239 if c
<= 101 then return dfastate_16
243 private class DFAState16
245 redef fun is_accept
do return true
246 redef fun make_token
(position
, source
) do
247 var t
= new N_39dtrue_39d
249 t
.position
= position
253 private class DFAState17
255 redef fun trans
(char
) do
256 var c
= char
.code_point
257 if c
<= 107 then return null
258 if c
<= 108 then return dfastate_18
262 private class DFAState18
264 redef fun trans
(char
) do
265 var c
= char
.code_point
266 if c
<= 107 then return null
267 if c
<= 108 then return dfastate_19
271 private class DFAState19
273 redef fun is_accept
do return true
274 redef fun make_token
(position
, source
) do
275 var t
= new N_39dnull_39d
277 t
.position
= position
281 private class DFAState20
283 redef fun trans
(char
) do
284 var c
= char
.code_point
285 if c
<= 107 then return null
286 if c
<= 108 then return dfastate_21
290 private class DFAState21
292 redef fun trans
(char
) do
293 var c
= char
.code_point
294 if c
<= 114 then return null
295 if c
<= 115 then return dfastate_22
299 private class DFAState22
301 redef fun trans
(char
) do
302 var c
= char
.code_point
303 if c
<= 100 then return null
304 if c
<= 101 then return dfastate_23
308 private class DFAState23
310 redef fun is_accept
do return true
311 redef fun make_token
(position
, source
) do
312 var t
= new N_39dfalse_39d
314 t
.position
= position
318 private class DFAState24
320 redef fun trans
(char
) do
321 var c
= char
.code_point
322 if c
<= 47 then return null
323 if c
<= 57 then return dfastate_28
327 private class DFAState25
329 redef fun trans
(char
) do
330 var c
= char
.code_point
331 if c
<= 42 then return null
332 if c
<= 43 then return dfastate_26
333 if c
<= 44 then return null
334 if c
<= 45 then return dfastate_26
335 if c
<= 47 then return null
336 if c
<= 57 then return dfastate_27
340 private class DFAState26
342 redef fun trans
(char
) do
343 var c
= char
.code_point
344 if c
<= 47 then return null
345 if c
<= 57 then return dfastate_27
349 private class DFAState27
351 redef fun is_accept
do return true
352 redef fun make_token
(position
, source
) do
354 t
.text
= position
.extract
(source
)
355 t
.position
= position
358 redef fun trans
(char
) do
359 var c
= char
.code_point
360 if c
<= 47 then return null
361 if c
<= 57 then return dfastate_27
365 private class DFAState28
367 redef fun is_accept
do return true
368 redef fun make_token
(position
, source
) do
370 t
.text
= position
.extract
(source
)
371 t
.position
= position
374 redef fun trans
(char
) do
375 var c
= char
.code_point
376 if c
<= 47 then return null
377 if c
<= 57 then return dfastate_28
378 if c
<= 68 then return null
379 if c
<= 69 then return dfastate_25
380 if c
<= 100 then return null
381 if c
<= 101 then return dfastate_25
385 private class DFAState29
387 redef fun is_accept
do return true
388 redef fun make_token
(position
, source
) do
390 t
.text
= position
.extract
(source
)
391 t
.position
= position
395 private class DFAState30
397 redef fun trans
(char
) do
398 var c
= char
.code_point
399 if c
<= 33 then return null
400 if c
<= 34 then return dfastate_2
401 if c
<= 46 then return null
402 if c
<= 47 then return dfastate_2
403 if c
<= 91 then return null
404 if c
<= 92 then return dfastate_2
405 if c
<= 97 then return null
406 if c
<= 98 then return dfastate_2
407 if c
<= 101 then return null
408 if c
<= 102 then return dfastate_2
409 if c
<= 109 then return null
410 if c
<= 110 then return dfastate_2
411 if c
<= 113 then return null
412 if c
<= 114 then return dfastate_2
413 if c
<= 115 then return null
414 if c
<= 116 then return dfastate_2
415 if c
<= 117 then return dfastate_31
419 private class DFAState31
421 redef fun trans
(char
) do
422 var c
= char
.code_point
423 if c
<= 47 then return null
424 if c
<= 57 then return dfastate_32
425 if c
<= 64 then return null
426 if c
<= 90 then return dfastate_32
427 if c
<= 96 then return null
428 if c
<= 122 then return dfastate_32
432 private class DFAState32
434 redef fun trans
(char
) do
435 var c
= char
.code_point
436 if c
<= 47 then return null
437 if c
<= 57 then return dfastate_33
438 if c
<= 64 then return null
439 if c
<= 90 then return dfastate_33
440 if c
<= 96 then return null
441 if c
<= 122 then return dfastate_33
445 private class DFAState33
447 redef fun trans
(char
) do
448 var c
= char
.code_point
449 if c
<= 47 then return null
450 if c
<= 57 then return dfastate_34
451 if c
<= 64 then return null
452 if c
<= 90 then return dfastate_34
453 if c
<= 96 then return null
454 if c
<= 122 then return dfastate_34
458 private class DFAState34
460 redef fun trans
(char
) do
461 var c
= char
.code_point
462 if c
<= 47 then return null
463 if c
<= 57 then return dfastate_2
464 if c
<= 64 then return null
465 if c
<= 90 then return dfastate_2
466 if c
<= 96 then return null
467 if c
<= 122 then return dfastate_2