1 #include <OOC/Doc/Input/Texinfo.d>
2 #include <__oo2c.h>
3 #include <setjmp.h>
4
OOC_Doc_Input_Texinfo__ErrorContextDesc_GetTemplate(OOC_Doc_Input_Texinfo__ErrorContext context,Msg__Msg msg,Msg__LString templ,OOC_LEN templ_0d)5 void OOC_Doc_Input_Texinfo__ErrorContextDesc_GetTemplate(OOC_Doc_Input_Texinfo__ErrorContext context, Msg__Msg msg, Msg__LString templ, OOC_LEN templ_0d) {
6 register OOC_INT64 i0,i1;
7 OOC_CHAR16 t[128];
8
9 i0 = (OOC_INT64)msg;
10 i1 = *(OOC_INT32*)((_check_pointer(i0, 4361))+16);
11 switch (i1) {
12 case 1:
13 _copy_16((const void*)((OOC_CHAR16[]){85,110,107,110,111,119,110,32,84,101,120,105,110,102,111,32,99,111,109,109,97,110,100,32,110,97,109,101,32,96,64,36,123,110,97,109,101,125,39,0}),(void*)(OOC_INT64)t,128);
14 goto l16;
15 case 2:
16 _copy_16((const void*)((OOC_CHAR16[]){69,120,112,101,99,116,101,100,32,97,114,103,117,109,101,110,116,32,100,101,108,105,109,105,116,101,114,32,96,123,39,0}),(void*)(OOC_INT64)t,128);
17 goto l16;
18 case 3:
19 _copy_16((const void*)((OOC_CHAR16[]){69,120,112,101,99,116,101,100,32,97,114,103,117,109,101,110,116,32,100,101,108,105,109,105,116,101,114,32,96,125,39,0}),(void*)(OOC_INT64)t,128);
20 goto l16;
21 case 4:
22 _copy_16((const void*)((OOC_CHAR16[]){74,117,110,107,32,97,102,116,101,114,32,101,110,100,32,111,102,32,116,101,120,116,0}),(void*)(OOC_INT64)t,128);
23 goto l16;
24 case 5:
25 _copy_16((const void*)((OOC_CHAR16[]){74,117,110,107,32,97,116,32,101,110,100,32,111,102,32,108,105,110,101,0}),(void*)(OOC_INT64)t,128);
26 goto l16;
27 case 6:
28 _copy_16((const void*)((OOC_CHAR16[]){69,120,112,101,99,116,101,100,32,105,116,101,109,32,109,97,114,107,0}),(void*)(OOC_INT64)t,128);
29 goto l16;
30 case 7:
31 _copy_16((const void*)((OOC_CHAR16[]){84,104,105,115,32,99,111,109,109,97,110,100,32,109,117,115,116,32,115,116,97,110,100,32,97,116,32,116,104,101,32,98,101,103,105,110,110,105,110,103,32,111,102,32,116,104,101,32,108,105,110,101,0}),(void*)(OOC_INT64)t,128);
32 goto l16;
33 case 8:
34 _copy_16((const void*)((OOC_CHAR16[]){69,120,112,101,99,116,101,100,32,99,111,109,109,97,110,100,32,96,64,101,110,100,32,36,123,110,97,109,101,125,39,0}),(void*)(OOC_INT64)t,128);
35 goto l16;
36 case 9:
37 _copy_16((const void*)((OOC_CHAR16[]){70,111,117,110,100,32,96,123,39,32,111,117,116,115,105,100,101,32,111,102,32,97,32,99,111,109,109,97,110,100,0}),(void*)(OOC_INT64)t,128);
38 goto l16;
39 case 10:
40 _copy_16((const void*)((OOC_CHAR16[]){70,111,117,110,100,32,96,125,39,32,111,117,116,115,105,100,101,32,111,102,32,97,32,99,111,109,109,97,110,100,0}),(void*)(OOC_INT64)t,128);
41 goto l16;
42 case 11:
43 _copy_16((const void*)((OOC_CHAR16[]){67,111,109,109,97,110,100,32,96,64,36,123,110,97,109,101,125,39,32,114,101,113,117,105,114,101,115,32,36,123,109,105,110,105,109,117,109,125,32,97,114,103,117,109,101,110,116,115,0}),(void*)(OOC_INT64)t,128);
44 goto l16;
45 case 12:
46 _copy_16((const void*)((OOC_CHAR16[]){82,101,113,117,105,114,101,32,109,97,114,107,117,112,32,99,111,109,109,97,110,100,32,97,102,116,101,114,32,96,64,116,97,98,108,101,39,0}),(void*)(OOC_INT64)t,128);
47 goto l16;
48 case 13:
49 _copy_16((const void*)((OOC_CHAR16[]){73,110,118,97,108,105,100,32,115,116,97,114,116,32,105,110,100,101,120,32,102,111,114,32,101,110,117,109,101,114,97,116,105,111,110,0}),(void*)(OOC_INT64)t,128);
50 goto l16;
51 default:
52 _failed_case(i1, 4353);
53 goto l16;
54 }
55 l16:
56 i1 = (OOC_INT64)context;
57 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i1, 5308)))), OOC_Error__ContextDesc_BaseTemplate)),OOC_Error__ContextDesc_BaseTemplate)((OOC_Error__Context)i1, (Msg__Msg)i0, (void*)(OOC_INT64)t, 128, (void*)(OOC_INT64)templ, templ_0d);
58 return;
59 ;
60 }
61
OOC_Doc_Input_Texinfo__Tokenize(OOC_Scanner_SymList__Symbol sym,OOC_Scanner_InputBuffer__CharArray str,OOC_Error__List errList)62 static OOC_Doc_Input_Texinfo__Token OOC_Doc_Input_Texinfo__Tokenize(OOC_Scanner_SymList__Symbol sym, OOC_Scanner_InputBuffer__CharArray str, OOC_Error__List errList) {
63 register OOC_INT64 i0,i1,i2,i3,i4,i5,i6;
64 OOC_Doc_Input_Texinfo__Token tokenList;
65 OOC_Doc_Input_Texinfo__Token tokenTail;
66 OOC_INT32 pos;
67 OOC_CHAR8 beginningOfLine;
68 OOC_INT32 currLine;
69 OOC_INT32 currLinePos;
70 OOC_INT32 currLineTab;
71 OOC_INT32 startPos;
72 OOC_INT32 startColumn;
73 OOC_INT32 i;
74 OOC_CHAR8 name[16];
75 OOC_INT32 len;
76 Msg__Msg lastError;
77 auto void OOC_Doc_Input_Texinfo__Tokenize_Err(OOC_INT32 code);
78 auto void OOC_Doc_Input_Texinfo__Tokenize_Append(OOC_Doc_Input_Texinfo__Token t);
79 auto void OOC_Doc_Input_Texinfo__Tokenize_InitToken(OOC_Doc_Input_Texinfo__Token t, OOC_INT32 id);
80 auto void OOC_Doc_Input_Texinfo__Tokenize_AddToken(OOC_INT32 id);
81 auto void OOC_Doc_Input_Texinfo__Tokenize_AddText(void);
82 auto OOC_CHAR8 OOC_Doc_Input_Texinfo__Tokenize_LookingAt(const OOC_CHAR8 pattern__ref[], OOC_LEN pattern_0d);
83 auto OOC_CHAR8 OOC_Doc_Input_Texinfo__Tokenize_OutOfBandCommand(void);
84 auto OOC_CHAR8 OOC_Doc_Input_Texinfo__Tokenize_IsTextChar(void);
85 auto void OOC_Doc_Input_Texinfo__Tokenize_Newline(OOC_INT32 incr);
86 auto OOC_CHAR8 OOC_Doc_Input_Texinfo__Tokenize_BeginningOfLine(OOC_INT32 pos);
87
88 void OOC_Doc_Input_Texinfo__Tokenize_Err(OOC_INT32 code) {
89 register OOC_INT64 i0,i1,i2;
90
91 i0 = code;
92 i1 = (OOC_INT64)OOC_Doc_Input_Texinfo__texinfoContext;
93 i0 = (OOC_INT64)OOC_Error__New((OOC_Error__Context)i1, i0);
94 lastError = (Msg__Msg)i0;
95 i1 = (OOC_INT64)sym;
96 i1 = *(OOC_INT32*)((_check_pointer(i1, 5955))+28);
97 i2 = startPos;
98 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 5929)))), Msg__MsgDesc_SetIntAttrib)),Msg__MsgDesc_SetIntAttrib)((Msg__Msg)i0, (OOC_CHAR8*)"pos", 4, (i1+i2));
99 i0 = (OOC_INT64)lastError;
100 i1 = currLine;
101 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 5987)))), Msg__MsgDesc_SetIntAttrib)),Msg__MsgDesc_SetIntAttrib)((Msg__Msg)i0, (OOC_CHAR8*)"line", 5, i1);
102 i0 = (OOC_INT64)lastError;
103 i1 = startColumn;
104 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 6037)))), Msg__MsgDesc_SetIntAttrib)),Msg__MsgDesc_SetIntAttrib)((Msg__Msg)i0, (OOC_CHAR8*)"column", 7, i1);
105 i0 = (OOC_INT64)errList;
106 i1 = (OOC_INT64)lastError;
107 OOC_Error__ListDesc_Append((OOC_Error__List)i0, (Msg__Msg)i1);
108 return;
109 ;
110 }
111
112
113 void OOC_Doc_Input_Texinfo__Tokenize_Append(OOC_Doc_Input_Texinfo__Token t) {
114 register OOC_INT64 i0,i1;
115
116 i0 = (OOC_INT64)t;
117 *(OOC_INT64*)(_check_pointer(i0, 6181)) = 0;
118 i1 = (OOC_INT64)tokenList;
119 i1 = i1==0;
120 if (i1) goto l3;
121 i1 = (OOC_INT64)tokenTail;
122 *(OOC_INT64*)(_check_pointer(i1, 6279)) = i0;
123 goto l4;
124 l3:
125 tokenList = (OOC_Doc_Input_Texinfo__Token)i0;
126 l4:
127 tokenTail = (OOC_Doc_Input_Texinfo__Token)i0;
128 return;
129 ;
130 }
131
132
133 void OOC_Doc_Input_Texinfo__Tokenize_InitToken(OOC_Doc_Input_Texinfo__Token t, OOC_INT32 id) {
134 register OOC_INT64 i0,i1,i2;
135
136 i0 = (OOC_INT64)t;
137 *(OOC_INT64*)(_check_pointer(i0, 6406)) = 0;
138 i1 = id;
139 *(OOC_INT8*)((_check_pointer(i0, 6428))+9) = i1;
140 i1 = (OOC_INT64)sym;
141 i1 = *(OOC_INT32*)((_check_pointer(i1, 6475))+28);
142 i2 = startPos;
143 *(OOC_INT32*)((_check_pointer(i0, 6463))+12) = (i1+i2);
144 i1 = currLine;
145 *(OOC_INT32*)((_check_pointer(i0, 6498))+16) = i1;
146 i1 = startColumn;
147 *(OOC_INT32*)((_check_pointer(i0, 6525))+20) = i1;
148 i1 = beginningOfLine;
149 *(OOC_UINT8*)((_check_pointer(i0, 6557))+8) = i1;
150 *(OOC_INT64*)((_check_pointer(i0, 6590))+24) = 0;
151 return;
152 ;
153 }
154
155
156 void OOC_Doc_Input_Texinfo__Tokenize_AddToken(OOC_INT32 id) {
157 register OOC_INT64 i0,i1;
158
159 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc_Input_Texinfo__Token.baseTypes[0]);
160 i1 = id;
161 OOC_Doc_Input_Texinfo__Tokenize_InitToken((OOC_Doc_Input_Texinfo__Token)i0, i1);
162 OOC_Doc_Input_Texinfo__Tokenize_Append((OOC_Doc_Input_Texinfo__Token)i0);
163 beginningOfLine = 0u;
164 return;
165 ;
166 }
167
168
169 void OOC_Doc_Input_Texinfo__Tokenize_AddText(void) {
170 register OOC_INT64 i0,i1,i2,i3,i4,i5,i6,i7,i8,i9;
171 OOC_Doc_Input_Texinfo__Token t;
172 OOC_INT32 j;
173
174 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc_Input_Texinfo__Token.baseTypes[0]);
175 t = (OOC_Doc_Input_Texinfo__Token)i0;
176 OOC_Doc_Input_Texinfo__Tokenize_InitToken((OOC_Doc_Input_Texinfo__Token)i0, 42);
177 OOC_Doc_Input_Texinfo__Tokenize_Append((OOC_Doc_Input_Texinfo__Token)i0);
178 i1 = startPos;
179 i2 = pos;
180 i3 = i2-i1;
181 beginningOfLine = 0u;
182 *(OOC_INT64*)((_check_pointer(i0, 7040))+24) = ((OOC_INT64)RT0__NewObject(_td_OOC_Scanner_InputBuffer__CharArray.baseTypes[0], (i3+1)));
183 j = i1;
184 i4 = i1<i2;
185 if (!i4) goto l8;
186 i4 = (OOC_INT64)str;
187 i5 = (i1*(-1))+i1;
188
189 l3_loop:
190 i6 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 7109))+24);
191 i6 = _check_pointer(i6, 7113);
192 i7 = OOC_ARRAY_LENGTH(i6, 0);
193 i8 = _check_pointer(i4, 7132);
194 i9 = OOC_ARRAY_LENGTH(i8, 0);
195 i8 = *(OOC_UINT8*)(i8+(_check_index(i1, i9, OOC_UINT32, 7132)));
196 *(OOC_UINT8*)(i6+(_check_index(i5, i7, OOC_UINT32, 7113))) = i8;
197 i1 = i1+1;
198 j = i1;
199 i5 = i5+1;
200 i6 = i1<i2;
201 if (i6) goto l3_loop;
202 l8:
203 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 7154))+24);
204 i0 = _check_pointer(i0, 7159);
205 i1 = OOC_ARRAY_LENGTH(i0, 0);
206 *(OOC_UINT8*)(i0+(_check_index(i3, i1, OOC_UINT32, 7159))) = 0u;
207 return;
208 ;
209 }
210
211
212 OOC_CHAR8 OOC_Doc_Input_Texinfo__Tokenize_LookingAt(const OOC_CHAR8 pattern__ref[], OOC_LEN pattern_0d) {
213 register OOC_INT64 i0,i1,i2,i3,i4,i5,i6;
214 OOC_ALLOCATE_VPAR(pattern,OOC_CHAR8 ,pattern_0d)
215 OOC_INT32 i;
216
217 OOC_INITIALIZE_VPAR(pattern__ref,pattern,OOC_CHAR8 ,pattern_0d)
218 i = 0;
219 i0 = *(OOC_UINT8*)((OOC_INT64)pattern+(_check_index(0, pattern_0d, OOC_UINT32, 7327)));
220 i0 = i0!=0u;
221 if (i0) goto l3;
222 i0=0u;
223 goto l5;
224 l3:
225 i0 = (OOC_INT64)str;
226 i0 = _check_pointer(i0, 7343);
227 i1 = OOC_ARRAY_LENGTH(i0, 0);
228 i2 = pos;
229 i3 = *(OOC_UINT8*)((OOC_INT64)pattern+(_check_index(0, pattern_0d, OOC_UINT32, 7360)));
230 i0 = *(OOC_UINT8*)(i0+(_check_index(i2, i1, OOC_UINT32, 7343)));
231 i0 = i0==i3;
232
233 l5:
234 if (i0) goto l7;
235 i0=0;
236 goto l17;
237 l7:
238 i0 = (OOC_INT64)str;
239 i1 = pos;
240 i3=i1;i2=0;
241 l8_loop:
242 i2 = i2+1;
243 i = i2;
244 i4 = *(OOC_UINT8*)((OOC_INT64)pattern+(_check_index(i2, pattern_0d, OOC_UINT32, 7327)));
245 i3 = i3+1;
246 i4 = i4!=0u;
247 if (i4) goto l11;
248 i4=0u;
249 goto l13;
250 l11:
251 i4 = _check_pointer(i0, 7343);
252 i5 = OOC_ARRAY_LENGTH(i4, 0);
253 i6 = *(OOC_UINT8*)((OOC_INT64)pattern+(_check_index(i2, pattern_0d, OOC_UINT32, 7360)));
254 i4 = *(OOC_UINT8*)(i4+(_check_index(i3, i5, OOC_UINT32, 7343)));
255 i4 = i4==i6;
256
257 l13:
258 if (i4) goto l8_loop;
259 l16:
260 i0 = i3-i1;
261
262 l17:
263 i0 = *(OOC_UINT8*)((OOC_INT64)pattern+(_check_index(i0, pattern_0d, OOC_UINT32, 7416)));
264 return (i0==0u);
265 ;
266 }
267
268
269 OOC_CHAR8 OOC_Doc_Input_Texinfo__Tokenize_OutOfBandCommand(void) {
270 register OOC_INT64 i0;
271
272 i0 = OOC_Doc_Input_Texinfo__Tokenize_LookingAt((OOC_CHAR8*)"---", 4);
273 if (i0) goto l3;
274 i0 = OOC_Doc_Input_Texinfo__Tokenize_LookingAt((OOC_CHAR8*)"``", 3);
275
276 goto l5;
277 l3:
278 i0=1u;
279 l5:
280 if (i0) goto l7;
281 i0 = OOC_Doc_Input_Texinfo__Tokenize_LookingAt((OOC_CHAR8*)"\047\047", 3);
282
283 goto l8;
284 l7:
285 i0=1u;
286 l8:
287 return i0;
288 ;
289 }
290
291
292 OOC_CHAR8 OOC_Doc_Input_Texinfo__Tokenize_IsTextChar(void) {
293 register OOC_INT64 i0,i1,i2;
294
295 i0 = (OOC_INT64)str;
296 i0 = _check_pointer(i0, 7662);
297 i1 = OOC_ARRAY_LENGTH(i0, 0);
298 i2 = pos;
299 i0 = *(OOC_UINT8*)(i0+(_check_index(i2, i1, OOC_UINT32, 7662)));
300 switch (i0) {
301 case 64u:
302 case 123u:
303 case 125u:
304 case 44u:
305 case 10u:
306 case 13u:
307 return 0u;
308 goto l4;
309 default:
310 return 1u;
311 goto l4;
312 }
313 l4:
314 _failed_function(7614); return 0;
315 ;
316 }
317
318
319 void OOC_Doc_Input_Texinfo__Tokenize_Newline(OOC_INT32 incr) {
320 register OOC_INT64 i0,i1;
321
322 i0 = pos;
323 i1 = incr;
324 i0 = i0+i1;
325 pos = i0;
326 beginningOfLine = 1u;
327 currLinePos = i0;
328 i0 = currLine;
329 currLineTab = 0;
330 currLine = (i0+1);
331 return;
332 ;
333 }
334
335
336 OOC_CHAR8 OOC_Doc_Input_Texinfo__Tokenize_BeginningOfLine(OOC_INT32 pos) {
337 register OOC_INT64 i0,i1,i2,i3,i4;
338
339 i0 = pos;
340 i1 = i0!=0;
341 if (i1) goto l3;
342 i1=0u;
343 goto l9;
344 l3:
345 i1 = (OOC_INT64)str;
346 i2 = _check_pointer(i1, 8103);
347 i3 = OOC_ARRAY_LENGTH(i2, 0);
348 i4 = i0-1;
349 i2 = *(OOC_UINT8*)(i2+(_check_index(i4, i3, OOC_UINT32, 8103)));
350 i2 = i2==2u;
351 if (i2) goto l6;
352 i1 = _check_pointer(i1, 8158);
353 i2 = OOC_ARRAY_LENGTH(i1, 0);
354 i1 = *(OOC_UINT8*)(i1+(_check_index(i4, i2, OOC_UINT32, 8158)));
355 i1 = i1==3u;
356
357 goto l9;
358 l6:
359 i1=1u;
360 l9:
361 if (!i1) goto l25;
362 i1 = (OOC_INT64)str;
363
364 l12_loop:
365 i0 = i0-1;
366 pos = i0;
367 i2 = i0!=0;
368 if (i2) goto l15;
369 i2=0u;
370 goto l21;
371 l15:
372 i2 = _check_pointer(i1, 8103);
373 i3 = OOC_ARRAY_LENGTH(i2, 0);
374 i4 = i0-1;
375 i2 = *(OOC_UINT8*)(i2+(_check_index(i4, i3, OOC_UINT32, 8103)));
376 i2 = i2==2u;
377 if (i2) goto l18;
378 i2 = _check_pointer(i1, 8158);
379 i3 = OOC_ARRAY_LENGTH(i2, 0);
380 i2 = *(OOC_UINT8*)(i2+(_check_index(i4, i3, OOC_UINT32, 8158)));
381 i2 = i2==3u;
382
383 goto l21;
384 l18:
385 i2=1u;
386 l21:
387 if (i2) goto l12_loop;
388 l25:
389 i1 = i0==0;
390 if (i1) goto l28;
391 i1 = (OOC_INT64)str;
392 i1 = _check_pointer(i1, 8254);
393 i2 = OOC_ARRAY_LENGTH(i1, 0);
394 i1 = *(OOC_UINT8*)(i1+(_check_index((i0-1), i2, OOC_UINT32, 8254)));
395 i1 = i1==13u;
396
397 goto l30;
398 l28:
399 i1=1u;
400 l30:
401 if (i1) goto l32;
402 i1 = (OOC_INT64)str;
403 i1 = _check_pointer(i1, 8281);
404 i2 = OOC_ARRAY_LENGTH(i1, 0);
405 i0 = *(OOC_UINT8*)(i1+(_check_index((i0-1), i2, OOC_UINT32, 8281)));
406 i0 = i0==10u;
407
408 goto l33;
409 l32:
410 i0=1u;
411 l33:
412 return i0;
413 ;
414 }
415
416
417 tokenList = (OOC_Doc_Input_Texinfo__Token)(OOC_INT64)0;
418 tokenTail = (OOC_Doc_Input_Texinfo__Token)(OOC_INT64)0;
419 pos = 0;
420 beginningOfLine = 1u;
421 i0 = (OOC_INT64)sym;
422 i1 = *(OOC_INT32*)((_check_pointer(i0, 8431))+32);
423 currLine = i1;
424 i0 = *(OOC_INT32*)((_check_pointer(i0, 8458))+36);
425 currLinePos = (-i0);
426 currLineTab = 0;
427 i0 = (OOC_INT64)str;
428 i0 = _check_pointer(i0, 8505);
429 i1 = OOC_ARRAY_LENGTH(i0, 0);
430 i0 = *(OOC_UINT8*)(i0+(_check_index(0, i1, OOC_UINT32, 8505)));
431 i0 = i0!=0u;
432 if (!i0) goto l108;
433 l3_loop:
434 i0 = pos;
435 i1 = currLinePos;
436 i2 = currLineTab;
437 i3 = (i0-i1)+i2;
438 startPos = i0;
439 startColumn = i3;
440 i4 = (OOC_INT64)str;
441 i5 = _check_pointer(i4, 8607);
442 i6 = OOC_ARRAY_LENGTH(i5, 0);
443 i5 = *(OOC_UINT8*)(i5+(_check_index(i0, i6, OOC_UINT32, 8607)));
444 switch (i5) {
445 case 64u:
446 i0 = i0+1;
447 pos = i0;
448 i1 = _check_pointer(i4, 8776);
449 i2 = OOC_ARRAY_LENGTH(i1, 0);
450 i1 = *(OOC_UINT8*)(i1+(_check_index(i0, i2, OOC_UINT32, 8776)));
451 i1 = CharClass__IsLetter(i1);
452 if (i1) goto l8;
453 i1 = _check_pointer(i4, 9175);
454 i2 = OOC_ARRAY_LENGTH(i1, 0);
455 i1 = *(OOC_UINT8*)(i1+(_check_index(i0, i2, OOC_UINT32, 9175)));
456 *(OOC_UINT8*)((OOC_INT64)name+(_check_index(0, 16, OOC_UINT8, 9165))) = i1;
457 *(OOC_UINT8*)((OOC_INT64)name+(_check_index(1, 16, OOC_UINT8, 9196))) = 0u;
458 len = 1;
459 pos = (i0+1);
460 goto l18;
461 l8:
462 i = 0;
463 i1=i0;i0=0;
464 l9_loop:
465 i2 = i0<15;
466 if (!i2) goto l13;
467 i2 = _check_pointer(i4, 8923);
468 i3 = OOC_ARRAY_LENGTH(i2, 0);
469 i2 = *(OOC_UINT8*)(i2+(_check_index(i1, i3, OOC_UINT32, 8923)));
470 *(OOC_UINT8*)((OOC_INT64)name+(_check_index(i0, 16, OOC_UINT32, 8913))) = i2;
471 i0 = i0+1;
472 i = i0;
473
474 l13:
475 i1 = i1+1;
476 pos = i1;
477 i2 = _check_pointer(i4, 9031);
478 i3 = OOC_ARRAY_LENGTH(i2, 0);
479 i2 = *(OOC_UINT8*)(i2+(_check_index(i1, i3, OOC_UINT32, 9031)));
480 i2 = CharClass__IsLetter(i2);
481 i2 = !i2;
482 if (!i2) goto l9_loop;
483 l17:
484 len = i0;
485 *(OOC_UINT8*)((OOC_INT64)name+(_check_index(i0, 16, OOC_UINT32, 9073))) = 0u;
486 l18:
487 i = 37;
488 i0 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(37, 38, OOC_UINT32, 9453))*8);
489 i0 = (
490 _cmp8((const void*)((_check_pointer(i0, 9456))+2),(const void*)(OOC_INT64)name))!=0;
491 if (i0) goto l21;
492 i0=37;
493 goto l31;
494 l21:
495 i0=37;
496 l22_loop:
497 i0 = i0-1;
498 i = i0;
499 i1 = i0>=0;
500 if (i1) goto l25;
501 i1=0u;
502 goto l27;
503 l25:
504 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 9453))*8);
505 i1 = (
506 _cmp8((const void*)((_check_pointer(i1, 9456))+2),(const void*)(OOC_INT64)name))!=0;
507
508 l27:
509 if (i1) goto l22_loop;
510 l31:
511 i1 = i0<0;
512 if (i1) goto l45;
513 i1 = 28<=i0;
514 if (i1) goto l36;
515 i0=0u;
516 goto l38;
517 l36:
518 i0 = i0<=37;
519
520 l38:
521 if (i0) goto l40;
522 i0=0u;
523 goto l42;
524 l40:
525 i0 = beginningOfLine;
526 i0 = !i0;
527
528 l42:
529 if (!i0) goto l46;
530 OOC_Doc_Input_Texinfo__Tokenize_Err(7);
531 goto l46;
532 l45:
533 OOC_Doc_Input_Texinfo__Tokenize_Err(1);
534 i0 = (OOC_INT64)Msg__GetStringPtr((void*)(OOC_INT64)name, 16);
535 i1 = (OOC_INT64)lastError;
536 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i1, 9626)))), Msg__MsgDesc_SetStringAttrib)),Msg__MsgDesc_SetStringAttrib)((Msg__Msg)i1, (OOC_CHAR8*)"name", 5, (Msg__StringPtr)i0);
537 i = 38;
538 l46:
539 i0 = i;
540 OOC_Doc_Input_Texinfo__Tokenize_AddToken(i0);
541 goto l103;
542 case 123u:
543 OOC_Doc_Input_Texinfo__Tokenize_AddToken(43);
544 i0 = pos;
545 pos = (i0+1);
546 goto l103;
547 case 125u:
548 OOC_Doc_Input_Texinfo__Tokenize_AddToken(44);
549 i0 = pos;
550 pos = (i0+1);
551 goto l103;
552 case 44u:
553 OOC_Doc_Input_Texinfo__Tokenize_AddToken(45);
554 i0 = pos;
555 pos = (i0+1);
556 goto l103;
557 case 10u:
558 i0 = OOC_Doc_Input_Texinfo__Tokenize_BeginningOfLine(i0);
559 if (!i0) goto l53;
560 OOC_Doc_Input_Texinfo__Tokenize_AddText();
561 l53:
562 OOC_Doc_Input_Texinfo__Tokenize_Newline(1);
563 goto l103;
564 case 13u:
565 i0 = OOC_Doc_Input_Texinfo__Tokenize_BeginningOfLine(i0);
566 if (!i0) goto l57;
567 OOC_Doc_Input_Texinfo__Tokenize_AddText();
568 l57:
569 i0 = (OOC_INT64)str;
570 i0 = _check_pointer(i0, 10439);
571 i1 = pos;
572 i2 = OOC_ARRAY_LENGTH(i0, 0);
573 i0 = *(OOC_UINT8*)(i0+(_check_index((i1+1), i2, OOC_UINT32, 10439)));
574 i0 = i0==10u;
575 if (i0) goto l60;
576 OOC_Doc_Input_Texinfo__Tokenize_Newline(1);
577 goto l103;
578 l60:
579 OOC_Doc_Input_Texinfo__Tokenize_Newline(2);
580 goto l103;
581 case 2u:
582 pos = (i0+1);
583 goto l103;
584 case 3u:
585 i = i3;
586 currLineTab = (i2+((8-(_mod(i3,8)))-1));
587 pos = (i0+1);
588 goto l103;
589 default:
590 i2 = OOC_Doc_Input_Texinfo__Tokenize_LookingAt((OOC_CHAR8*)"---", 4);
591 if (i2) goto l101;
592 i2 = OOC_Doc_Input_Texinfo__Tokenize_LookingAt((OOC_CHAR8*)"``", 3);
593 if (i2) goto l99;
594 i2 = OOC_Doc_Input_Texinfo__Tokenize_LookingAt((OOC_CHAR8*)"\047\047", 3);
595 if (i2) goto l97;
596 i2 = _check_pointer(i4, 11333);
597 i3 = OOC_ARRAY_LENGTH(i2, 0);
598 i0 = *(OOC_UINT8*)(i2+(_check_index(i0, i3, OOC_UINT32, 11333)));
599 i0 = i0!=0u;
600 if (i0) goto l73;
601 i0=0u;
602 goto l75;
603 l73:
604 i0 = OOC_Doc_Input_Texinfo__Tokenize_IsTextChar();
605
606 l75:
607 if (i0) goto l77;
608 i0=0u;
609 goto l79;
610 l77:
611 i0 = OOC_Doc_Input_Texinfo__Tokenize_OutOfBandCommand();
612 i0 = !i0;
613
614 l79:
615 if (!i0) goto l96;
616 l80_loop:
617 i0 = _check_pointer(i4, 11404);
618 i2 = OOC_ARRAY_LENGTH(i0, 0);
619 i3 = pos;
620 i0 = *(OOC_UINT8*)(i0+(_check_index(i3, i2, OOC_UINT32, 11404)));
621 i0 = i0==9u;
622 if (!i0) goto l83;
623 i0 = currLineTab;
624 i2 = (i3-i1)+i0;
625 i = i2;
626 currLineTab = (i0+((8-(_mod(i2,8)))-1));
627 l83:
628 i0 = i3+1;
629 pos = i0;
630 i2 = _check_pointer(i4, 11333);
631 i3 = OOC_ARRAY_LENGTH(i2, 0);
632 i0 = *(OOC_UINT8*)(i2+(_check_index(i0, i3, OOC_UINT32, 11333)));
633 i0 = i0!=0u;
634 if (i0) goto l86;
635 i0=0u;
636 goto l88;
637 l86:
638 i0 = OOC_Doc_Input_Texinfo__Tokenize_IsTextChar();
639
640 l88:
641 if (i0) goto l90;
642 i0=0u;
643 goto l92;
644 l90:
645 i0 = OOC_Doc_Input_Texinfo__Tokenize_OutOfBandCommand();
646 i0 = !i0;
647
648 l92:
649 if (i0) goto l80_loop;
650 l96:
651 OOC_Doc_Input_Texinfo__Tokenize_AddText();
652 goto l103;
653 l97:
654 OOC_Doc_Input_Texinfo__Tokenize_AddToken(41);
655 i0 = pos;
656 pos = (i0+2);
657 goto l103;
658 l99:
659 OOC_Doc_Input_Texinfo__Tokenize_AddToken(40);
660 i0 = pos;
661 pos = (i0+2);
662 goto l103;
663 l101:
664 OOC_Doc_Input_Texinfo__Tokenize_AddToken(39);
665 i0 = pos;
666 pos = (i0+3);
667 goto l103;
668 }
669 l103:
670 i0 = (OOC_INT64)str;
671 i0 = _check_pointer(i0, 8505);
672 i1 = OOC_ARRAY_LENGTH(i0, 0);
673 i2 = pos;
674 i0 = *(OOC_UINT8*)(i0+(_check_index(i2, i1, OOC_UINT32, 8505)));
675 i0 = i0!=0u;
676 if (i0) goto l3_loop;
677 l108:
678 i0 = pos;
679 i1 = currLinePos;
680 i2 = currLineTab;
681 startPos = i0;
682 startColumn = ((i0-i1)+i2);
683 OOC_Doc_Input_Texinfo__Tokenize_AddToken(46);
684 i0 = (OOC_INT64)tokenList;
685 return (OOC_Doc_Input_Texinfo__Token)i0;
686 ;
687 }
688
OOC_Doc_Input_Texinfo__WriteTokens(Channel__Channel ch,OOC_Doc_Input_Texinfo__Token t)689 static void OOC_Doc_Input_Texinfo__WriteTokens(Channel__Channel ch, OOC_Doc_Input_Texinfo__Token t) {
690 register OOC_INT64 i0,i1,i2,i3;
691 TextRider__Writer w;
692 auto void OOC_Doc_Input_Texinfo__WriteTokens_WriteQuoted(TextRider__Writer w, OOC_CHAR8 str[], OOC_LEN str_0d, OOC_INT32 s, OOC_INT32 e);
693
694 void OOC_Doc_Input_Texinfo__WriteTokens_WriteQuoted(TextRider__Writer w, OOC_CHAR8 str[], OOC_LEN str_0d, OOC_INT32 s, OOC_INT32 e) {
695 register OOC_INT64 i0,i1,i2,i3,i4,i5;
696 OOC_INT32 last;
697
698 i0 = s;
699 i1 = e;
700 i2 = i0!=i1;
701 if (!i2) goto l78;
702 i3 = (OOC_INT64)w;
703
704 l3_loop:
705 last = i0;
706 if (i2) goto l6;
707 i2=0u;
708 goto l8;
709 l6:
710 i2 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i0, str_0d, OOC_UINT32, 12118)));
711 i2 = i2!=38u;
712
713 l8:
714 if (i2) goto l10;
715 i2=0u;
716 goto l12;
717 l10:
718 i2 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i0, str_0d, OOC_UINT32, 12135)));
719 i2 = i2!=60u;
720
721 l12:
722 if (i2) goto l14;
723 i2=0u;
724 goto l16;
725 l14:
726 i2 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i0, str_0d, OOC_UINT32, 12152)));
727 i2 = i2!=62u;
728
729 l16:
730 if (i2) goto l18;
731 i2=0u;
732 goto l20;
733 l18:
734 i2 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i0, str_0d, OOC_UINT32, 12184)));
735 i2 = i2!=9u;
736
737 l20:
738 if (i2) goto l22;
739 i2=0u;
740 goto l24;
741 l22:
742 i2 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i0, str_0d, OOC_UINT32, 12201)));
743 i2 = i2!=10u;
744
745 l24:
746 if (i2) goto l26;
747 i2=0u;
748 goto l28;
749 l26:
750 i2 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i0, str_0d, OOC_UINT32, 12218)));
751 i2 = i2!=13u;
752
753 l28:
754 if (i2) goto l30;
755 i2=i0;
756 goto l60;
757 l30:
758 i2=i0;
759 l31_loop:
760 i2 = i2+1;
761 s = i2;
762 i4 = i2!=i1;
763 if (i4) goto l34;
764 i4=0u;
765 goto l36;
766 l34:
767 i4 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i2, str_0d, OOC_UINT32, 12118)));
768 i4 = i4!=38u;
769
770 l36:
771 if (i4) goto l38;
772 i4=0u;
773 goto l40;
774 l38:
775 i4 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i2, str_0d, OOC_UINT32, 12135)));
776 i4 = i4!=60u;
777
778 l40:
779 if (i4) goto l42;
780 i4=0u;
781 goto l44;
782 l42:
783 i4 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i2, str_0d, OOC_UINT32, 12152)));
784 i4 = i4!=62u;
785
786 l44:
787 if (i4) goto l46;
788 i4=0u;
789 goto l48;
790 l46:
791 i4 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i2, str_0d, OOC_UINT32, 12184)));
792 i4 = i4!=9u;
793
794 l48:
795 if (i4) goto l50;
796 i4=0u;
797 goto l52;
798 l50:
799 i4 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i2, str_0d, OOC_UINT32, 12201)));
800 i4 = i4!=10u;
801
802 l52:
803 if (i4) goto l54;
804 i4=0u;
805 goto l56;
806 l54:
807 i4 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i2, str_0d, OOC_UINT32, 12218)));
808 i4 = i4!=13u;
809
810 l56:
811 if (i4) goto l31_loop;
812 l60:
813 i4 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i3, 12272))+16);
814 i5 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i3, 12272))+16);
815 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i4, 12284)))), Channel__WriterDesc_WriteBytes)),Channel__WriterDesc_WriteBytes)((Channel__Writer)i5, (void*)(OOC_INT64)str, (-1), i0, (i2-i0));
816 i0 = i2!=i1;
817 if (i0) goto l63;
818 i0=i2;
819 goto l73;
820 l63:
821 i0 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i2, str_0d, OOC_UINT32, 12360)));
822 switch (i0) {
823 case 38u:
824 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i3, 12385)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i3, (OOC_CHAR8*)"&", 6);
825 goto l72;
826 case 60u:
827 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i3, 12427)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i3, (OOC_CHAR8*)"<", 5);
828 goto l72;
829 case 62u:
830 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i3, 12468)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i3, (OOC_CHAR8*)">", 5);
831 goto l72;
832 case 9u:
833 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i3, 12509)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i3, (OOC_CHAR8*)"	", 5);
834 goto l72;
835 case 10u:
836 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i3, 12550)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i3, (OOC_CHAR8*)" ", 6);
837 goto l72;
838 case 13u:
839 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i3, 12592)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i3, (OOC_CHAR8*)" ", 6);
840 goto l72;
841 default:
842 _failed_case(i0, 12352);
843 goto l72;
844 }
845 l72:
846 i0 = i2+1;
847 s = i0;
848
849 l73:
850 i2 = i0!=i1;
851 if (i2) goto l3_loop;
852 l78:
853 return;
854 ;
855 }
856
857
858 i0 = (OOC_INT64)ch;
859 i0 = (OOC_INT64)TextRider__ConnectWriter((Channel__Channel)i0);
860 w = (TextRider__Writer)i0;
861 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 12745)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"<?xml version=\0471.0\047 encoding=\047ISO-8859-1\047 standalone=\047yes\047?>", 61);
862 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 12830)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"<token-list>", 13);
863 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 12867)))), TextRider__WriterDesc_WriteLn)),TextRider__WriterDesc_WriteLn)((TextRider__Writer)i0);
864 i1 = (OOC_INT64)t;
865 i2 = i1!=(OOC_INT64)0;
866 if (!i2) goto l28;
867
868 l4_loop:
869 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 12908)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)" <token id=\047", 14);
870 i2 = *(OOC_INT8*)((_check_pointer(i1, 12953))+9);
871 switch (i2) {
872 case 38:
873 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 12982)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"#unknown", 9);
874 goto l16;
875 case 39:
876 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13029)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"#---", 5);
877 goto l16;
878 case 40:
879 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13074)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"#``", 4);
880 goto l16;
881 case 41:
882 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13119)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"#\047\047", 4);
883 goto l16;
884 case 42:
885 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13159)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"#text", 6);
886 goto l16;
887 case 43:
888 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13209)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"#{", 3);
889 goto l16;
890 case 44:
891 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13256)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"#}", 3);
892 goto l16;
893 case 45:
894 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13303)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"#,", 3);
895 goto l16;
896 case 46:
897 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13347)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"#end-of-text", 13);
898 goto l16;
899 default:
900 i2 = *(OOC_INT8*)((_check_pointer(i1, 13422))+9);
901 i2 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i2, 38, OOC_UINT8, 13420))*8);
902 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13398)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (void*)((_check_pointer(i2, 13427))+2), 16);
903 goto l16;
904 }
905 l16:
906 i2 = *(OOC_UINT8*)((_check_pointer(i1, 13456))+8);
907 if (!i2) goto l19;
908 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13476)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"\047 bol=\047yes", 11);
909 l19:
910 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13524)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"\047 pos=\047", 8);
911 i2 = *(OOC_INT32*)((_check_pointer(i1, 13572))+12);
912 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13558)))), TextRider__WriterDesc_WriteLInt)),TextRider__WriterDesc_WriteLInt)((TextRider__Writer)i0, i2, 0);
913 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13590)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"\047 line=\047", 9);
914 i2 = *(OOC_INT32*)((_check_pointer(i1, 13639))+16);
915 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13625)))), TextRider__WriterDesc_WriteLInt)),TextRider__WriterDesc_WriteLInt)((TextRider__Writer)i0, i2, 0);
916 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13658)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"\047 column=\047", 11);
917 i2 = *(OOC_INT32*)((_check_pointer(i1, 13709))+20);
918 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13695)))), TextRider__WriterDesc_WriteLInt)),TextRider__WriterDesc_WriteLInt)((TextRider__Writer)i0, i2, 0);
919 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 13734))+24);
920 i2 = i2!=(OOC_INT64)0;
921 if (i2) goto l22;
922 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13902)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"\047/>", 4);
923
924 goto l23;
925 l22:
926 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13761)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"\047>", 3);
927 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 13836))+24);
928 i3 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 13836))+24);
929 i2 = OOC_ARRAY_LENGTH((_check_pointer(i2, 13841)), 0);
930 i2 = Strings__Length((void*)(_check_pointer(i3, 13841)), i2);
931 i3 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 13808))+24);
932 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 13808))+24);
933 i3 = OOC_ARRAY_LENGTH((_check_pointer(i3, 13813)), 0);
934 OOC_Doc_Input_Texinfo__WriteTokens_WriteQuoted((TextRider__Writer)i0, (void*)(_check_pointer(i1, 13813)), i3, 0, i2);
935 i0 = (OOC_INT64)w;
936 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13855)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"</token>", 9);
937
938 l23:
939 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13942)))), TextRider__WriterDesc_WriteLn)),TextRider__WriterDesc_WriteLn)((TextRider__Writer)i0);
940 i1 = (OOC_INT64)t;
941 i1 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i1, 13965));
942 t = (OOC_Doc_Input_Texinfo__Token)i1;
943 i2 = i1!=(OOC_INT64)0;
944 if (i2) goto l4_loop;
945 l28:
946 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13986)))), TextRider__WriterDesc_WriteString)),TextRider__WriterDesc_WriteString)((TextRider__Writer)i0, (OOC_CHAR8*)"</token-list>", 14);
947 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 14024)))), TextRider__WriterDesc_WriteLn)),TextRider__WriterDesc_WriteLn)((TextRider__Writer)i0);
948 return;
949 ;
950 }
951
OOC_Doc_Input_Texinfo__Parse(OOC_Scanner_SymList__Symbol sym,OOC_CHAR8 removeDecoration,OOC_Error__List errList)952 OOC_Doc__Document OOC_Doc_Input_Texinfo__Parse(OOC_Scanner_SymList__Symbol sym, OOC_CHAR8 removeDecoration, OOC_Error__List errList) {
953 register OOC_INT64 i0,i1,i2,i3;
954 OOC_Doc_TextBuffer__Buffer buffer;
955 OOC_Scanner_InputBuffer__CharArray str;
956 OOC_Doc_Decoration__Decoration decoration;
957 OOC_INT32 oldErrors;
958 OOC_Doc_Input_Texinfo__Token tokenList;
959 OOC_Doc_Input_Texinfo__Token token;
960 OOC_Doc__BlockElement blockList;
961 Msg__Msg lastError;
962 struct OOC_Doc__Position bufferPos;
963 auto OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_IsInlineToken(OOC_Doc_Input_Texinfo__Token t);
964 auto OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_IsBlockToken(OOC_Doc_Input_Texinfo__Token t);
965 auto void OOC_Doc_Input_Texinfo__Parse_Err(OOC_INT32 code);
966 auto void OOC_Doc_Input_Texinfo__Parse_NextToken(void);
967 auto void OOC_Doc_Input_Texinfo__Parse_CheckToken(OOC_INT8 id);
968 auto void OOC_Doc_Input_Texinfo__Parse_SkipWhitespace(void);
969 auto OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_IdToChar(OOC_INT8 id);
970 auto OOC_INT32 OOC_Doc_Input_Texinfo__Parse_IdToGlyph(OOC_INT8 id);
971 auto OOC_INT32 OOC_Doc_Input_Texinfo__Parse_IdToMark(OOC_INT8 id);
972 auto OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_IsOberonRef(OOC_INT32 mark);
973 auto OOC_Doc__BlockElement OOC_Doc_Input_Texinfo__Parse_ParseBlockList(void);
974
975 OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_IsInlineToken(OOC_Doc_Input_Texinfo__Token t) {
976 register OOC_INT64 i0,i1;
977
978 i0 = (OOC_INT64)t;
979 i1 = *(OOC_INT8*)((_check_pointer(i0, 14534))+9);
980 i1 = 0<=i1;
981 if (i1) goto l3;
982 i1=0u;
983 goto l5;
984 l3:
985 i1 = *(OOC_INT8*)((_check_pointer(i0, 14544))+9);
986 i1 = i1<=27;
987
988 l5:
989 if (i1) goto l11;
990 i1 = *(OOC_INT8*)((_check_pointer(i0, 14595))+9);
991 i1 = 38<i1;
992 if (i1) goto l9;
993 i0=0u;
994 goto l12;
995 l9:
996 i0 = *(OOC_INT8*)((_check_pointer(i0, 14605))+9);
997 i0 = i0<=45;
998
999 goto l12;
1000 l11:
1001 i0=1u;
1002 l12:
1003 return i0;
1004 ;
1005 }
1006
1007
1008 OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_IsBlockToken(OOC_Doc_Input_Texinfo__Token t) {
1009 register OOC_INT64 i0,i1;
1010
1011 i0 = (OOC_INT64)t;
1012 i1 = *(OOC_INT8*)((_check_pointer(i0, 14740))+9);
1013 i1 = 28<=i1;
1014 if (i1) goto l3;
1015 i0=0u;
1016 goto l4;
1017 l3:
1018 i0 = *(OOC_INT8*)((_check_pointer(i0, 14750))+9);
1019 i0 = i0<35;
1020
1021 l4:
1022 return i0;
1023 ;
1024 }
1025
1026
1027 void OOC_Doc_Input_Texinfo__Parse_Err(OOC_INT32 code) {
1028 register OOC_INT64 i0,i1;
1029
1030 i0 = code;
1031 i1 = (OOC_INT64)OOC_Doc_Input_Texinfo__texinfoContext;
1032 i0 = (OOC_INT64)OOC_Error__New((OOC_Error__Context)i1, i0);
1033 lastError = (Msg__Msg)i0;
1034 i1 = (OOC_INT64)token;
1035 i1 = *(OOC_INT32*)((_check_pointer(i1, 14932))+12);
1036 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 14904)))), Msg__MsgDesc_SetIntAttrib)),Msg__MsgDesc_SetIntAttrib)((Msg__Msg)i0, (OOC_CHAR8*)"pos", 4, i1);
1037 i0 = (OOC_INT64)token;
1038 i1 = (OOC_INT64)lastError;
1039 i0 = *(OOC_INT32*)((_check_pointer(i0, 14984))+16);
1040 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i1, 14955)))), Msg__MsgDesc_SetIntAttrib)),Msg__MsgDesc_SetIntAttrib)((Msg__Msg)i1, (OOC_CHAR8*)"line", 5, i0);
1041 i0 = (OOC_INT64)token;
1042 i1 = (OOC_INT64)lastError;
1043 i0 = *(OOC_INT32*)((_check_pointer(i0, 15039))+20);
1044 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i1, 15008)))), Msg__MsgDesc_SetIntAttrib)),Msg__MsgDesc_SetIntAttrib)((Msg__Msg)i1, (OOC_CHAR8*)"column", 7, i0);
1045 i0 = (OOC_INT64)errList;
1046 i1 = (OOC_INT64)lastError;
1047 OOC_Error__ListDesc_Append((OOC_Error__List)i0, (Msg__Msg)i1);
1048 return;
1049 ;
1050 }
1051
1052
1053 void OOC_Doc_Input_Texinfo__Parse_NextToken(void) {
1054 register OOC_INT64 i0,i1;
1055
1056 i0 = (OOC_INT64)token;
1057 i1 = *(OOC_INT8*)((_check_pointer(i0, 15148))+9);
1058 i1 = i1!=46;
1059 if (!i1) goto l4;
1060 i0 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 15196));
1061 token = (OOC_Doc_Input_Texinfo__Token)i0;
1062 l4:
1063 return;
1064 ;
1065 }
1066
1067
1068 void OOC_Doc_Input_Texinfo__Parse_CheckToken(OOC_INT8 id) {
1069 register OOC_INT64 i0,i1;
1070
1071 i0 = (OOC_INT64)token;
1072 i0 = *(OOC_INT8*)((_check_pointer(i0, 15298))+9);
1073 i1 = id;
1074 i0 = i1!=i0;
1075 if (!i0) goto l9;
1076 l3:
1077 switch (i1) {
1078 case 43:
1079 OOC_Doc_Input_Texinfo__Parse_Err(2);
1080 goto l9;
1081 case 44:
1082 OOC_Doc_Input_Texinfo__Parse_Err(3);
1083 goto l9;
1084 case 46:
1085 OOC_Doc_Input_Texinfo__Parse_Err(4);
1086 goto l9;
1087 default:
1088 _failed_case(i1, 15317);
1089 goto l9;
1090 }
1091 l9:
1092 OOC_Doc_Input_Texinfo__Parse_NextToken();
1093 return;
1094 ;
1095 }
1096
1097
1098 void OOC_Doc_Input_Texinfo__Parse_SkipWhitespace(void) {
1099 register OOC_INT64 i0,i1,i2;
1100 auto OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_SkipWhitespace_OnlyWS(OOC_CHAR8 str[], OOC_LEN str_0d);
1101
1102 OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_SkipWhitespace_OnlyWS(OOC_CHAR8 str[], OOC_LEN str_0d) {
1103 register OOC_INT64 i0,i1;
1104
1105 i0 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(0, str_0d, OOC_UINT32, 15727)));
1106 i0 = i0!=0u;
1107 if (i0) goto l3;
1108 i0=0u;
1109 goto l5;
1110 l3:
1111 i0 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(0, str_0d, OOC_UINT32, 15743)));
1112 i0 = (OOC_UINT8)i0<=(OOC_UINT8)32u;
1113
1114 l5:
1115 if (i0) goto l7;
1116 i0=0;
1117 goto l17;
1118 l7:
1119 i0=0;
1120 l8_loop:
1121 i0 = i0+1;
1122 i1 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i0, str_0d, OOC_UINT32, 15727)));
1123 i1 = i1!=0u;
1124 if (i1) goto l11;
1125 i1=0u;
1126 goto l13;
1127 l11:
1128 i1 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i0, str_0d, OOC_UINT32, 15743)));
1129 i1 = (OOC_UINT8)i1<=(OOC_UINT8)32u;
1130
1131 l13:
1132 if (i1) goto l8_loop;
1133 l17:
1134 i0 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i0, str_0d, OOC_UINT32, 15808)));
1135 return (i0==0u);
1136 ;
1137 }
1138
1139
1140 i0 = (OOC_INT64)token;
1141 i1 = *(OOC_INT8*)((_check_pointer(i0, 15869))+9);
1142 i1 = i1==42;
1143 if (i1) goto l3;
1144 i1=0u;
1145 goto l5;
1146 l3:
1147 i1 = *(OOC_UINT8*)((_check_pointer(i0, 15893))+8);
1148 i1 = !i1;
1149
1150 l5:
1151 if (i1) goto l7;
1152 i1=0u;
1153 goto l9;
1154 l7:
1155 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15914))+24);
1156 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15914))+24);
1157 i1 = OOC_ARRAY_LENGTH((_check_pointer(i1, 15919)), 0);
1158 i1 = OOC_Doc_Input_Texinfo__Parse_SkipWhitespace_OnlyWS((void*)(_check_pointer(i2, 15919)), i1);
1159
1160 l9:
1161 if (!i1) goto l24;
1162 l11_loop:
1163 i0 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 15947));
1164 token = (OOC_Doc_Input_Texinfo__Token)i0;
1165 i1 = *(OOC_INT8*)((_check_pointer(i0, 15869))+9);
1166 i1 = i1==42;
1167 if (i1) goto l14;
1168 i1=0u;
1169 goto l16;
1170 l14:
1171 i1 = *(OOC_UINT8*)((_check_pointer(i0, 15893))+8);
1172 i1 = !i1;
1173
1174 l16:
1175 if (i1) goto l18;
1176 i1=0u;
1177 goto l20;
1178 l18:
1179 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15914))+24);
1180 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15914))+24);
1181 i1 = OOC_ARRAY_LENGTH((_check_pointer(i1, 15919)), 0);
1182 i1 = OOC_Doc_Input_Texinfo__Parse_SkipWhitespace_OnlyWS((void*)(_check_pointer(i2, 15919)), i1);
1183
1184 l20:
1185 if (i1) goto l11_loop;
1186 l24:
1187 return;
1188 ;
1189 }
1190
1191
1192 OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_IdToChar(OOC_INT8 id) {
1193 register OOC_INT64 i0;
1194
1195 i0 = (OOC_INT64)token;
1196 i0 = *(OOC_INT8*)((_check_pointer(i0, 16053))+9);
1197 switch (i0) {
1198 case 0:
1199 return 64u;
1200 goto l6;
1201 case 1:
1202 return 123u;
1203 goto l6;
1204 case 2:
1205 return 125u;
1206 goto l6;
1207 default:
1208 _failed_case(i0, 16043);
1209 goto l6;
1210 }
1211 l6:
1212 _failed_function(16003); return 0;
1213 ;
1214 }
1215
1216
1217 OOC_INT32 OOC_Doc_Input_Texinfo__Parse_IdToGlyph(OOC_INT8 id) {
1218 register OOC_INT64 i0;
1219
1220 i0 = (OOC_INT64)token;
1221 i0 = *(OOC_INT8*)((_check_pointer(i0, 16259))+9);
1222 switch (i0) {
1223 case 3:
1224 return 0;
1225 goto l7;
1226 case 4:
1227 return 1;
1228 goto l7;
1229 case 5:
1230 return 2;
1231 goto l7;
1232 case 6:
1233 return 4;
1234 goto l7;
1235 default:
1236 _failed_case(i0, 16249);
1237 goto l7;
1238 }
1239 l7:
1240 _failed_function(16204); return 0;
1241 ;
1242 }
1243
1244
1245 OOC_INT32 OOC_Doc_Input_Texinfo__Parse_IdToMark(OOC_INT8 id) {
1246 register OOC_INT64 i0;
1247
1248 i0 = id;
1249 switch (i0) {
1250 case 7:
1251 return 0;
1252 goto l22;
1253 case 8:
1254 return 1;
1255 goto l22;
1256 case 9:
1257 return 2;
1258 goto l22;
1259 case 10:
1260 return 3;
1261 goto l22;
1262 case 11:
1263 return 4;
1264 goto l22;
1265 case 12:
1266 return 5;
1267 goto l22;
1268 case 13:
1269 return 6;
1270 goto l22;
1271 case 14:
1272 return 7;
1273 goto l22;
1274 case 19:
1275 return 12;
1276 goto l22;
1277 case 20:
1278 return 13;
1279 goto l22;
1280 case 21:
1281 return 14;
1282 goto l22;
1283 case 22:
1284 return 15;
1285 goto l22;
1286 case 23:
1287 return 16;
1288 goto l22;
1289 case 24:
1290 return 17;
1291 goto l22;
1292 case 25:
1293 return 18;
1294 goto l22;
1295 case 15:
1296 return 8;
1297 goto l22;
1298 case 16:
1299 return 9;
1300 goto l22;
1301 case 17:
1302 return 11;
1303 goto l22;
1304 case 18:
1305 return 10;
1306 goto l22;
1307 default:
1308 _failed_case(i0, 16518);
1309 goto l22;
1310 }
1311 l22:
1312 _failed_function(16474); return 0;
1313 ;
1314 }
1315
1316
1317 OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_IsOberonRef(OOC_INT32 mark) {
1318 register OOC_INT64 i0,i1;
1319
1320 i0 = mark;
1321 i1 = 12<=i0;
1322 if (i1) goto l3;
1323 i0=0u;
1324 goto l4;
1325 l3:
1326 i0 = i0<=18;
1327
1328 l4:
1329 return i0;
1330 ;
1331 }
1332
1333
1334 OOC_Doc__BlockElement OOC_Doc_Input_Texinfo__Parse_ParseBlockList(void) {
1335 register OOC_INT64 i0,i1,i2;
1336 OOC_CHAR8 noIndent;
1337 OOC_Doc__BlockList list;
1338 OOC_Doc__InlineElement inlineText;
1339 auto OOC_Doc__InlineElement OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList(OOC_CHAR8 isArg, OOC_CHAR8 ignoreParagraph, OOC_CHAR8 exitAfterEOL);
1340 auto OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_AtEmptyLine(void);
1341 auto void OOC_Doc_Input_Texinfo__Parse_ParseBlockList_CheckEnd(OOC_INT8 id);
1342 auto OOC_Doc__Itemize OOC_Doc_Input_Texinfo__Parse_ParseBlockList_Itemize(void);
1343 auto OOC_Doc__Enumerate OOC_Doc_Input_Texinfo__Parse_ParseBlockList_Enumerate(void);
1344 auto OOC_Doc__Example OOC_Doc_Input_Texinfo__Parse_ParseBlockList_Example(void);
1345 auto OOC_Doc__BlockElement OOC_Doc_Input_Texinfo__Parse_ParseBlockList_PCond(void);
1346 auto OOC_Doc__Table OOC_Doc_Input_Texinfo__Parse_ParseBlockList_Table(void);
1347
1348 OOC_Doc__InlineElement OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList(OOC_CHAR8 isArg, OOC_CHAR8 ignoreParagraph, OOC_CHAR8 exitAfterEOL) {
1349 register OOC_INT64 i0,i1,i2,i3,i4;
1350 OOC_Doc__InlineList list;
1351 OOC_CHAR8 str2[2];
1352 OOC_INT32 mark;
1353 OOC_Doc_Input_Texinfo__Token posToken;
1354 OOC_Doc__InlineElement inlineText;
1355 auto void OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddText(const OOC_CHAR8 str__ref[], OOC_LEN str_0d);
1356 auto void OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_FlushBuffer(void);
1357 auto void OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddInline(OOC_Doc__InlineElement i);
1358 auto OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_EndOfArguments(void);
1359 auto void OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_CheckNumOfArgs(OOC_INT8 id, OOC_INT32 num);
1360 auto OOC_Doc__Email OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_Email(void);
1361 auto OOC_Doc__Uref OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_Uref(void);
1362
1363 void OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddText(const OOC_CHAR8 str__ref[], OOC_LEN str_0d) {
1364 register OOC_INT64 i0,i1,i2;
1365 OOC_ALLOCATE_VPAR(str,OOC_CHAR8 ,str_0d)
1366
1367 OOC_INITIALIZE_VPAR(str__ref,str,OOC_CHAR8 ,str_0d)
1368 i0 = (OOC_INT64)buffer;
1369 i0 = *(OOC_INT32*)((_check_pointer(i0, 18102))+8);
1370 i0 = i0==0;
1371 if (!i0) goto l3;
1372 i0 = (OOC_INT64)token;
1373 i1 = *(OOC_INT32*)((_check_pointer(i0, 18297))+12);
1374 i2 = *(OOC_INT32*)((_check_pointer(i0, 18309))+16);
1375 i0 = *(OOC_INT32*)((_check_pointer(i0, 18322))+20);
1376 OOC_Doc__SetPosition((void*)(OOC_INT64)&bufferPos, (RT0__Struct)((OOC_INT64)&_td_OOC_Doc__Position), i1, i2, i0);
1377 l3:
1378 i0 = (OOC_INT64)buffer;
1379 OOC_Doc_TextBuffer__BufferDesc_Append((OOC_Doc_TextBuffer__Buffer)i0, (void*)(OOC_INT64)str, str_0d);
1380 i0 = (OOC_INT64)token;
1381 i0 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 18408));
1382 i0 = *(OOC_UINT8*)((_check_pointer(i0, 18414))+8);
1383 if (i0) goto l6;
1384 i0=0u;
1385 goto l8;
1386 l6:
1387 i0 = (OOC_INT64)buffer;
1388 i0 = *(OOC_INT32*)((_check_pointer(i0, 18429))+8);
1389 i0 = i0!=0;
1390
1391 l8:
1392 if (!i0) goto l10;
1393 i0 = (OOC_INT64)buffer;
1394 OOC_Doc_TextBuffer__BufferDesc_AppendEOL((OOC_Doc_TextBuffer__Buffer)i0);
1395 l10:
1396 return;
1397 ;
1398 }
1399
1400
1401 void OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_FlushBuffer(void) {
1402 register OOC_INT64 i0,i1;
1403
1404 i0 = (OOC_INT64)buffer;
1405 i1 = *(OOC_INT32*)((_check_pointer(i0, 18580))+8);
1406 i1 = i1!=0;
1407 if (!i1) goto l4;
1408 i1 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 18641));
1409 i0 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 18641));
1410 i1 = OOC_ARRAY_LENGTH((_check_pointer(i1, 18646)), 0);
1411 i0 = (OOC_INT64)OOC_Doc__NewText((void*)(_check_pointer(i0, 18646)), i1, (void*)(OOC_INT64)&bufferPos, (RT0__Struct)((OOC_INT64)&_td_OOC_Doc__Position));
1412 i1 = (OOC_INT64)list;
1413 OOC_Doc__InlineListDesc_Append((OOC_Doc__InlineList)i1, (OOC_Doc__InlineElement)i0);
1414 i0 = (OOC_INT64)buffer;
1415 OOC_Doc_TextBuffer__BufferDesc_Clear((OOC_Doc_TextBuffer__Buffer)i0);
1416 l4:
1417 return;
1418 ;
1419 }
1420
1421
1422 void OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddInline(OOC_Doc__InlineElement i) {
1423 register OOC_INT64 i0,i1;
1424
1425 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_FlushBuffer();
1426 i0 = (OOC_INT64)list;
1427 i1 = (OOC_INT64)i;
1428 OOC_Doc__InlineListDesc_Append((OOC_Doc__InlineList)i0, (OOC_Doc__InlineElement)i1);
1429 i0 = (OOC_INT64)token;
1430 i0 = *(OOC_UINT8*)((_check_pointer(i0, 18960))+8);
1431 if (!i0) goto l4;
1432 i0 = (OOC_INT64)buffer;
1433 OOC_Doc_TextBuffer__BufferDesc_AppendEOL((OOC_Doc_TextBuffer__Buffer)i0);
1434 l4:
1435 return;
1436 ;
1437 }
1438
1439
1440 OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_EndOfArguments(void) {
1441 register OOC_INT64 i0,i1;
1442
1443 i0 = (OOC_INT64)token;
1444 i1 = *(OOC_INT8*)((_check_pointer(i0, 19126))+9);
1445 i1 = i1==44;
1446 if (i1) goto l3;
1447 i1 = *(OOC_INT8*)((_check_pointer(i0, 19176))+9);
1448 i1 = i1==46;
1449
1450 goto l5;
1451 l3:
1452 i1=1u;
1453 l5:
1454 if (i1) goto l11;
1455 i1 = *(OOC_INT8*)((_check_pointer(i0, 19236))+9);
1456 i1 = 28<=i1;
1457 if (i1) goto l9;
1458 i0=0u;
1459 goto l12;
1460 l9:
1461 i0 = *(OOC_INT8*)((_check_pointer(i0, 19250))+9);
1462 i0 = i0<=37;
1463
1464 goto l12;
1465 l11:
1466 i0=1u;
1467 l12:
1468 return i0;
1469 ;
1470 }
1471
1472
1473 void OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_CheckNumOfArgs(OOC_INT8 id, OOC_INT32 num) {
1474 register OOC_INT64 i0,i1,i2;
1475
1476 i0 = id;
1477 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT8, 19395))*8);
1478 i1 = *(OOC_INT8*)((_check_pointer(i1, 19399))+18);
1479 i2 = num;
1480 i1 = i1>i2;
1481 if (!i1) goto l4;
1482 OOC_Doc_Input_Texinfo__Parse_Err(11);
1483 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT8, 19570))*8);
1484 i1 = (OOC_INT64)Msg__GetStringPtr((void*)((_check_pointer(i1, 19574))+2), 16);
1485 i2 = (OOC_INT64)lastError;
1486 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i2, 19478)))), Msg__MsgDesc_SetStringAttrib)),Msg__MsgDesc_SetStringAttrib)((Msg__Msg)i2, (OOC_CHAR8*)"name", 5, (Msg__StringPtr)i1);
1487 i0 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT8, 19639))*8);
1488 i1 = (OOC_INT64)lastError;
1489 i0 = *(OOC_INT8*)((_check_pointer(i0, 19643))+18);
1490 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i1, 19605)))), Msg__MsgDesc_SetIntAttrib)),Msg__MsgDesc_SetIntAttrib)((Msg__Msg)i1, (OOC_CHAR8*)"minimum", 8, i0);
1491 l4:
1492 return;
1493 ;
1494 }
1495
1496
1497 OOC_Doc__Email OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_Email(void) {
1498 register OOC_INT64 i0,i1,i2;
1499 OOC_Doc__InlineElement displayed;
1500
1501 OOC_Doc_Input_Texinfo__Parse_NextToken();
1502 OOC_Doc_Input_Texinfo__Parse_CheckToken(43);
1503 displayed = (OOC_Doc__InlineElement)(OOC_INT64)0;
1504 i0 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_EndOfArguments();
1505 i0 = !i0;
1506 if (i0) goto l3;
1507 i0=0;i1=(OOC_INT64)0;
1508 goto l17;
1509 l3:
1510 i0=0;i1=(OOC_INT64)0;
1511 l4_loop:
1512 i2 = i0!=0;
1513 if (!i2) goto l7;
1514 OOC_Doc_Input_Texinfo__Parse_CheckToken(45);
1515 l7:
1516 i2 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList(1u, 0u, 0u);
1517 switch (i0) {
1518 case 0:
1519 i1=i2;
1520 goto l12;
1521 case 1:
1522 displayed = (OOC_Doc__InlineElement)i2;
1523
1524 goto l12;
1525 default:
1526 OOC_Doc__MergeInline((void*)(OOC_INT64)&displayed, (OOC_Doc__InlineElement)i2);
1527
1528 goto l12;
1529 }
1530 l12:
1531 i2 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_EndOfArguments();
1532 i0 = i0+1;
1533 i2 = !i2;
1534 if (i2) goto l4_loop;
1535 l17:
1536 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_CheckNumOfArgs(26, i0);
1537 OOC_Doc_Input_Texinfo__Parse_CheckToken(44);
1538 i0 = (OOC_INT64)displayed;
1539 i0 = (OOC_INT64)OOC_Doc__NewEmail((OOC_Doc__InlineElement)i1, (OOC_Doc__InlineElement)i0);
1540 return (OOC_Doc__Email)i0;
1541 ;
1542 }
1543
1544
1545 OOC_Doc__Uref OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_Uref(void) {
1546 register OOC_INT64 i0,i1,i2,i3;
1547 OOC_Doc__InlineElement replacement;
1548
1549 OOC_Doc_Input_Texinfo__Parse_NextToken();
1550 OOC_Doc_Input_Texinfo__Parse_CheckToken(43);
1551 replacement = (OOC_Doc__InlineElement)(OOC_INT64)0;
1552 i0 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_EndOfArguments();
1553 i0 = !i0;
1554 if (i0) goto l3;
1555 i0=0;i1=(OOC_INT64)0;i2=(OOC_INT64)0;
1556 goto l18;
1557 l3:
1558 i0=0;i1=(OOC_INT64)0;i2=(OOC_INT64)0;
1559 l4_loop:
1560 i3 = i0!=0;
1561 if (!i3) goto l7;
1562 OOC_Doc_Input_Texinfo__Parse_CheckToken(45);
1563 l7:
1564 i3 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList(1u, 0u, 0u);
1565 switch (i0) {
1566 case 0:
1567 i2=i3;
1568 goto l13;
1569 case 1:
1570 i1=i3;
1571 goto l13;
1572 case 2:
1573 replacement = (OOC_Doc__InlineElement)i3;
1574
1575 goto l13;
1576 default:
1577 OOC_Doc__MergeInline((void*)(OOC_INT64)&replacement, (OOC_Doc__InlineElement)i3);
1578
1579 goto l13;
1580 }
1581 l13:
1582 i3 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_EndOfArguments();
1583 i0 = i0+1;
1584 i3 = !i3;
1585 if (i3) goto l4_loop;
1586 l18:
1587 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_CheckNumOfArgs(27, i0);
1588 OOC_Doc_Input_Texinfo__Parse_CheckToken(44);
1589 i0 = (OOC_INT64)replacement;
1590 i0 = (OOC_INT64)OOC_Doc__NewUref((OOC_Doc__InlineElement)i2, (OOC_Doc__InlineElement)i1, (OOC_Doc__InlineElement)i0);
1591 return (OOC_Doc__Uref)i0;
1592 ;
1593 }
1594
1595
1596 i0 = (OOC_INT64)OOC_Doc__NewInlineList();
1597 list = (OOC_Doc__InlineList)i0;
1598 i0 = (OOC_INT64)&_td_OOC_Doc__Position;
1599 l1_loop:
1600 i1 = (OOC_INT64)token;
1601 i2 = *(OOC_INT8*)((_check_pointer(i1, 21514))+9);
1602 switch (i2) {
1603 case 0 ... 2:
1604 _copy_8((const void*)(OOC_CHAR8*)"x",(void*)(OOC_INT64)str2,2);
1605 i1 = *(OOC_INT8*)((_check_pointer(i1, 21620))+9);
1606 i1 = OOC_Doc_Input_Texinfo__Parse_IdToChar(i1);
1607 *(OOC_UINT8*)((OOC_INT64)str2+(_check_index(0, 2, OOC_UINT8, 21598))) = i1;
1608 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddText((void*)(OOC_INT64)str2, 2);
1609 OOC_Doc_Input_Texinfo__Parse_NextToken();
1610 goto l35;
1611 case 3 ... 6:
1612 i1 = *(OOC_INT8*)((_check_pointer(i1, 21766))+9);
1613 i1 = OOC_Doc_Input_Texinfo__Parse_IdToGlyph(i1);
1614 i1 = (OOC_INT64)OOC_Doc__NewGlyph(i1);
1615 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddInline((OOC_Doc__InlineElement)i1);
1616 OOC_Doc_Input_Texinfo__Parse_NextToken();
1617 OOC_Doc_Input_Texinfo__Parse_CheckToken(43);
1618 OOC_Doc_Input_Texinfo__Parse_CheckToken(44);
1619 goto l35;
1620 case 7 ... 25:
1621 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_FlushBuffer();
1622 i1 = (OOC_INT64)token;
1623 i2 = *(OOC_INT8*)((_check_pointer(i1, 21979))+9);
1624 i2 = OOC_Doc_Input_Texinfo__Parse_IdToMark(i2);
1625 mark = i2;
1626 posToken = (OOC_Doc_Input_Texinfo__Token)i1;
1627 OOC_Doc_Input_Texinfo__Parse_NextToken();
1628 OOC_Doc_Input_Texinfo__Parse_CheckToken(43);
1629 i1 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList(0u, 0u, 0u);
1630 inlineText = (OOC_Doc__InlineElement)i1;
1631 OOC_Doc_Input_Texinfo__Parse_CheckToken(44);
1632 i3 = 12<=i2;
1633 if (i3) goto l8;
1634 i3=0u;
1635 goto l10;
1636 l8:
1637 i3 = i2<=18;
1638
1639 l10:
1640 if (i3) goto l12;
1641 i1 = (OOC_INT64)OOC_Doc__NewMarkedInline(i2, (OOC_Doc__InlineElement)i1);
1642 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddInline((OOC_Doc__InlineElement)i1);
1643 goto l35;
1644 l12:
1645 i1 = (OOC_INT64)OOC_Doc__NewOberonRef(i2, (OOC_Doc__InlineElement)i1, (ADT_Storable__Object)(OOC_INT64)0);
1646 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddInline((OOC_Doc__InlineElement)i1);
1647 i1 = (OOC_INT64)posToken;
1648 i2 = (OOC_INT64)list;
1649 i3 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i2, 22387))+8);
1650 i3 = _check_pointer((_type_guard(i3, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i3, 22398)))), &_td_OOC_Doc__OberonRefDesc, 22398)), 22408);
1651 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i2, 22387))+8);
1652 i3 = *(OOC_INT32*)((_check_pointer(i1, 22485))+20);
1653 i4 = *(OOC_INT32*)((_check_pointer(i1, 22469))+16);
1654 i1 = *(OOC_INT32*)((_check_pointer(i1, 22454))+12);
1655 OOC_Doc__SetPosition((void*)(_check_pointer((_type_guard(i2, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i2, 22398)))), &_td_OOC_Doc__OberonRefDesc, 22398)), 22408)), (RT0__Struct)i0, i1, i4, i3);
1656 goto l35;
1657 case 26:
1658 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_FlushBuffer();
1659 i1 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_Email();
1660 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddInline((OOC_Doc__InlineElement)i1);
1661 goto l35;
1662 case 27:
1663 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_FlushBuffer();
1664 i1 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_Uref();
1665 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddInline((OOC_Doc__InlineElement)i1);
1666 goto l35;
1667 case 39:
1668 i1 = (OOC_INT64)OOC_Doc__NewGlyph(3);
1669 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddInline((OOC_Doc__InlineElement)i1);
1670 OOC_Doc_Input_Texinfo__Parse_NextToken();
1671 goto l35;
1672 case 40:
1673 i1 = (OOC_INT64)OOC_Doc__NewGlyph(5);
1674 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddInline((OOC_Doc__InlineElement)i1);
1675 OOC_Doc_Input_Texinfo__Parse_NextToken();
1676 goto l35;
1677 case 41:
1678 i1 = (OOC_INT64)OOC_Doc__NewGlyph(6);
1679 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddInline((OOC_Doc__InlineElement)i1);
1680 OOC_Doc_Input_Texinfo__Parse_NextToken();
1681 goto l35;
1682 case 42:
1683 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 23146))+24);
1684 i2 = (
1685 _cmp8((const void*)(_check_pointer(i2, 23151)),(const void*)(OOC_CHAR8*)""))==0;
1686 if (i2) goto l22;
1687 i2=0u;
1688 goto l24;
1689 l22:
1690 i2 = ignoreParagraph;
1691 i2 = !i2;
1692
1693 l24:
1694 if (i2) goto l43;
1695 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 23247))+24);
1696 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 23247))+24);
1697 i2 = OOC_ARRAY_LENGTH((_check_pointer(i2, 23252)), 0);
1698 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddText((void*)(_check_pointer(i1, 23252)), i2);
1699 OOC_Doc_Input_Texinfo__Parse_NextToken();
1700 goto l35;
1701 case 43:
1702 OOC_Doc_Input_Texinfo__Parse_Err(9);
1703 OOC_Doc_Input_Texinfo__Parse_NextToken();
1704 goto l35;
1705 case 45:
1706 i1 = isArg;
1707 if (i1) goto l43;
1708 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_AddText((OOC_CHAR8*)",", 2);
1709 OOC_Doc_Input_Texinfo__Parse_NextToken();
1710 goto l35;
1711 default:
1712 goto l43;
1713 }
1714 l35:
1715 i1 = exitAfterEOL;
1716 if (i1) goto l38;
1717 i1=0u;
1718 goto l40;
1719 l38:
1720 i1 = (OOC_INT64)token;
1721 i1 = *(OOC_UINT8*)((_check_pointer(i1, 23646))+8);
1722
1723 l40:
1724 if (!i1) goto l1_loop;
1725 l43:
1726 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList_FlushBuffer();
1727 i0 = (OOC_INT64)list;
1728 i0 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 23741));
1729 return (OOC_Doc__InlineElement)i0;
1730 ;
1731 }
1732
1733
1734 OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_AtEmptyLine(void) {
1735 register OOC_INT64 i0,i1;
1736
1737 i0 = (OOC_INT64)token;
1738 i1 = *(OOC_INT8*)((_check_pointer(i0, 23851))+9);
1739 i1 = i1==42;
1740 if (i1) goto l3;
1741 i1=0u;
1742 goto l5;
1743 l3:
1744 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 23875))+24);
1745 i1 = (
1746 _cmp8((const void*)(_check_pointer(i1, 23880)),(const void*)(OOC_CHAR8*)""))==0;
1747
1748 l5:
1749 if (i1) goto l7;
1750 i0 = *(OOC_INT8*)((_check_pointer(i0, 23912))+9);
1751 i0 = i0==46;
1752
1753 goto l8;
1754 l7:
1755 i0=1u;
1756 l8:
1757 return i0;
1758 ;
1759 }
1760
1761
1762 void OOC_Doc_Input_Texinfo__Parse_ParseBlockList_CheckEnd(OOC_INT8 id) {
1763 register OOC_INT64 i0,i1,i2;
1764 auto OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_CheckEnd_Substr(OOC_CHAR8 string[], OOC_LEN string_0d, OOC_CHAR8 pattern[], OOC_LEN pattern_0d);
1765
1766 OOC_CHAR8 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_CheckEnd_Substr(OOC_CHAR8 string[], OOC_LEN string_0d, OOC_CHAR8 pattern[], OOC_LEN pattern_0d) {
1767 register OOC_INT64 i0,i1,i2;
1768 OOC_INT16 pos;
1769 OOC_CHAR8 found;
1770
1771 Strings__FindNext((void*)(OOC_INT64)pattern, pattern_0d, (void*)(OOC_INT64)string, string_0d, 0, (void*)(OOC_INT64)&found, (void*)(OOC_INT64)&pos);
1772 i0 = found;
1773 if (i0) goto l3;
1774 return 0u;
1775 goto l26;
1776 l3:
1777 i0 = pos;
1778 i1 = 0<i0;
1779 if (!i1) goto l14;
1780 i1=0;
1781 l6_loop:
1782 i2 = *(OOC_UINT8*)((OOC_INT64)string+(_check_index(i1, string_0d, OOC_UINT16, 24287)));
1783 i2 = (OOC_UINT8)i2>(OOC_UINT8)32u;
1784 if (!i2) goto l9;
1785 return 0u;
1786 l9:
1787 i1 = i1+1;
1788 i2 = i1<i0;
1789 if (i2) goto l6_loop;
1790 l14:
1791 i1 = Strings__Length((void*)(OOC_INT64)pattern, pattern_0d);
1792 i0 = i0+i1;
1793 i1 = *(OOC_UINT8*)((OOC_INT64)string+(_check_index(i0, string_0d, OOC_UINT16, 24441)));
1794 i1 = i1!=0u;
1795 if (!i1) goto l25;
1796 l17_loop:
1797 i1 = *(OOC_UINT8*)((OOC_INT64)string+(_check_index(i0, string_0d, OOC_UINT16, 24478)));
1798 i1 = (OOC_UINT8)i1>(OOC_UINT8)32u;
1799 if (!i1) goto l20;
1800 return 0u;
1801 l20:
1802 i0 = i0+1;
1803 i1 = *(OOC_UINT8*)((OOC_INT64)string+(_check_index(i0, string_0d, OOC_UINT16, 24441)));
1804 i1 = i1!=0u;
1805 if (i1) goto l17_loop;
1806 l25:
1807 return 1u;
1808 l26:
1809 _failed_function(24010); return 0;
1810 ;
1811 }
1812
1813
1814 i0 = (OOC_INT64)token;
1815 i1 = *(OOC_INT8*)((_check_pointer(i0, 24715))+9);
1816 i1 = i1!=35;
1817 if (i1) goto l7;
1818 i1 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 24750));
1819 i1 = i1!=0;
1820 if (i1) goto l5;
1821 i0=0u;
1822 goto l9;
1823 l5:
1824 i0 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 24771));
1825 i0 = *(OOC_UINT8*)((_check_pointer(i0, 24777))+8);
1826
1827 goto l9;
1828 l7:
1829 i0=1u;
1830 l9:
1831 if (!i0) goto l11;
1832 OOC_Doc_Input_Texinfo__Parse_Err(8);
1833 i0 = id;
1834 i0 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT8, 24926))*8);
1835 i0 = (OOC_INT64)Msg__GetStringPtr((void*)((_check_pointer(i0, 24930))+2), 16);
1836 i1 = (OOC_INT64)lastError;
1837 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i1, 24836)))), Msg__MsgDesc_SetStringAttrib)),Msg__MsgDesc_SetStringAttrib)((Msg__Msg)i1, (OOC_CHAR8*)"name", 5, (Msg__StringPtr)i0);
1838 l11:
1839 OOC_Doc_Input_Texinfo__Parse_NextToken();
1840 i0 = (OOC_INT64)token;
1841 i1 = *(OOC_UINT8*)((_check_pointer(i0, 24989))+8);
1842 i1 = !i1;
1843 if (!i1) goto l21;
1844 i1 = *(OOC_INT8*)((_check_pointer(i0, 25019))+9);
1845 i1 = i1!=42;
1846 if (i1) goto l16;
1847 i1 = id;
1848 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i1, 38, OOC_UINT8, 25080))*8);
1849 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 25065))+24);
1850 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 25065))+24);
1851 i2 = OOC_ARRAY_LENGTH((_check_pointer(i2, 25070)), 0);
1852 i0 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_CheckEnd_Substr((void*)(_check_pointer(i0, 25070)), i2, (void*)((_check_pointer(i1, 25084))+2), 16);
1853 i0 = !i0;
1854
1855 goto l18;
1856 l16:
1857 i0=1u;
1858 l18:
1859 if (!i0) goto l20;
1860 OOC_Doc_Input_Texinfo__Parse_Err(8);
1861 i0 = id;
1862 i0 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT8, 25241))*8);
1863 i0 = (OOC_INT64)Msg__GetStringPtr((void*)((_check_pointer(i0, 25245))+2), 16);
1864 i1 = (OOC_INT64)lastError;
1865 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i1, 25149)))), Msg__MsgDesc_SetStringAttrib)),Msg__MsgDesc_SetStringAttrib)((Msg__Msg)i1, (OOC_CHAR8*)"name", 5, (Msg__StringPtr)i0);
1866 l20:
1867 OOC_Doc_Input_Texinfo__Parse_NextToken();
1868 l21:
1869 return;
1870 ;
1871 }
1872
1873
1874 OOC_Doc__Itemize OOC_Doc_Input_Texinfo__Parse_ParseBlockList_Itemize(void) {
1875 register OOC_INT64 i0,i1,i2,i3,i4;
1876 OOC_Doc__InlineElement mark;
1877 struct OOC_Doc__Position pos;
1878 OOC_CHAR8 str2[2];
1879 OOC_Doc__BlockElement text;
1880 OOC_Doc__Item textItem;
1881 OOC_Doc__BlockList itemList;
1882 OOC_Doc__BlockElement itemText;
1883
1884 OOC_Doc_Input_Texinfo__Parse_NextToken();
1885 OOC_Doc_Input_Texinfo__Parse_SkipWhitespace();
1886 i0 = (OOC_INT64)token;
1887 i1 = *(OOC_UINT8*)((_check_pointer(i0, 25702))+8);
1888 if (i1) goto l26;
1889 i1 = *(OOC_INT32*)((_check_pointer(i0, 25861))+12);
1890 i2 = *(OOC_INT32*)((_check_pointer(i0, 25873))+16);
1891 i0 = *(OOC_INT32*)((_check_pointer(i0, 25886))+20);
1892 i3 = (OOC_INT64)&_td_OOC_Doc__Position;
1893 OOC_Doc__SetPosition((void*)(OOC_INT64)&pos, (RT0__Struct)i3, i1, i2, i0);
1894 i0 = (OOC_INT64)token;
1895 i1 = *(OOC_INT8*)((_check_pointer(i0, 25916))+9);
1896 i1 = i1==42;
1897 if (i1) goto l21;
1898 i1 = *(OOC_INT8*)((_check_pointer(i0, 26023))+9);
1899 i1 = 0<=i1;
1900 if (i1) goto l7;
1901 i1=0u;
1902 goto l9;
1903 l7:
1904 i1 = *(OOC_INT8*)((_check_pointer(i0, 26037))+9);
1905 i1 = i1<=2;
1906
1907 l9:
1908 if (i1) goto l19;
1909 i1 = *(OOC_INT8*)((_check_pointer(i0, 26218))+9);
1910 i1 = 3<=i1;
1911 if (i1) goto l13;
1912 i1=0u;
1913 goto l15;
1914 l13:
1915 i1 = *(OOC_INT8*)((_check_pointer(i0, 26232))+9);
1916 i1 = i1<=6;
1917
1918 l15:
1919 if (i1) goto l17;
1920 OOC_Doc_Input_Texinfo__Parse_Err(6);
1921 i0 = (OOC_INT64)OOC_Doc__NewGlyph(0);
1922 mark = (OOC_Doc__InlineElement)i0;
1923
1924 goto l22;
1925 l17:
1926 i0 = *(OOC_INT8*)((_check_pointer(i0, 26307))+9);
1927 i0 = OOC_Doc_Input_Texinfo__Parse_IdToGlyph(i0);
1928 i0 = (OOC_INT64)OOC_Doc__NewGlyph(i0);
1929 mark = (OOC_Doc__InlineElement)i0;
1930
1931 goto l22;
1932 l19:
1933 _copy_8((const void*)(OOC_CHAR8*)"x",(void*)(OOC_INT64)str2,2);
1934 i1 = *(OOC_INT8*)((_check_pointer(i0, 26125))+9);
1935 i1 = OOC_Doc_Input_Texinfo__Parse_IdToChar(i1);
1936 *(OOC_UINT8*)((OOC_INT64)str2+(_check_index(0, 2, OOC_UINT8, 26103))) = i1;
1937 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 26170))+24);
1938 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 26170))+24);
1939 i1 = OOC_ARRAY_LENGTH((_check_pointer(i1, 26175)), 0);
1940 i0 = (OOC_INT64)OOC_Doc__NewText((void*)(_check_pointer(i0, 26175)), i1, (void*)(OOC_INT64)&pos, (RT0__Struct)i3);
1941 mark = (OOC_Doc__InlineElement)i0;
1942
1943 goto l22;
1944 l21:
1945 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 25975))+24);
1946 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 25975))+24);
1947 i1 = OOC_ARRAY_LENGTH((_check_pointer(i1, 25980)), 0);
1948 i0 = (OOC_INT64)OOC_Doc__NewText((void*)(_check_pointer(i0, 25980)), i1, (void*)(OOC_INT64)&pos, (RT0__Struct)i3);
1949 mark = (OOC_Doc__InlineElement)i0;
1950
1951 l22:
1952 OOC_Doc_Input_Texinfo__Parse_NextToken();
1953 i1 = (OOC_INT64)token;
1954 i1 = *(OOC_UINT8*)((_check_pointer(i1, 26470))+8);
1955 i1 = !i1;
1956 if (!i1) goto l27;
1957 OOC_Doc_Input_Texinfo__Parse_Err(5);
1958 goto l27;
1959 l26:
1960 i0 = (OOC_INT64)OOC_Doc__NewGlyph(0);
1961 mark = (OOC_Doc__InlineElement)i0;
1962
1963 l27:
1964 i1 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList();
1965 text = (OOC_Doc__BlockElement)i1;
1966 i2 = i1!=(OOC_INT64)0;
1967 if (i2) goto l30;
1968 textItem = (OOC_Doc__Item)(OOC_INT64)0;
1969 i1=(OOC_INT64)0;
1970 goto l31;
1971 l30:
1972 i2 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_AtEmptyLine();
1973 i1 = (OOC_INT64)OOC_Doc__NewItem(i2, (OOC_Doc__BlockElement)i1);
1974 textItem = (OOC_Doc__Item)i1;
1975
1976 l31:
1977 i2 = (OOC_INT64)OOC_Doc__NewBlockList();
1978 itemList = (OOC_Doc__BlockList)i2;
1979 i3 = (OOC_INT64)token;
1980 i3 = *(OOC_INT8*)((_check_pointer(i3, 26791))+9);
1981 i3 = i3==36;
1982 if (!i3) goto l39;
1983 l34_loop:
1984 OOC_Doc_Input_Texinfo__Parse_NextToken();
1985 i3 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList();
1986 itemText = (OOC_Doc__BlockElement)i3;
1987 i4 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_AtEmptyLine();
1988 i3 = (OOC_INT64)OOC_Doc__NewItem(i4, (OOC_Doc__BlockElement)i3);
1989 OOC_Doc__BlockListDesc_Append((OOC_Doc__BlockList)i2, (OOC_Doc__BlockElement)i3);
1990 i3 = (OOC_INT64)token;
1991 i3 = *(OOC_INT8*)((_check_pointer(i3, 26791))+9);
1992 i3 = i3==36;
1993 if (i3) goto l34_loop;
1994 l39:
1995 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_CheckEnd(29);
1996 i3 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_AtEmptyLine();
1997 i2 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i2, 27052));
1998 i0 = (OOC_INT64)OOC_Doc__NewItemize(i3, (OOC_Doc__InlineElement)i0, (OOC_Doc__Item)i1, (OOC_Doc__BlockElement)i2);
1999 return (OOC_Doc__Itemize)i0;
2000 ;
2001 }
2002
2003
2004 OOC_Doc__Enumerate OOC_Doc_Input_Texinfo__Parse_ParseBlockList_Enumerate(void) {
2005 register OOC_INT64 i0,i1,i2,i3,i4;
2006 OOC_INT8 mode;
2007 OOC_INT32 start;
2008 struct OOC_Doc__Position pos;
2009 OOC_INT32 whitespace;
2010 OOC_INT8 res;
2011 OOC_Doc__BlockElement text;
2012 OOC_Doc__Item textItem;
2013 OOC_Doc__BlockList itemList;
2014 OOC_Doc__BlockElement itemText;
2015
2016 OOC_Doc_Input_Texinfo__Parse_NextToken();
2017 OOC_Doc_Input_Texinfo__Parse_SkipWhitespace();
2018 i0 = (OOC_INT64)token;
2019 i1 = *(OOC_UINT8*)((_check_pointer(i0, 27526))+8);
2020 if (i1) goto l44;
2021 mode = (-1);
2022 i1 = *(OOC_INT32*)((_check_pointer(i0, 27690))+12);
2023 i2 = *(OOC_INT32*)((_check_pointer(i0, 27702))+16);
2024 i0 = *(OOC_INT32*)((_check_pointer(i0, 27715))+20);
2025 OOC_Doc__SetPosition((void*)(OOC_INT64)&pos, (RT0__Struct)((OOC_INT64)&_td_OOC_Doc__Position), i1, i2, i0);
2026 i0 = (OOC_INT64)token;
2027 i1 = *(OOC_INT8*)((_check_pointer(i0, 27745))+9);
2028 i1 = i1==42;
2029 if (i1) goto l5;
2030 i0=(-1);
2031 goto l36;
2032 l5:
2033 whitespace = 0;
2034 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 27819))+24);
2035 i1 = _check_pointer(i1, 27823);
2036 i2 = OOC_ARRAY_LENGTH(i1, 0);
2037 i1 = *(OOC_UINT8*)(i1+(_check_index(0, i2, OOC_UINT32, 27823)));
2038 i1 = i1!=0u;
2039 if (i1) goto l8;
2040 i1=0u;
2041 goto l10;
2042 l8:
2043 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 27868))+24);
2044 i1 = _check_pointer(i1, 27872);
2045 i2 = OOC_ARRAY_LENGTH(i1, 0);
2046 i1 = *(OOC_UINT8*)(i1+(_check_index(0, i2, OOC_UINT32, 27872)));
2047 i1 = (OOC_UINT8)i1<=(OOC_UINT8)32u;
2048
2049 l10:
2050 if (i1) goto l12;
2051 i1=0;
2052 goto l22;
2053 l12:
2054 i1=0;
2055 l13_loop:
2056 i1 = i1+1;
2057 whitespace = i1;
2058 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 27819))+24);
2059 i2 = _check_pointer(i2, 27823);
2060 i3 = OOC_ARRAY_LENGTH(i2, 0);
2061 i2 = *(OOC_UINT8*)(i2+(_check_index(i1, i3, OOC_UINT32, 27823)));
2062 i2 = i2!=0u;
2063 if (i2) goto l16;
2064 i2=0u;
2065 goto l18;
2066 l16:
2067 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 27868))+24);
2068 i2 = _check_pointer(i2, 27872);
2069 i3 = OOC_ARRAY_LENGTH(i2, 0);
2070 i2 = *(OOC_UINT8*)(i2+(_check_index(i1, i3, OOC_UINT32, 27872)));
2071 i2 = (OOC_UINT8)i2<=(OOC_UINT8)32u;
2072
2073 l18:
2074 if (i2) goto l13_loop;
2075 l22:
2076 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 27977))+24);
2077 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 27977))+24);
2078 i2 = OOC_ARRAY_LENGTH((_check_pointer(i2, 27981)), 0);
2079 IntStr__StrToInt((void*)(_check_pointer(i0, 27981)), i2, (void*)(OOC_INT64)&start, (void*)(OOC_INT64)&res);
2080 i0 = res;
2081 i0 = i0==0;
2082 if (i0) goto l34;
2083 i0 = (OOC_INT64)token;
2084 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 28121))+24);
2085 i3 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 28121))+24);
2086 i2 = OOC_ARRAY_LENGTH((_check_pointer(i2, 28125)), 0);
2087 i2 = Strings__Length((void*)(_check_pointer(i3, 28125)), i2);
2088 i2 = (i2-i1)==1;
2089 if (i2) goto l27;
2090 i0=(-1);
2091 goto l36;
2092 l27:
2093 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 28173))+24);
2094 i2 = _check_pointer(i2, 28177);
2095 i3 = OOC_ARRAY_LENGTH(i2, 0);
2096 i2 = *(OOC_UINT8*)(i2+(_check_index(i1, i3, OOC_UINT32, 28177)));
2097 switch (i2) {
2098 case 97u ... 122u:
2099 mode = 1;
2100 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 28298))+24);
2101 i0 = _check_pointer(i0, 28302);
2102 i2 = OOC_ARRAY_LENGTH(i0, 0);
2103 i0 = *(OOC_UINT8*)(i0+(_check_index(i1, i2, OOC_UINT32, 28302)));
2104 start = (i0-96);
2105 i0=1;
2106 goto l36;
2107 case 65u ... 90u:
2108 mode = 2;
2109 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 28435))+24);
2110 i0 = _check_pointer(i0, 28439);
2111 i2 = OOC_ARRAY_LENGTH(i0, 0);
2112 i0 = *(OOC_UINT8*)(i0+(_check_index(i1, i2, OOC_UINT32, 28439)));
2113 start = (i0-64);
2114 i0=2;
2115 goto l36;
2116 default:
2117 i0=(-1);
2118 goto l36;
2119 }
2120 l34:
2121 mode = 0;
2122 i0=0;
2123 l36:
2124 i1 = i0<0;
2125 if (!i1) goto l40;
2126 OOC_Doc_Input_Texinfo__Parse_Err(13);
2127 mode = 0;
2128 start = 1;
2129 i0=0;
2130 l40:
2131 OOC_Doc_Input_Texinfo__Parse_NextToken();
2132 i1 = (OOC_INT64)token;
2133 i1 = *(OOC_UINT8*)((_check_pointer(i1, 28718))+8);
2134 i1 = !i1;
2135 if (!i1) goto l45;
2136 OOC_Doc_Input_Texinfo__Parse_Err(5);
2137 goto l45;
2138 l44:
2139 mode = 0;
2140 start = 1;
2141 i0=0;
2142 l45:
2143 i1 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList();
2144 text = (OOC_Doc__BlockElement)i1;
2145 i2 = i1!=(OOC_INT64)0;
2146 if (i2) goto l48;
2147 textItem = (OOC_Doc__Item)(OOC_INT64)0;
2148 i1=(OOC_INT64)0;
2149 goto l49;
2150 l48:
2151 i2 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_AtEmptyLine();
2152 i1 = (OOC_INT64)OOC_Doc__NewItem(i2, (OOC_Doc__BlockElement)i1);
2153 textItem = (OOC_Doc__Item)i1;
2154
2155 l49:
2156 i2 = (OOC_INT64)OOC_Doc__NewBlockList();
2157 itemList = (OOC_Doc__BlockList)i2;
2158 i3 = (OOC_INT64)token;
2159 i3 = *(OOC_INT8*)((_check_pointer(i3, 29039))+9);
2160 i3 = i3==36;
2161 if (!i3) goto l57;
2162 l52_loop:
2163 OOC_Doc_Input_Texinfo__Parse_NextToken();
2164 i3 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList();
2165 itemText = (OOC_Doc__BlockElement)i3;
2166 i4 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_AtEmptyLine();
2167 i3 = (OOC_INT64)OOC_Doc__NewItem(i4, (OOC_Doc__BlockElement)i3);
2168 OOC_Doc__BlockListDesc_Append((OOC_Doc__BlockList)i2, (OOC_Doc__BlockElement)i3);
2169 i3 = (OOC_INT64)token;
2170 i3 = *(OOC_INT8*)((_check_pointer(i3, 29039))+9);
2171 i3 = i3==36;
2172 if (i3) goto l52_loop;
2173 l57:
2174 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_CheckEnd(30);
2175 i3 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_AtEmptyLine();
2176 i2 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i2, 29344));
2177 i4 = start;
2178 i0 = (OOC_INT64)OOC_Doc__NewEnumerate(i3, i0, i4, (OOC_Doc__Item)i1, (OOC_Doc__BlockElement)i2);
2179 return (OOC_Doc__Enumerate)i0;
2180 ;
2181 }
2182
2183
2184 OOC_Doc__Example OOC_Doc_Input_Texinfo__Parse_ParseBlockList_Example(void) {
2185 register OOC_INT64 i0,i1;
2186
2187 OOC_Doc_Input_Texinfo__Parse_NextToken();
2188 OOC_Doc_Input_Texinfo__Parse_SkipWhitespace();
2189 i0 = (OOC_INT64)token;
2190 i0 = *(OOC_UINT8*)((_check_pointer(i0, 29573))+8);
2191 i0 = !i0;
2192 if (!i0) goto l3;
2193 OOC_Doc_Input_Texinfo__Parse_Err(5);
2194 l3:
2195 i0 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList(0u, 1u, 0u);
2196 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_CheckEnd(28);
2197 i1 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_AtEmptyLine();
2198 i0 = (OOC_INT64)OOC_Doc__NewExample(i1, (OOC_Doc__InlineElement)i0);
2199 return (OOC_Doc__Example)i0;
2200 ;
2201 }
2202
2203
2204 OOC_Doc__BlockElement OOC_Doc_Input_Texinfo__Parse_ParseBlockList_PCond(void) {
2205 register OOC_INT64 i0,i1;
2206 OOC_INT8 cmdId;
2207
2208 i0 = (OOC_INT64)token;
2209 i0 = *(OOC_INT8*)((_check_pointer(i0, 29997))+9);
2210 cmdId = i0;
2211 OOC_Doc_Input_Texinfo__Parse_NextToken();
2212 OOC_Doc_Input_Texinfo__Parse_SkipWhitespace();
2213 i1 = (OOC_INT64)token;
2214 i1 = *(OOC_UINT8*)((_check_pointer(i1, 30063))+8);
2215 i1 = !i1;
2216 if (!i1) goto l3;
2217 OOC_Doc_Input_Texinfo__Parse_Err(5);
2218 l3:
2219 i1 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList();
2220 blockList = (OOC_Doc__BlockElement)i1;
2221 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_CheckEnd(i0);
2222 switch (i0) {
2223 case 32:
2224 i0 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_AtEmptyLine();
2225 i1 = (OOC_INT64)blockList;
2226 i0 = (OOC_INT64)OOC_Doc__NewPreCond(i0, (OOC_Doc__BlockElement)i1);
2227 return (OOC_Doc__BlockElement)i0;
2228 goto l8;
2229 case 33:
2230 i0 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_AtEmptyLine();
2231 i1 = (OOC_INT64)blockList;
2232 i0 = (OOC_INT64)OOC_Doc__NewPostCond(i0, (OOC_Doc__BlockElement)i1);
2233 return (OOC_Doc__BlockElement)i0;
2234 goto l8;
2235 default:
2236 _failed_case(i0, 30193);
2237 goto l8;
2238 }
2239 l8:
2240 _failed_function(29816); return 0;
2241 ;
2242 }
2243
2244
2245 OOC_Doc__Table OOC_Doc_Input_Texinfo__Parse_ParseBlockList_Table(void) {
2246 register OOC_INT64 i0,i1,i2,i3;
2247 OOC_INT32 mark;
2248 OOC_Doc__BlockList rowList;
2249 OOC_Doc__BlockList firstColumnList;
2250 OOC_Doc__MarkedInline first;
2251 OOC_Doc__BlockElement tableEntry;
2252
2253 OOC_Doc_Input_Texinfo__Parse_NextToken();
2254 OOC_Doc_Input_Texinfo__Parse_SkipWhitespace();
2255 i0 = (OOC_INT64)token;
2256 i1 = *(OOC_UINT8*)((_check_pointer(i0, 30799))+8);
2257 if (i1) goto l11;
2258 i1 = *(OOC_INT8*)((_check_pointer(i0, 30962))+9);
2259 i1 = 7<=i1;
2260 if (i1) goto l5;
2261 i1=0u;
2262 goto l7;
2263 l5:
2264 i1 = *(OOC_INT8*)((_check_pointer(i0, 30976))+9);
2265 i1 = i1<26;
2266
2267 l7:
2268 if (i1) goto l9;
2269 mark = 0;
2270 OOC_Doc_Input_Texinfo__Parse_Err(12);
2271 OOC_Doc_Input_Texinfo__Parse_NextToken();
2272 i0=0;
2273 goto l12;
2274 l9:
2275 i0 = *(OOC_INT8*)((_check_pointer(i0, 31033))+9);
2276 i0 = OOC_Doc_Input_Texinfo__Parse_IdToMark(i0);
2277 mark = i0;
2278 OOC_Doc_Input_Texinfo__Parse_NextToken();
2279 OOC_Doc_Input_Texinfo__Parse_SkipWhitespace();
2280
2281 goto l12;
2282 l11:
2283 mark = 0;
2284 OOC_Doc_Input_Texinfo__Parse_Err(12);
2285 i0=0;
2286 l12:
2287 i1 = (OOC_INT64)token;
2288 i1 = *(OOC_UINT8*)((_check_pointer(i1, 31220))+8);
2289 i1 = !i1;
2290 if (!i1) goto l15;
2291 OOC_Doc_Input_Texinfo__Parse_Err(5);
2292 l15:
2293 i1 = (OOC_INT64)OOC_Doc__NewBlockList();
2294 rowList = (OOC_Doc__BlockList)i1;
2295 i2 = (OOC_INT64)token;
2296 i3 = *(OOC_INT8*)((_check_pointer(i2, 31344))+9);
2297 i3 = i3!=35;
2298 if (i3) goto l18;
2299 i2=0u;
2300 goto l20;
2301 l18:
2302 i2 = *(OOC_INT8*)((_check_pointer(i2, 31367))+9);
2303 i2 = i2!=46;
2304
2305 l20:
2306 if (!i2) goto l42;
2307 l22_loop:
2308 i2 = (OOC_INT64)OOC_Doc__NewBlockList();
2309 firstColumnList = (OOC_Doc__BlockList)i2;
2310 i3 = (OOC_INT64)token;
2311 i3 = *(OOC_INT8*)((_check_pointer(i3, 31459))+9);
2312 i3 = i3==36;
2313 if (!i3) goto l33;
2314 l24_loop:
2315 OOC_Doc_Input_Texinfo__Parse_NextToken();
2316 i3 = OOC_Doc_Input_Texinfo__Parse_IsOberonRef(i0);
2317 if (i3) goto l27;
2318 i3 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList(0u, 0u, 1u);
2319 i3 = (OOC_INT64)OOC_Doc__NewMarkedInline(i0, (OOC_Doc__InlineElement)i3);
2320 first = (OOC_Doc__MarkedInline)i3;
2321
2322 goto l28;
2323 l27:
2324 i3 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList(0u, 0u, 1u);
2325 i3 = (OOC_INT64)OOC_Doc__NewOberonRef(i0, (OOC_Doc__InlineElement)i3, (ADT_Storable__Object)(OOC_INT64)0);
2326 first = (OOC_Doc__MarkedInline)i3;
2327
2328 l28:
2329 i3 = (OOC_INT64)OOC_Doc__NewFirstColumn(0u, (OOC_Doc__InlineElement)i3);
2330 OOC_Doc__BlockListDesc_Append((OOC_Doc__BlockList)i2, (OOC_Doc__BlockElement)i3);
2331 i3 = (OOC_INT64)token;
2332 i3 = *(OOC_INT8*)((_check_pointer(i3, 31964))+9);
2333 i3 = i3!=37;
2334 if (!i3) goto l24_loop;
2335 l33:
2336 i3 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList();
2337 tableEntry = (OOC_Doc__BlockElement)i3;
2338 i3 = (OOC_INT64)OOC_Doc__NewItem(0u, (OOC_Doc__BlockElement)i3);
2339 i2 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i2, 32116));
2340 i2 = (OOC_INT64)OOC_Doc__NewTableRow(0u, (OOC_Doc__BlockElement)i2, (OOC_Doc__Item)i3);
2341 OOC_Doc__BlockListDesc_Append((OOC_Doc__BlockList)i1, (OOC_Doc__BlockElement)i2);
2342 i2 = (OOC_INT64)token;
2343 i3 = *(OOC_INT8*)((_check_pointer(i2, 31344))+9);
2344 i3 = i3!=35;
2345 if (i3) goto l36;
2346 i2=0u;
2347 goto l38;
2348 l36:
2349 i2 = *(OOC_INT8*)((_check_pointer(i2, 31367))+9);
2350 i2 = i2!=46;
2351
2352 l38:
2353 if (i2) goto l22_loop;
2354 l42:
2355 OOC_Doc_Input_Texinfo__Parse_ParseBlockList_CheckEnd(34);
2356 i0 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_AtEmptyLine();
2357 i1 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i1, 32251));
2358 i0 = (OOC_INT64)OOC_Doc__NewTable(i0, (OOC_Doc__BlockElement)i1);
2359 return (OOC_Doc__Table)i0;
2360 ;
2361 }
2362
2363
2364 noIndent = 1u;
2365 i0 = (OOC_INT64)OOC_Doc__NewBlockList();
2366 list = (OOC_Doc__BlockList)i0;
2367
2368 l1_loop:
2369 i1 = (OOC_INT64)token;
2370 i2 = *(OOC_INT8*)((_check_pointer(i1, 32378))+9);
2371 switch (i2) {
2372 case 46:
2373 goto l25;
2374 case 44:
2375 OOC_Doc_Input_Texinfo__Parse_Err(10);
2376 OOC_Doc_Input_Texinfo__Parse_NextToken();
2377
2378 goto l1_loop;
2379 case 31:
2380 noIndent = 1u;
2381 OOC_Doc_Input_Texinfo__Parse_NextToken();
2382
2383 goto l1_loop;
2384 case 29:
2385 i0 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_Itemize();
2386 i1 = (OOC_INT64)list;
2387 OOC_Doc__BlockListDesc_Append((OOC_Doc__BlockList)i1, (OOC_Doc__BlockElement)i0);
2388 i0=i1;
2389 goto l1_loop;
2390 case 30:
2391 i0 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_Enumerate();
2392 i1 = (OOC_INT64)list;
2393 OOC_Doc__BlockListDesc_Append((OOC_Doc__BlockList)i1, (OOC_Doc__BlockElement)i0);
2394 i0=i1;
2395 goto l1_loop;
2396 case 28:
2397 i0 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_Example();
2398 i1 = (OOC_INT64)list;
2399 OOC_Doc__BlockListDesc_Append((OOC_Doc__BlockList)i1, (OOC_Doc__BlockElement)i0);
2400 i0=i1;
2401 goto l1_loop;
2402 case 32:
2403 case 33:
2404 i0 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_PCond();
2405 i1 = (OOC_INT64)list;
2406 OOC_Doc__BlockListDesc_Append((OOC_Doc__BlockList)i1, (OOC_Doc__BlockElement)i0);
2407 i0=i1;
2408 goto l1_loop;
2409 case 34:
2410 i0 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_Table();
2411 i1 = (OOC_INT64)list;
2412 OOC_Doc__BlockListDesc_Append((OOC_Doc__BlockList)i1, (OOC_Doc__BlockElement)i0);
2413 i0=i1;
2414 goto l1_loop;
2415 default:
2416 i2 = *(OOC_INT8*)((_check_pointer(i1, 33027))+9);
2417 i2 = i2==42;
2418 if (i2) goto l14;
2419 i2=0u;
2420 goto l16;
2421 l14:
2422 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 33051))+24);
2423 i2 = (
2424 _cmp8((const void*)(_check_pointer(i2, 33056)),(const void*)(OOC_CHAR8*)""))==0;
2425
2426 l16:
2427 if (!i2) goto l17;
2428 goto l22;
2429 l17:
2430 i1 = OOC_Doc_Input_Texinfo__Parse_IsInlineToken((OOC_Doc_Input_Texinfo__Token)i1);
2431 i1 = !i1;
2432 if (i1) goto l25;
2433 i0 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList_ParseInlineList(0u, 0u, 0u);
2434 inlineText = (OOC_Doc__InlineElement)i0;
2435 i1 = OOC_Doc_Input_Texinfo__Parse_ParseBlockList_AtEmptyLine();
2436 i2 = noIndent;
2437 i0 = (OOC_INT64)OOC_Doc__NewParagraph(i1, (OOC_Doc__InlineElement)i0, i2);
2438 i1 = (OOC_INT64)list;
2439 OOC_Doc__BlockListDesc_Append((OOC_Doc__BlockList)i1, (OOC_Doc__BlockElement)i0);
2440 noIndent = 0u;
2441 i0=i1;
2442 goto l1_loop;
2443 l22:
2444 OOC_Doc_Input_Texinfo__Parse_NextToken();
2445
2446 goto l1_loop;
2447 }
2448 l25:
2449 i0 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 33482));
2450 return (OOC_Doc__BlockElement)i0;
2451 ;
2452 }
2453
2454
2455 i0 = (OOC_INT64)OOC_Doc_TextBuffer__New();
2456 buffer = (OOC_Doc_TextBuffer__Buffer)i0;
2457 i0 = removeDecoration;
2458 if (i0) goto l3;
2459 i0 = (OOC_INT64)sym;
2460 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 33659))+16);
2461 str = (OOC_Scanner_InputBuffer__CharArray)i1;
2462 decoration = (OOC_Doc_Decoration__Decoration)(OOC_INT64)0;
2463 {register OOC_INT64 h0=i0;i0=i1;i1=h0;}
2464 goto l4;
2465 l3:
2466 i0 = (OOC_INT64)sym;
2467 i1 = (OOC_INT64)OOC_Doc_Decoration__Remove((OOC_Scanner_SymList__Symbol)i0, (void*)(OOC_INT64)&decoration);
2468 str = (OOC_Scanner_InputBuffer__CharArray)i1;
2469 {register OOC_INT64 h0=i0;i0=i1;i1=h0;}
2470 l4:
2471 i2 = (OOC_INT64)errList;
2472 i3 = *(OOC_INT32*)(_check_pointer(i2, 33723));
2473 oldErrors = i3;
2474 i0 = (OOC_INT64)OOC_Doc_Input_Texinfo__Tokenize((OOC_Scanner_SymList__Symbol)i1, (OOC_Scanner_InputBuffer__CharArray)i0, (OOC_Error__List)i2);
2475 tokenList = (OOC_Doc_Input_Texinfo__Token)i0;
2476 i1 = *(OOC_INT32*)(_check_pointer(i2, 33851));
2477 i1 = i1==i3;
2478 if (i1) goto l7;
2479 return (OOC_Doc__Document)(OOC_INT64)0;
2480 goto l8;
2481 l7:
2482 token = (OOC_Doc_Input_Texinfo__Token)i0;
2483 i0 = (OOC_INT64)OOC_Doc_Input_Texinfo__Parse_ParseBlockList();
2484 blockList = (OOC_Doc__BlockElement)i0;
2485 OOC_Doc_Input_Texinfo__Parse_CheckToken(46);
2486 i0 = (OOC_INT64)sym;
2487 i0 = *(OOC_INT32*)((_check_pointer(i0, 34070))+36);
2488 i1 = (OOC_INT64)decoration;
2489 i2 = (OOC_INT64)blockList;
2490 i0 = (OOC_INT64)OOC_Doc__NewDocument((OOC_Doc__BlockElement)i2, (OOC_Doc_Decoration__Decoration)i1, i0);
2491 OOC_Doc__DocumentDesc_Normalize((OOC_Doc__Document)i0);
2492 return (OOC_Doc__Document)i0;
2493 l8:
2494 _failed_function(14065); return 0;
2495 ;
2496 }
2497
OOC_Doc_Input_Texinfo__Init(void)2498 static void OOC_Doc_Input_Texinfo__Init(void) {
2499 register OOC_INT64 i0,i1;
2500 OOC_INT32 i;
2501 auto void OOC_Doc_Input_Texinfo__Init_Register(OOC_INT32 cmdId, const OOC_CHAR8 name__ref[], OOC_LEN name_0d);
2502 auto void OOC_Doc_Input_Texinfo__Init_RegisterArgs(OOC_INT32 cmdId, OOC_INT8 low, OOC_INT8 high);
2503
2504 void OOC_Doc_Input_Texinfo__Init_Register(OOC_INT32 cmdId, const OOC_CHAR8 name__ref[], OOC_LEN name_0d) {
2505 register OOC_INT64 i0,i1;
2506 OOC_ALLOCATE_VPAR(name,OOC_CHAR8 ,name_0d)
2507
2508 OOC_INITIALIZE_VPAR(name__ref,name,OOC_CHAR8 ,name_0d)
2509 i0 = cmdId;
2510 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 34304))*8);
2511 i1 = *(OOC_INT8*)((_check_pointer(i1, 34311))+1);
2512 i1 = i1==(-1);
2513 if (i1) goto l4;
2514 Out__String((OOC_CHAR8*)"Module OOC:Doc:Input:Texinfo: Command id ", 42);
2515 Out__LongInt(i0, 0);
2516 Out__String((OOC_CHAR8*)" for @", 7);
2517 Out__String((void*)(OOC_INT64)name, name_0d);
2518 Out__String((OOC_CHAR8*)" already in use by @", 21);
2519 i0 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 35179))*8);
2520 Out__String((void*)((_check_pointer(i0, 35186))+2), 16);
2521 Out__Ln();
2522 _halt(1);
2523 goto l11;
2524 l4:
2525 switch (i0) {
2526 case 0 ... 2:
2527 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 34402))*8);
2528 *(OOC_INT8*)((_check_pointer(i1, 34409))+1) = 1;
2529 i1 = *(OOC_UINT8*)((OOC_INT64)name+(_check_index(1, name_0d, OOC_UINT8, 34445)));
2530 _assert((i1==0u), 127, 34433);
2531 _assert((i0<127), 127, 34466);
2532 i1 = *(OOC_UINT8*)((OOC_INT64)name+(_check_index(0, name_0d, OOC_UINT8, 34519)));
2533 *(OOC_INT8*)((OOC_INT64)OOC_Doc_Input_Texinfo__class1+(_check_index(i1, 256, OOC_UINT16, 34509))) = i0;
2534 goto l10;
2535 case 3 ... 6:
2536 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 34600))*8);
2537 *(OOC_INT8*)((_check_pointer(i1, 34607))+1) = 2;
2538 goto l10;
2539 case 7 ... 27:
2540 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 34670))*8);
2541 *(OOC_INT8*)((_check_pointer(i1, 34677))+1) = 3;
2542 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 34708))*8);
2543 *(OOC_INT8*)((_check_pointer(i1, 34715))+18) = 1;
2544 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 34747))*8);
2545 *(OOC_INT8*)((_check_pointer(i1, 34754))+19) = 1;
2546 goto l10;
2547 case 28 ... 37:
2548 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 34819))*8);
2549 *(OOC_INT8*)((_check_pointer(i1, 34826))+1) = 4;
2550 goto l10;
2551 default:
2552 _failed_case(i0, 34338);
2553 goto l10;
2554 }
2555 l10:
2556 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 34879))*8);
2557 _copy_8((const void*)(OOC_INT64)name,(void*)((_check_pointer(i1, 34886))+2),16);
2558 i0 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 34925))*8);
2559 _assert(((
2560 _cmp8((const void*)(OOC_INT64)name,(const void*)((_check_pointer(i0, 34932))+2)))==0), 127, 34903);
2561 l11:
2562 return;
2563 ;
2564 }
2565
2566
2567 void OOC_Doc_Input_Texinfo__Init_RegisterArgs(OOC_INT32 cmdId, OOC_INT8 low, OOC_INT8 high) {
2568 register OOC_INT64 i0,i1,i2;
2569
2570 i0 = cmdId;
2571 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 35343))*8);
2572 i2 = low;
2573 *(OOC_INT8*)((_check_pointer(i1, 35350))+18) = i2;
2574 i0 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 35380))*8);
2575 i1 = high;
2576 *(OOC_INT8*)((_check_pointer(i0, 35387))+19) = i1;
2577 return;
2578 ;
2579 }
2580
2581
2582 i0=0;
2583 l1_loop:
2584 *(OOC_INT8*)((OOC_INT64)OOC_Doc_Input_Texinfo__class1+(_check_index(i0, 256, OOC_UINT32, 35473))) = (-1);
2585 i0 = i0+1;
2586 i1 = i0<=255;
2587 if (i1) goto l1_loop;
2588 l5:
2589 i = 0;
2590 i0=0;
2591 l6_loop:
2592 *(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 35542))*8) = ((OOC_INT64)RT0__NewObject(_td_OOC_Doc_Input_Texinfo__Command.baseTypes[0]));
2593 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 35561))*8);
2594 *(OOC_INT8*)((_check_pointer(i1, 35564))+1) = (-1);
2595 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 35592))*8);
2596 _copy_8((const void*)(OOC_CHAR8*)"",(void*)((_check_pointer(i1, 35595))+2),16);
2597 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 35622))*8);
2598 *(OOC_INT8*)((_check_pointer(i1, 35625))+18) = (-1);
2599 i1 = (OOC_INT64)*(OOC_INT64*)((OOC_INT64)OOC_Doc_Input_Texinfo__cmdList+(_check_index(i0, 38, OOC_UINT32, 35654))*8);
2600 *(OOC_INT8*)((_check_pointer(i1, 35657))+19) = (-1);
2601 i0 = i0+1;
2602 i = i0;
2603 i1 = i0<=37;
2604 if (i1) goto l6_loop;
2605 l10:
2606 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Scanner_InputBuffer__CharArray.baseTypes[0], 1);
2607 OOC_Doc_Input_Texinfo__emptyString = (OOC_Scanner_InputBuffer__CharArray)i0;
2608 i0 = _check_pointer(i0, 35723);
2609 i1 = OOC_ARRAY_LENGTH(i0, 0);
2610 *(OOC_UINT8*)(i0+(_check_index(0, i1, OOC_UINT8, 35723))) = 0u;
2611 OOC_Doc_Input_Texinfo__Init_Register(0, (OOC_CHAR8*)"@", 2);
2612 OOC_Doc_Input_Texinfo__Init_Register(1, (OOC_CHAR8*)"{", 2);
2613 OOC_Doc_Input_Texinfo__Init_Register(2, (OOC_CHAR8*)"}", 2);
2614 OOC_Doc_Input_Texinfo__Init_Register(3, (OOC_CHAR8*)"bullet", 7);
2615 OOC_Doc_Input_Texinfo__Init_Register(4, (OOC_CHAR8*)"dots", 5);
2616 OOC_Doc_Input_Texinfo__Init_Register(5, (OOC_CHAR8*)"minus", 6);
2617 OOC_Doc_Input_Texinfo__Init_Register(6, (OOC_CHAR8*)"result", 7);
2618 OOC_Doc_Input_Texinfo__Init_Register(7, (OOC_CHAR8*)"asis", 5);
2619 OOC_Doc_Input_Texinfo__Init_Register(8, (OOC_CHAR8*)"cite", 5);
2620 OOC_Doc_Input_Texinfo__Init_Register(9, (OOC_CHAR8*)"code", 5);
2621 OOC_Doc_Input_Texinfo__Init_Register(10, (OOC_CHAR8*)"command", 8);
2622 OOC_Doc_Input_Texinfo__Init_Register(11, (OOC_CHAR8*)"dfn", 4);
2623 OOC_Doc_Input_Texinfo__Init_Register(26, (OOC_CHAR8*)"email", 6);
2624 OOC_Doc_Input_Texinfo__Init_RegisterArgs(26, 1, 2);
2625 OOC_Doc_Input_Texinfo__Init_Register(12, (OOC_CHAR8*)"emph", 5);
2626 OOC_Doc_Input_Texinfo__Init_Register(13, (OOC_CHAR8*)"file", 5);
2627 OOC_Doc_Input_Texinfo__Init_Register(14, (OOC_CHAR8*)"kbd", 4);
2628 OOC_Doc_Input_Texinfo__Init_Register(19, (OOC_CHAR8*)"omodule", 8);
2629 OOC_Doc_Input_Texinfo__Init_Register(20, (OOC_CHAR8*)"oconst", 7);
2630 OOC_Doc_Input_Texinfo__Init_Register(21, (OOC_CHAR8*)"ofield", 7);
2631 OOC_Doc_Input_Texinfo__Init_Register(22, (OOC_CHAR8*)"oparam", 7);
2632 OOC_Doc_Input_Texinfo__Init_Register(23, (OOC_CHAR8*)"oproc", 6);
2633 OOC_Doc_Input_Texinfo__Init_Register(24, (OOC_CHAR8*)"otype", 6);
2634 OOC_Doc_Input_Texinfo__Init_Register(25, (OOC_CHAR8*)"ovar", 5);
2635 OOC_Doc_Input_Texinfo__Init_Register(15, (OOC_CHAR8*)"samp", 5);
2636 OOC_Doc_Input_Texinfo__Init_Register(16, (OOC_CHAR8*)"strong", 7);
2637 OOC_Doc_Input_Texinfo__Init_Register(27, (OOC_CHAR8*)"uref", 5);
2638 OOC_Doc_Input_Texinfo__Init_RegisterArgs(27, 1, 3);
2639 OOC_Doc_Input_Texinfo__Init_Register(17, (OOC_CHAR8*)"url", 4);
2640 OOC_Doc_Input_Texinfo__Init_Register(18, (OOC_CHAR8*)"var", 4);
2641 OOC_Doc_Input_Texinfo__Init_Register(35, (OOC_CHAR8*)"end", 4);
2642 OOC_Doc_Input_Texinfo__Init_Register(30, (OOC_CHAR8*)"enumerate", 10);
2643 OOC_Doc_Input_Texinfo__Init_Register(28, (OOC_CHAR8*)"example", 8);
2644 OOC_Doc_Input_Texinfo__Init_Register(36, (OOC_CHAR8*)"item", 5);
2645 OOC_Doc_Input_Texinfo__Init_Register(29, (OOC_CHAR8*)"itemize", 8);
2646 OOC_Doc_Input_Texinfo__Init_Register(37, (OOC_CHAR8*)"itemx", 6);
2647 OOC_Doc_Input_Texinfo__Init_Register(31, (OOC_CHAR8*)"noindent", 9);
2648 OOC_Doc_Input_Texinfo__Init_Register(32, (OOC_CHAR8*)"precond", 8);
2649 OOC_Doc_Input_Texinfo__Init_Register(33, (OOC_CHAR8*)"postcond", 9);
2650 OOC_Doc_Input_Texinfo__Init_Register(34, (OOC_CHAR8*)"table", 6);
2651 return;
2652 ;
2653 }
2654
OOC_OOC_Doc_Input_Texinfo_init(void)2655 void OOC_OOC_Doc_Input_Texinfo_init(void) {
2656 register OOC_INT64 i0;
2657
2658 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc_Input_Texinfo__ErrorContext.baseTypes[0]);
2659 OOC_Doc_Input_Texinfo__texinfoContext = (OOC_Doc_Input_Texinfo__ErrorContext)i0;
2660 OOC_Error__InitContext((OOC_Error__Context)i0, (OOC_CHAR8*)"OOC:Doc:Texinfo", 16);
2661 OOC_Doc_Input_Texinfo__Init();
2662 return;
2663 ;
2664 }
2665
OOC_OOC_Doc_Input_Texinfo_destroy(void)2666 void OOC_OOC_Doc_Input_Texinfo_destroy(void) {
2667 }
2668
2669 /* --- */
2670