1 #include <OOC/Doc.d>
2 #include <__oo2c.h>
3 #include <setjmp.h>
4
OOC_Doc__SetPosition(struct OOC_Doc__Position * pos,RT0__Struct pos__tag,OOC_INT32 _char,OOC_INT32 line,OOC_INT32 column)5 void OOC_Doc__SetPosition(struct OOC_Doc__Position *pos, RT0__Struct pos__tag, OOC_INT32 _char, OOC_INT32 line, OOC_INT32 column) {
6 register OOC_INT64 i0;
7
8 i0 = _char;
9 *(OOC_INT32*)(OOC_INT64)pos = i0;
10 i0 = line;
11 *(OOC_INT32*)((OOC_INT64)pos+4) = i0;
12 i0 = column;
13 *(OOC_INT32*)((OOC_INT64)pos+8) = i0;
14 return;
15 ;
16 }
17
OOC_Doc__InitElement(OOC_Doc__Element e)18 static void OOC_Doc__InitElement(OOC_Doc__Element e) {
19 register OOC_INT64 i0;
20
21 i0 = (OOC_INT64)e;
22 *(OOC_INT32*)(_check_pointer(i0, 6771)) = (-1);
23 *(OOC_INT32*)((_check_pointer(i0, 6795))+4) = (-1);
24 *(OOC_INT32*)((_check_pointer(i0, 6819))+8) = (-1);
25 return;
26 ;
27 }
28
OOC_Doc__ElementDesc_NodeName(OOC_Doc__Element e,OOC_CHAR8 name[],OOC_LEN name_0d)29 void OOC_Doc__ElementDesc_NodeName(OOC_Doc__Element e, OOC_CHAR8 name[], OOC_LEN name_0d) {
30
31 return;
32 ;
33 }
34
OOC_Doc__ElementDesc_Normalize(OOC_Doc__Element e)35 void OOC_Doc__ElementDesc_Normalize(OOC_Doc__Element e) {
36
37 return;
38 ;
39 }
40
OOC_Doc__ElementDesc_Store(OOC_Doc__Element e,ADT_Storable__Writer w)41 void OOC_Doc__ElementDesc_Store(OOC_Doc__Element e, ADT_Storable__Writer w) {
42
43 return;
44 ;
45 }
46
OOC_Doc__ElementDesc_Load(OOC_Doc__Element e,ADT_Storable__Reader r)47 void OOC_Doc__ElementDesc_Load(OOC_Doc__Element e, ADT_Storable__Reader r) {
48 register OOC_INT64 i0;
49
50 i0 = (OOC_INT64)e;
51 OOC_Doc__InitElement((OOC_Doc__Element)i0);
52 return;
53 ;
54 }
55
OOC_Doc__MergeInline(OOC_Doc__InlineElement * dest,OOC_Doc__InlineElement src)56 void OOC_Doc__MergeInline(OOC_Doc__InlineElement *dest, OOC_Doc__InlineElement src) {
57 register OOC_INT64 i0,i1;
58 OOC_Doc__InlineElement i;
59
60 i0 = (OOC_INT64)*dest;
61 i1 = i0==(OOC_INT64)0;
62 if (i1) goto l12;
63 i = (OOC_Doc__InlineElement)i0;
64 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 7531))+16);
65 i1 = i1!=(OOC_INT64)0;
66 if (!i1) goto l11;
67 l6_loop:
68 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 7568))+16);
69 i = (OOC_Doc__InlineElement)i0;
70 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 7531))+16);
71 i1 = i1!=(OOC_INT64)0;
72 if (i1) goto l6_loop;
73 l11:
74 i1 = (OOC_INT64)src;
75 *(OOC_INT64*)((_check_pointer(i0, 7599))+16) = i1;
76 goto l13;
77 l12:
78 i0 = (OOC_INT64)src;
79 *dest = (OOC_Doc__InlineElement)i0;
80 l13:
81 return;
82 ;
83 }
84
OOC_Doc__InitInlineElement(OOC_Doc__InlineElement e)85 static void OOC_Doc__InitInlineElement(OOC_Doc__InlineElement e) {
86 register OOC_INT64 i0;
87
88 i0 = (OOC_INT64)e;
89 OOC_Doc__InitElement((OOC_Doc__Element)i0);
90 *(OOC_INT64*)((_check_pointer(i0, 7729))+16) = (OOC_INT64)0;
91 return;
92 ;
93 }
94
OOC_Doc__InlineElementDesc_StripHeadWS(OOC_Doc__InlineElement e)95 void OOC_Doc__InlineElementDesc_StripHeadWS(OOC_Doc__InlineElement e) {
96
97 return;
98 ;
99 }
100
OOC_Doc__InlineElementDesc_StripTailWS(OOC_Doc__InlineElement e)101 void OOC_Doc__InlineElementDesc_StripTailWS(OOC_Doc__InlineElement e) {
102
103 return;
104 ;
105 }
106
OOC_Doc__InlineElementDesc_Store(OOC_Doc__InlineElement e,ADT_Storable__Writer w)107 void OOC_Doc__InlineElementDesc_Store(OOC_Doc__InlineElement e, ADT_Storable__Writer w) {
108 register OOC_INT64 i0,i1;
109
110 i0 = (OOC_INT64)w;
111 i1 = (OOC_INT64)e;
112 OOC_Doc__ElementDesc_Store((OOC_Doc__Element)i1, (ADT_Storable__Writer)i0);
113 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 8021))+16);
114 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 8005)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i1);
115 return;
116 ;
117 }
118
OOC_Doc__InlineElementDesc_Load(OOC_Doc__InlineElement e,ADT_Storable__Reader r)119 void OOC_Doc__InlineElementDesc_Load(OOC_Doc__InlineElement e, ADT_Storable__Reader r) {
120 register OOC_INT64 i0,i1,i2;
121 Object__Object obj;
122
123 i0 = (OOC_INT64)r;
124 i1 = (OOC_INT64)e;
125 OOC_Doc__ElementDesc_Load((OOC_Doc__Element)i1, (ADT_Storable__Reader)i0);
126 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 8183)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
127 i0 = (OOC_INT64)obj;
128 i2 = i0==(OOC_INT64)0;
129 if (i2) goto l3;
130 *(OOC_INT64*)((_check_pointer(i1, 8270))+16) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 8290)))), &_td_OOC_Doc__InlineElementDesc, 8290));
131 goto l4;
132 l3:
133 *(OOC_INT64*)((_check_pointer(i1, 8234))+16) = (OOC_INT64)0;
134 l4:
135 return;
136 ;
137 }
138
OOC_Doc__InitBlockElement(OOC_Doc__BlockElement e,OOC_CHAR8 padAfter)139 static void OOC_Doc__InitBlockElement(OOC_Doc__BlockElement e, OOC_CHAR8 padAfter) {
140 register OOC_INT64 i0,i1;
141
142 i0 = (OOC_INT64)e;
143 OOC_Doc__InitElement((OOC_Doc__Element)i0);
144 *(OOC_INT64*)((_check_pointer(i0, 8427))+16) = (OOC_INT64)0;
145 i1 = padAfter;
146 *(OOC_UINT8*)((_check_pointer(i0, 8452))+24) = i1;
147 return;
148 ;
149 }
150
OOC_Doc__BlockElementDesc_Store(OOC_Doc__BlockElement e,ADT_Storable__Writer w)151 void OOC_Doc__BlockElementDesc_Store(OOC_Doc__BlockElement e, ADT_Storable__Writer w) {
152 register OOC_INT64 i0,i1,i2;
153
154 i0 = (OOC_INT64)w;
155 i1 = (OOC_INT64)e;
156 OOC_Doc__ElementDesc_Store((OOC_Doc__Element)i1, (ADT_Storable__Writer)i0);
157 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 8621))+16);
158 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 8605)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i2);
159 i1 = *(OOC_UINT8*)((_check_pointer(i1, 8654))+24);
160 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 8640)))), IO_BinaryRider__WriterDesc_WriteBool)),IO_BinaryRider__WriterDesc_WriteBool)((IO_BinaryRider__Writer)i0, i1);
161 return;
162 ;
163 }
164
OOC_Doc__BlockElementDesc_Load(OOC_Doc__BlockElement e,ADT_Storable__Reader r)165 void OOC_Doc__BlockElementDesc_Load(OOC_Doc__BlockElement e, ADT_Storable__Reader r) {
166 register OOC_INT64 i0,i1,i2,i3;
167 Object__Object obj;
168
169 i0 = (OOC_INT64)r;
170 i1 = (OOC_INT64)e;
171 OOC_Doc__ElementDesc_Load((OOC_Doc__Element)i1, (ADT_Storable__Reader)i0);
172 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 8813)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
173 i2 = (OOC_INT64)obj;
174 i3 = i2==(OOC_INT64)0;
175 if (i3) goto l3;
176 *(OOC_INT64*)((_check_pointer(i1, 8899))+16) = (_type_guard(i2, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i2, 8918)))), &_td_OOC_Doc__BlockElementDesc, 8918));
177 goto l4;
178 l3:
179 *(OOC_INT64*)((_check_pointer(i1, 8864))+16) = (OOC_INT64)0;
180 l4:
181 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 8946)))), IO_BinaryRider__ReaderDesc_ReadBool)),IO_BinaryRider__ReaderDesc_ReadBool)((IO_BinaryRider__Reader)i0, (void*)((_check_pointer(i1, 8959))+24));
182 return;
183 ;
184 }
185
OOC_Doc__NormalizeBlockList(OOC_Doc__BlockElement blockList)186 static void OOC_Doc__NormalizeBlockList(OOC_Doc__BlockElement blockList) {
187 register OOC_INT64 i0,i1;
188 OOC_Doc__BlockElement block;
189
190 i0 = (OOC_INT64)blockList;
191 block = (OOC_Doc__BlockElement)i0;
192 i1 = i0!=(OOC_INT64)0;
193 if (!i1) goto l8;
194
195 l3_loop:
196 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 9265)))), OOC_Doc__ElementDesc_Normalize)),OOC_Doc__ElementDesc_Normalize)((OOC_Doc__Element)i0);
197 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 9298))+16);
198 block = (OOC_Doc__BlockElement)i0;
199 i1 = i0!=(OOC_INT64)0;
200 if (i1) goto l3_loop;
201 l8:
202 return;
203 ;
204 }
205
OOC_Doc__NoPadLastElement(OOC_Doc__BlockElement list)206 static void OOC_Doc__NoPadLastElement(OOC_Doc__BlockElement list) {
207 register OOC_INT64 i0,i1;
208
209 i0 = (OOC_INT64)list;
210 i1 = i0!=(OOC_INT64)0;
211 if (!i1) goto l12;
212 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 9444))+16);
213 i1 = i1!=(OOC_INT64)0;
214 if (!i1) goto l11;
215 l6_loop:
216 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 9486))+16);
217 list = (OOC_Doc__BlockElement)i0;
218 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 9444))+16);
219 i1 = i1!=(OOC_INT64)0;
220 if (i1) goto l6_loop;
221 l11:
222 *(OOC_UINT8*)((_check_pointer(i0, 9519))+24) = 0u;
223 l12:
224 return;
225 ;
226 }
227
OOC_Doc__NewInlineList(void)228 OOC_Doc__InlineList OOC_Doc__NewInlineList(void) {
229 register OOC_INT64 i0;
230 OOC_Doc__InlineList il;
231
232 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__InlineList.baseTypes[0]);
233 il = (OOC_Doc__InlineList)i0;
234 *(OOC_INT64*)(_check_pointer(i0, 9671)) = 0;
235 *(OOC_INT64*)((_check_pointer(i0, 9692))+8) = 0;
236 return (OOC_Doc__InlineList)i0;
237 ;
238 }
239
OOC_Doc__InlineListDesc_Append(OOC_Doc__InlineList il,OOC_Doc__InlineElement inlineElement)240 void OOC_Doc__InlineListDesc_Append(OOC_Doc__InlineList il, OOC_Doc__InlineElement inlineElement) {
241 register OOC_INT64 i0,i1,i2;
242
243 i0 = (OOC_INT64)inlineElement;
244 *(OOC_INT64*)((_check_pointer(i0, 9835))+16) = (OOC_INT64)0;
245 i1 = (OOC_INT64)il;
246 i2 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i1, 9866));
247 i2 = i2==(OOC_INT64)0;
248 if (i2) goto l3;
249 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 9934))+8);
250 *(OOC_INT64*)((_check_pointer(i2, 9940))+16) = i0;
251 goto l4;
252 l3:
253 *(OOC_INT64*)(_check_pointer(i1, 9893)) = i0;
254 l4:
255 *(OOC_INT64*)((_check_pointer(i1, 9985))+8) = i0;
256 return;
257 ;
258 }
259
OOC_Doc__NewBlockList(void)260 OOC_Doc__BlockList OOC_Doc__NewBlockList(void) {
261 register OOC_INT64 i0;
262 OOC_Doc__BlockList bl;
263
264 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__BlockList.baseTypes[0]);
265 bl = (OOC_Doc__BlockList)i0;
266 *(OOC_INT64*)(_check_pointer(i0, 10116)) = 0;
267 *(OOC_INT64*)((_check_pointer(i0, 10137))+8) = 0;
268 return (OOC_Doc__BlockList)i0;
269 ;
270 }
271
OOC_Doc__BlockListDesc_Append(OOC_Doc__BlockList bl,OOC_Doc__BlockElement inlineElement)272 void OOC_Doc__BlockListDesc_Append(OOC_Doc__BlockList bl, OOC_Doc__BlockElement inlineElement) {
273 register OOC_INT64 i0,i1,i2;
274
275 i0 = (OOC_INT64)inlineElement;
276 *(OOC_INT64*)((_check_pointer(i0, 10277))+16) = (OOC_INT64)0;
277 i1 = (OOC_INT64)bl;
278 i2 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i1, 10307));
279 i2 = i2==(OOC_INT64)0;
280 if (i2) goto l3;
281 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 10375))+8);
282 *(OOC_INT64*)((_check_pointer(i2, 10381))+16) = i0;
283 goto l4;
284 l3:
285 *(OOC_INT64*)(_check_pointer(i1, 10334)) = i0;
286 l4:
287 *(OOC_INT64*)((_check_pointer(i1, 10425))+8) = i0;
288 return;
289 ;
290 }
291
OOC_Doc__NormalizeInlineList(OOC_Doc__InlineElement * blockList)292 static void OOC_Doc__NormalizeInlineList(OOC_Doc__InlineElement *blockList) {
293 register OOC_INT64 i0,i1,i2,i3;
294 OOC_Doc__InlineElement prev;
295 OOC_Doc__InlineElement i;
296
297 prev = (OOC_Doc__InlineElement)(OOC_INT64)0;
298 i0 = (OOC_INT64)*blockList;
299 i = (OOC_Doc__InlineElement)i0;
300 i1 = i0!=(OOC_INT64)0;
301 if (!i1) goto l19;
302 i1=(OOC_INT64)0;i2=1u;
303 l3_loop:
304 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 10636)))), OOC_Doc__ElementDesc_Normalize)),OOC_Doc__ElementDesc_Normalize)((OOC_Doc__Element)i0);
305 i3 = OOC_TYPE_TEST(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 10661)))), &_td_OOC_Doc__TextDesc);
306 if (i3) goto l6;
307 i3=0u;
308 goto l8;
309 l6:
310 i3 = (OOC_INT64)*(OOC_INT64*)((_check_pointer((_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 10675)))), &_td_OOC_Doc__TextDesc, 10675)), 10680))+24);
311 i3 = (
312 _cmp8((const void*)(_check_pointer(i3, 10688)),(const void*)(OOC_CHAR8*)""))==0;
313
314 l8:
315 if (i3) goto l10;
316 prev = (OOC_Doc__InlineElement)i0;
317 i1 = i0==(OOC_INT64)0;
318 i2=i1;i1=i0;
319 goto l14;
320 l10:
321 if (i2) goto l12;
322 i3 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 11018))+16);
323 *(OOC_INT64*)((_check_pointer(i1, 11001))+16) = i3;
324 goto l14;
325 l12:
326 i3 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 10961))+16);
327 *blockList = (OOC_Doc__InlineElement)i3;
328 l14:
329 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 11095))+16);
330 i = (OOC_Doc__InlineElement)i0;
331 i3 = i0!=(OOC_INT64)0;
332 if (i3) goto l3_loop;
333 l19:
334 return;
335 ;
336 }
337
OOC_Doc__LastInlineElement(OOC_Doc__InlineElement inlineList)338 static OOC_Doc__InlineElement OOC_Doc__LastInlineElement(OOC_Doc__InlineElement inlineList) {
339 register OOC_INT64 i0,i1;
340 OOC_Doc__InlineElement last;
341
342 i0 = (OOC_INT64)inlineList;
343 last = (OOC_Doc__InlineElement)i0;
344 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 11294))+16);
345 i1 = i1!=(OOC_INT64)0;
346 if (!i1) goto l9;
347 l4_loop:
348 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 11335))+16);
349 last = (OOC_Doc__InlineElement)i0;
350 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 11294))+16);
351 i1 = i1!=(OOC_INT64)0;
352 if (i1) goto l4_loop;
353 l9:
354 return (OOC_Doc__InlineElement)i0;
355 ;
356 }
357
OOC_Doc__LastBlockElement(OOC_Doc__BlockElement blockList)358 static OOC_Doc__BlockElement OOC_Doc__LastBlockElement(OOC_Doc__BlockElement blockList) {
359 register OOC_INT64 i0,i1;
360 OOC_Doc__BlockElement last;
361
362 i0 = (OOC_INT64)blockList;
363 last = (OOC_Doc__BlockElement)i0;
364 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 11543))+16);
365 i1 = i1!=(OOC_INT64)0;
366 if (!i1) goto l9;
367 l4_loop:
368 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 11583))+16);
369 last = (OOC_Doc__BlockElement)i0;
370 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 11543))+16);
371 i1 = i1!=(OOC_INT64)0;
372 if (i1) goto l4_loop;
373 l9:
374 return (OOC_Doc__BlockElement)i0;
375 ;
376 }
377
OOC_Doc__NormalizeArg(OOC_Doc__InlineElement inlineText)378 static void OOC_Doc__NormalizeArg(OOC_Doc__InlineElement inlineText) {
379 register OOC_INT64 i0,i1;
380 OOC_Doc__InlineElement last;
381
382 i0 = (OOC_INT64)inlineText;
383 i1 = i0!=(OOC_INT64)0;
384 if (!i1) goto l4;
385 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 11783)))), OOC_Doc__InlineElementDesc_StripHeadWS)),OOC_Doc__InlineElementDesc_StripHeadWS)((OOC_Doc__InlineElement)i0);
386 i0 = (OOC_INT64)inlineText;
387 i0 = (OOC_INT64)OOC_Doc__LastInlineElement((OOC_Doc__InlineElement)i0);
388 last = (OOC_Doc__InlineElement)i0;
389 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 11854)))), OOC_Doc__InlineElementDesc_StripTailWS)),OOC_Doc__InlineElementDesc_StripTailWS)((OOC_Doc__InlineElement)i0);
390 OOC_Doc__NormalizeInlineList((void*)(OOC_INT64)&inlineText);
391 l4:
392 return;
393 ;
394 }
395
OOC_Doc__StripInlineListWS(OOC_Doc__InlineElement inlineList)396 static void OOC_Doc__StripInlineListWS(OOC_Doc__InlineElement inlineList) {
397 register OOC_INT64 i0,i1;
398 OOC_Doc__InlineElement last;
399
400 i0 = (OOC_INT64)inlineList;
401 i1 = i0!=(OOC_INT64)0;
402 if (!i1) goto l4;
403 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 12080)))), OOC_Doc__InlineElementDesc_StripHeadWS)),OOC_Doc__InlineElementDesc_StripHeadWS)((OOC_Doc__InlineElement)i0);
404 i0 = (OOC_INT64)OOC_Doc__LastInlineElement((OOC_Doc__InlineElement)i0);
405 last = (OOC_Doc__InlineElement)i0;
406 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 12151)))), OOC_Doc__InlineElementDesc_StripTailWS)),OOC_Doc__InlineElementDesc_StripTailWS)((OOC_Doc__InlineElement)i0);
407 l4:
408 return;
409 ;
410 }
411
OOC_Doc__InitGlyph(OOC_Doc__Glyph glyph,OOC_INT32 glyphCode)412 static void OOC_Doc__InitGlyph(OOC_Doc__Glyph glyph, OOC_INT32 glyphCode) {
413 register OOC_INT64 i0,i1;
414
415 i0 = (OOC_INT64)glyph;
416 OOC_Doc__InitInlineElement((OOC_Doc__InlineElement)i0);
417 i1 = glyphCode;
418 *(OOC_INT32*)((_check_pointer(i0, 12383))+24) = i1;
419 return;
420 ;
421 }
422
OOC_Doc__NewGlyph(OOC_INT32 glyphCode)423 OOC_Doc__Glyph OOC_Doc__NewGlyph(OOC_INT32 glyphCode) {
424 register OOC_INT64 i0,i1;
425
426 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__Glyph.baseTypes[0]);
427 i1 = glyphCode;
428 OOC_Doc__InitGlyph((OOC_Doc__Glyph)i0, i1);
429 return (OOC_Doc__Glyph)i0;
430 ;
431 }
432
OOC_Doc__GlyphDesc_NodeName(OOC_Doc__Glyph glyph,OOC_CHAR8 name[],OOC_LEN name_0d)433 void OOC_Doc__GlyphDesc_NodeName(OOC_Doc__Glyph glyph, OOC_CHAR8 name[], OOC_LEN name_0d) {
434 register OOC_INT64 i0;
435
436 i0 = (OOC_INT64)glyph;
437 i0 = *(OOC_INT32*)((_check_pointer(i0, 12671))+24);
438 switch (i0) {
439 case 0:
440 _copy_8((const void*)(OOC_CHAR8*)"bullet",(void*)(OOC_INT64)name,name_0d);
441 goto l10;
442 case 1:
443 _copy_8((const void*)(OOC_CHAR8*)"dots",(void*)(OOC_INT64)name,name_0d);
444 goto l10;
445 case 2:
446 _copy_8((const void*)(OOC_CHAR8*)"minus",(void*)(OOC_INT64)name,name_0d);
447 goto l10;
448 case 3:
449 _copy_8((const void*)(OOC_CHAR8*)"em-dash",(void*)(OOC_INT64)name,name_0d);
450 goto l10;
451 case 4:
452 _copy_8((const void*)(OOC_CHAR8*)"result",(void*)(OOC_INT64)name,name_0d);
453 goto l10;
454 case 5:
455 _copy_8((const void*)(OOC_CHAR8*)"left-quote",(void*)(OOC_INT64)name,name_0d);
456 goto l10;
457 case 6:
458 _copy_8((const void*)(OOC_CHAR8*)"right-quote",(void*)(OOC_INT64)name,name_0d);
459 goto l10;
460 default:
461 _failed_case(i0, 12661);
462 goto l10;
463 }
464 l10:
465 return;
466 ;
467 }
468
OOC_Doc__GlyphDesc_Normalize(OOC_Doc__Glyph glyph)469 void OOC_Doc__GlyphDesc_Normalize(OOC_Doc__Glyph glyph) {
470
471 return;
472 ;
473 }
474
OOC_Doc__GlyphDesc_Store(OOC_Doc__Glyph glyph,ADT_Storable__Writer w)475 void OOC_Doc__GlyphDesc_Store(OOC_Doc__Glyph glyph, ADT_Storable__Writer w) {
476 register OOC_INT64 i0,i1;
477
478 i0 = (OOC_INT64)w;
479 i1 = (OOC_INT64)glyph;
480 OOC_Doc__InlineElementDesc_Store((OOC_Doc__InlineElement)i1, (ADT_Storable__Writer)i0);
481 i1 = *(OOC_INT32*)((_check_pointer(i1, 13180))+24);
482 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13163)))), IO_BinaryRider__WriterDesc_WriteNum)),IO_BinaryRider__WriterDesc_WriteNum)((IO_BinaryRider__Writer)i0, i1);
483 return;
484 ;
485 }
486
OOC_Doc__GlyphDesc_Load(OOC_Doc__Glyph glyph,ADT_Storable__Reader r)487 void OOC_Doc__GlyphDesc_Load(OOC_Doc__Glyph glyph, ADT_Storable__Reader r) {
488 register OOC_INT64 i0,i1;
489
490 i0 = (OOC_INT64)r;
491 i1 = (OOC_INT64)glyph;
492 OOC_Doc__InlineElementDesc_Load((OOC_Doc__InlineElement)i1, (ADT_Storable__Reader)i0);
493 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 13306)))), IO_BinaryRider__ReaderDesc_ReadNum)),IO_BinaryRider__ReaderDesc_ReadNum)((IO_BinaryRider__Reader)i0, (void*)((_check_pointer(i1, 13322))+24));
494 return;
495 ;
496 }
497
OOC_Doc__InitText(OOC_Doc__Text text,struct OOC_Doc__Position * pos,RT0__Struct pos__tag,OOC_CHAR8 string[],OOC_LEN string_0d)498 static void OOC_Doc__InitText(OOC_Doc__Text text, struct OOC_Doc__Position *pos, RT0__Struct pos__tag, OOC_CHAR8 string[], OOC_LEN string_0d) {
499 register OOC_INT64 i0,i1;
500
501 i0 = (OOC_INT64)text;
502 OOC_Doc__InitInlineElement((OOC_Doc__InlineElement)i0);
503 _copy_block((OOC_INT64)pos,(_check_pointer(i0, 13469)),12);
504 i1 = Strings__Length((void*)(OOC_INT64)string, string_0d);
505 *(OOC_INT64*)((_check_pointer(i0, 13496))+24) = ((OOC_INT64)RT0__NewObject(_td_OOC_Scanner_InputBuffer__CharArray.baseTypes[0], (i1+1)));
506 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 13556))+24);
507 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 13556))+24);
508 i0 = OOC_ARRAY_LENGTH((_check_pointer(i0, 13564)), 0);
509 _copy_8((const void*)(OOC_INT64)string,(void*)(_check_pointer(i1, 13564)),i0);
510 return;
511 ;
512 }
513
OOC_Doc__NewText(OOC_CHAR8 string[],OOC_LEN string_0d,struct OOC_Doc__Position * pos,RT0__Struct pos__tag)514 OOC_Doc__Text OOC_Doc__NewText(OOC_CHAR8 string[], OOC_LEN string_0d, struct OOC_Doc__Position *pos, RT0__Struct pos__tag) {
515 register OOC_INT64 i0;
516
517 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__Text.baseTypes[0]);
518 OOC_Doc__InitText((OOC_Doc__Text)i0, (void*)(OOC_INT64)pos, (RT0__Struct)((OOC_INT64)pos__tag), (void*)(OOC_INT64)string, string_0d);
519 return (OOC_Doc__Text)i0;
520 ;
521 }
522
OOC_Doc__TextDesc_NodeName(OOC_Doc__Text text,OOC_CHAR8 name[],OOC_LEN name_0d)523 void OOC_Doc__TextDesc_NodeName(OOC_Doc__Text text, OOC_CHAR8 name[], OOC_LEN name_0d) {
524
525 _copy_8((const void*)(OOC_CHAR8*)"text",(void*)(OOC_INT64)name,name_0d);
526 return;
527 ;
528 }
529
OOC_Doc__TextDesc_Normalize(OOC_Doc__Text text)530 void OOC_Doc__TextDesc_Normalize(OOC_Doc__Text text) {
531 register OOC_INT64 i0,i1,i2,i3,i4,i5,i6,i7,i8;
532 OOC_Scanner_InputBuffer__CharArray s;
533 OOC_INT32 i;
534 OOC_INT32 delta;
535 OOC_INT32 dotExt;
536 OOC_Scanner_InputBuffer__CharArray ns;
537
538 i0 = (OOC_INT64)text;
539 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 14160))+24);
540 s = (OOC_Scanner_InputBuffer__CharArray)i1;
541 i = 0;
542 delta = 0;
543 dotExt = 0;
544 i2 = _check_pointer(i1, 14215);
545 i3 = OOC_ARRAY_LENGTH(i2, 0);
546 i2 = *(OOC_UINT8*)(i2+(_check_index(0, i3, OOC_UINT32, 14215)));
547 i2 = i2!=0u;
548 if (i2) goto l3;
549 i2=0;i3=0;i4=0;
550 goto l54;
551 l3:
552 i2=0;i3=0;i4=0;
553 l4_loop:
554 i5 = _check_pointer(i1, 14239);
555 i6 = OOC_ARRAY_LENGTH(i5, 0);
556 i5 = *(OOC_UINT8*)(i5+(_check_index(i2, i6, OOC_UINT32, 14239)));
557 i5 = (OOC_UINT8)i5<=(OOC_UINT8)32u;
558 if (i5) goto l31;
559 i5 = _check_pointer(i1, 14394);
560 i6 = OOC_ARRAY_LENGTH(i5, 0);
561 i5 = *(OOC_UINT8*)(i5+(_check_index(i2, i6, OOC_UINT32, 14394)));
562 i5 = i5==46u;
563 if (i5) goto l9;
564 i5 = _check_pointer(i1, 14889);
565 i6 = OOC_ARRAY_LENGTH(i5, 0);
566 i7 = _check_pointer(i1, 14903);
567 i8 = OOC_ARRAY_LENGTH(i7, 0);
568 i7 = *(OOC_UINT8*)(i7+(_check_index(i2, i8, OOC_UINT32, 14903)));
569 *(OOC_UINT8*)(i5+(_check_index((i2-i3), i6, OOC_UINT32, 14889))) = i7;
570 i2 = i2+1;
571 i = i2;
572
573 goto l49;
574 l9:
575 i5 = _check_pointer(i1, 14419);
576 i6 = OOC_ARRAY_LENGTH(i5, 0);
577 i7 = _check_pointer(i1, 14433);
578 i8 = OOC_ARRAY_LENGTH(i7, 0);
579 i7 = *(OOC_UINT8*)(i7+(_check_index(i2, i8, OOC_UINT32, 14433)));
580 *(OOC_UINT8*)(i5+(_check_index((i2-i3), i6, OOC_UINT32, 14419))) = i7;
581 i2 = i2+1;
582 i = i2;
583 i5 = _check_pointer(i1, 14460);
584 i6 = OOC_ARRAY_LENGTH(i5, 0);
585 i5 = *(OOC_UINT8*)(i5+(_check_index(i2, i6, OOC_UINT32, 14460)));
586 i5 = i5!=0u;
587 if (i5) goto l12;
588 i5=0u;
589 goto l14;
590 l12:
591 i5 = _check_pointer(i1, 14474);
592 i6 = OOC_ARRAY_LENGTH(i5, 0);
593 i5 = *(OOC_UINT8*)(i5+(_check_index(i2, i6, OOC_UINT32, 14474)));
594 i5 = (OOC_UINT8)i5<=(OOC_UINT8)32u;
595
596 l14:
597 if (i5) goto l16;
598 i5=0u;
599 goto l18;
600 l16:
601 i5 = _check_pointer(i1, 14502);
602 i6 = OOC_ARRAY_LENGTH(i5, 0);
603 i5 = *(OOC_UINT8*)(i5+(_check_index((i2+1), i6, OOC_UINT32, 14502)));
604 i5 = i5!=0u;
605
606 l18:
607 if (i5) goto l20;
608 i5=0u;
609 goto l22;
610 l20:
611 i5 = _check_pointer(i1, 14518);
612 i6 = OOC_ARRAY_LENGTH(i5, 0);
613 i5 = *(OOC_UINT8*)(i5+(_check_index((i2+1), i6, OOC_UINT32, 14518)));
614 i5 = (OOC_UINT8)i5<=(OOC_UINT8)32u;
615
616 l22:
617 if (i5) goto l28;
618 i5 = _check_pointer(i1, 14612);
619 i6 = OOC_ARRAY_LENGTH(i5, 0);
620 i5 = *(OOC_UINT8*)(i5+(_check_index(i2, i6, OOC_UINT32, 14612)));
621 i5 = i5==10u;
622 if (!i5) goto l49;
623 i5 = _check_pointer(i1, 14818);
624 i6 = OOC_ARRAY_LENGTH(i5, 0);
625 *(OOC_UINT8*)(i5+(_check_index((i2-i3), i6, OOC_UINT32, 14818))) = 1u;
626 i2 = i2+1;
627 i = i2;
628 i4 = i4+1;
629 dotExt = i4;
630
631 goto l49;
632 l28:
633 i5 = _check_pointer(i1, 14548);
634 i6 = OOC_ARRAY_LENGTH(i5, 0);
635 *(OOC_UINT8*)(i5+(_check_index((i2-i3), i6, OOC_UINT32, 14548))) = 32u;
636 i2 = i2+1;
637 i = i2;
638
639 goto l49;
640 l31:
641 i5 = _check_pointer(i1, 14265);
642 i6 = OOC_ARRAY_LENGTH(i5, 0);
643 *(OOC_UINT8*)(i5+(_check_index((i2-i3), i6, OOC_UINT32, 14265))) = 32u;
644 i2 = i2+1;
645 i = i2;
646 i5 = _check_pointer(i1, 14308);
647 i6 = OOC_ARRAY_LENGTH(i5, 0);
648 i5 = *(OOC_UINT8*)(i5+(_check_index(i2, i6, OOC_UINT32, 14308)));
649 i5 = i5!=0u;
650 if (i5) goto l34;
651 i5=0u;
652 goto l36;
653 l34:
654 i5 = _check_pointer(i1, 14322);
655 i6 = OOC_ARRAY_LENGTH(i5, 0);
656 i5 = *(OOC_UINT8*)(i5+(_check_index(i2, i6, OOC_UINT32, 14322)));
657 i5 = (OOC_UINT8)i5<=(OOC_UINT8)32u;
658
659 l36:
660 if (!i5) goto l49;
661 l39_loop:
662 i2 = i2+1;
663 i = i2;
664 i3 = i3+1;
665 delta = i3;
666 i5 = _check_pointer(i1, 14308);
667 i6 = OOC_ARRAY_LENGTH(i5, 0);
668 i5 = *(OOC_UINT8*)(i5+(_check_index(i2, i6, OOC_UINT32, 14308)));
669 i5 = i5!=0u;
670 if (i5) goto l42;
671 i5=0u;
672 goto l44;
673 l42:
674 i5 = _check_pointer(i1, 14322);
675 i6 = OOC_ARRAY_LENGTH(i5, 0);
676 i5 = *(OOC_UINT8*)(i5+(_check_index(i2, i6, OOC_UINT32, 14322)));
677 i5 = (OOC_UINT8)i5<=(OOC_UINT8)32u;
678
679 l44:
680 if (i5) goto l39_loop;
681 l49:
682 i5 = _check_pointer(i1, 14215);
683 i6 = OOC_ARRAY_LENGTH(i5, 0);
684 i5 = *(OOC_UINT8*)(i5+(_check_index(i2, i6, OOC_UINT32, 14215)));
685 i5 = i5!=0u;
686 if (i5) goto l4_loop;
687 l54:
688 i5 = _check_pointer(i1, 14940);
689 i2 = i2-i3;
690 i3 = OOC_ARRAY_LENGTH(i5, 0);
691 *(OOC_UINT8*)(i5+(_check_index(i2, i3, OOC_UINT32, 14940))) = 0u;
692 i = i2;
693 i3 = i2+i4;
694 i5 = OOC_ARRAY_LENGTH((_check_pointer(i1, 15004)), 0);
695 i5 = i3>=i5;
696 if (i5) goto l57;
697 ns = (OOC_Scanner_InputBuffer__CharArray)i1;
698 i0=i1;
699 goto l58;
700 l57:
701 i3 = (OOC_INT64)RT0__NewObject(_td_OOC_Scanner_InputBuffer__CharArray.baseTypes[0], (i3+1));
702 ns = (OOC_Scanner_InputBuffer__CharArray)i3;
703 *(OOC_INT64*)((_check_pointer(i0, 15051))+24) = i3;
704 i0=i3;
705 l58:
706 i3 = i2>=0;
707 if (!i3) goto l70;
708 i3=i4;
709 l61_loop:
710 i4 = _check_pointer(i1, 15131);
711 i5 = OOC_ARRAY_LENGTH(i4, 0);
712 i4 = *(OOC_UINT8*)(i4+(_check_index(i2, i5, OOC_UINT32, 15131)));
713 i4 = i4==1u;
714 if (i4) goto l64;
715 i4 = _check_pointer(i0, 15263);
716 i5 = OOC_ARRAY_LENGTH(i4, 0);
717 i6 = _check_pointer(i1, 15278);
718 i7 = OOC_ARRAY_LENGTH(i6, 0);
719 i6 = *(OOC_UINT8*)(i6+(_check_index(i2, i7, OOC_UINT32, 15278)));
720 *(OOC_UINT8*)(i4+(_check_index((i2+i3), i5, OOC_UINT32, 15263))) = i6;
721 i2 = i2-1;
722 i = i2;
723
724 goto l65;
725 l64:
726 i4 = _check_pointer(i0, 15156);
727 i5 = OOC_ARRAY_LENGTH(i4, 0);
728 *(OOC_UINT8*)(i4+(_check_index((i2+i3), i5, OOC_UINT32, 15156))) = 32u;
729 i3 = i3-1;
730 dotExt = i3;
731 i4 = _check_pointer(i0, 15207);
732 i5 = OOC_ARRAY_LENGTH(i4, 0);
733 *(OOC_UINT8*)(i4+(_check_index((i2+i3), i5, OOC_UINT32, 15207))) = 32u;
734 i2 = i2-1;
735 i = i2;
736
737 l65:
738 i4 = i2>=0;
739 if (i4) goto l61_loop;
740 l70:
741 return;
742 ;
743 }
744
OOC_Doc__TextDesc_StripHeadWS(OOC_Doc__Text text)745 void OOC_Doc__TextDesc_StripHeadWS(OOC_Doc__Text text) {
746 register OOC_INT64 i0,i1,i2,i3;
747 OOC_INT32 i;
748
749 i = 0;
750 i0 = (OOC_INT64)text;
751 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15428))+24);
752 i1 = _check_pointer(i1, 15436);
753 i2 = OOC_ARRAY_LENGTH(i1, 0);
754 i1 = *(OOC_UINT8*)(i1+(_check_index(0, i2, OOC_UINT32, 15436)));
755 i1 = i1!=0u;
756 if (i1) goto l3;
757 i1=0u;
758 goto l5;
759 l3:
760 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15453))+24);
761 i1 = _check_pointer(i1, 15461);
762 i2 = OOC_ARRAY_LENGTH(i1, 0);
763 i1 = *(OOC_UINT8*)(i1+(_check_index(0, i2, OOC_UINT32, 15461)));
764 i1 = (OOC_UINT8)i1<=(OOC_UINT8)32u;
765
766 l5:
767 if (i1) goto l7;
768 i1=0;
769 goto l17;
770 l7:
771 i1=0;
772 l8_loop:
773 i1 = i1+1;
774 i = i1;
775 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15428))+24);
776 i2 = _check_pointer(i2, 15436);
777 i3 = OOC_ARRAY_LENGTH(i2, 0);
778 i2 = *(OOC_UINT8*)(i2+(_check_index(i1, i3, OOC_UINT32, 15436)));
779 i2 = i2!=0u;
780 if (i2) goto l11;
781 i2=0u;
782 goto l13;
783 l11:
784 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15453))+24);
785 i2 = _check_pointer(i2, 15461);
786 i3 = OOC_ARRAY_LENGTH(i2, 0);
787 i2 = *(OOC_UINT8*)(i2+(_check_index(i1, i3, OOC_UINT32, 15461)));
788 i2 = (OOC_UINT8)i2<=(OOC_UINT8)32u;
789
790 l13:
791 if (i2) goto l8_loop;
792 l17:
793 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15523))+24);
794 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15523))+24);
795 i2 = OOC_ARRAY_LENGTH((_check_pointer(i2, 15531)), 0);
796 Strings__Delete((void*)(_check_pointer(i0, 15531)), i2, 0, i1);
797 return;
798 ;
799 }
800
OOC_Doc__TextDesc_StripTailWS(OOC_Doc__Text text)801 void OOC_Doc__TextDesc_StripTailWS(OOC_Doc__Text text) {
802 register OOC_INT64 i0,i1,i2,i3;
803 OOC_INT32 i;
804
805 i0 = (OOC_INT64)text;
806 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15663))+24);
807 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15663))+24);
808 i1 = OOC_ARRAY_LENGTH((_check_pointer(i1, 15671)), 0);
809 i1 = Strings__Length((void*)(_check_pointer(i2, 15671)), i1);
810 i = i1;
811 i2 = i1!=0;
812 if (i2) goto l3;
813 i2=0u;
814 goto l5;
815 l3:
816 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15700))+24);
817 i2 = _check_pointer(i2, 15708);
818 i3 = OOC_ARRAY_LENGTH(i2, 0);
819 i2 = *(OOC_UINT8*)(i2+(_check_index((i1-1), i3, OOC_UINT32, 15708)));
820 i2 = (OOC_UINT8)i2<=(OOC_UINT8)32u;
821
822 l5:
823 if (!i2) goto l17;
824 l8_loop:
825 i1 = i1-1;
826 i = i1;
827 i2 = i1!=0;
828 if (i2) goto l11;
829 i2=0u;
830 goto l13;
831 l11:
832 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15700))+24);
833 i2 = _check_pointer(i2, 15708);
834 i3 = OOC_ARRAY_LENGTH(i2, 0);
835 i2 = *(OOC_UINT8*)(i2+(_check_index((i1-1), i3, OOC_UINT32, 15708)));
836 i2 = (OOC_UINT8)i2<=(OOC_UINT8)32u;
837
838 l13:
839 if (i2) goto l8_loop;
840 l17:
841 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 15756))+24);
842 i0 = _check_pointer(i0, 15764);
843 i2 = OOC_ARRAY_LENGTH(i0, 0);
844 *(OOC_UINT8*)(i0+(_check_index(i1, i2, OOC_UINT32, 15764))) = 0u;
845 return;
846 ;
847 }
848
OOC_Doc__TextDesc_Store(OOC_Doc__Text text,ADT_Storable__Writer w)849 void OOC_Doc__TextDesc_Store(OOC_Doc__Text text, ADT_Storable__Writer w) {
850 register OOC_INT64 i0,i1,i2,i3,i4;
851 OOC_INT32 i;
852
853 i0 = (OOC_INT64)w;
854 i1 = (OOC_INT64)text;
855 OOC_Doc__InlineElementDesc_Store((OOC_Doc__InlineElement)i1, (ADT_Storable__Writer)i0);
856 i = 0;
857 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 15941))+24);
858 i2 = _check_pointer(i2, 15949);
859 i3 = OOC_ARRAY_LENGTH(i2, 0);
860 i2 = *(OOC_UINT8*)(i2+(_check_index(0, i3, OOC_UINT32, 15949)));
861 i2 = i2!=0u;
862 if (i2) goto l3;
863 i2=0;
864 goto l9;
865 l3:
866 i2=0;
867 l4_loop:
868 i2 = i2+1;
869 i = i2;
870 i3 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 15941))+24);
871 i3 = _check_pointer(i3, 15949);
872 i4 = OOC_ARRAY_LENGTH(i3, 0);
873 i3 = *(OOC_UINT8*)(i3+(_check_index(i2, i4, OOC_UINT32, 15949)));
874 i3 = i3!=0u;
875 if (i3) goto l4_loop;
876 l9:
877 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 15990)))), IO_BinaryRider__WriterDesc_WriteNum)),IO_BinaryRider__WriterDesc_WriteNum)((IO_BinaryRider__Writer)i0, i2);
878 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 16030))+24);
879 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 16030))+24);
880 i2 = OOC_ARRAY_LENGTH((_check_pointer(i2, 16038)), 0);
881 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 16011)))), IO_BinaryRider__WriterDesc_WriteString)),IO_BinaryRider__WriterDesc_WriteString)((IO_BinaryRider__Writer)i0, (void*)(_check_pointer(i1, 16038)), i2);
882 return;
883 ;
884 }
885
OOC_Doc__TextDesc_Load(OOC_Doc__Text text,ADT_Storable__Reader r)886 void OOC_Doc__TextDesc_Load(OOC_Doc__Text text, ADT_Storable__Reader r) {
887 register OOC_INT64 i0,i1,i2;
888 OOC_INT32 len;
889
890 i0 = (OOC_INT64)r;
891 i1 = (OOC_INT64)text;
892 OOC_Doc__InlineElementDesc_Load((OOC_Doc__InlineElement)i1, (ADT_Storable__Reader)i0);
893 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 16180)))), IO_BinaryRider__ReaderDesc_ReadNum)),IO_BinaryRider__ReaderDesc_ReadNum)((IO_BinaryRider__Reader)i0, (void*)(OOC_INT64)&len);
894 i2 = len;
895 *(OOC_INT64*)((_check_pointer(i1, 16210))+24) = ((OOC_INT64)RT0__NewObject(_td_OOC_Scanner_InputBuffer__CharArray.baseTypes[0], (i2+1)));
896 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 16251))+24);
897 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 16251))+24);
898 i2 = OOC_ARRAY_LENGTH((_check_pointer(i2, 16259)), 0);
899 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 16233)))), IO_BinaryRider__ReaderDesc_ReadString)),IO_BinaryRider__ReaderDesc_ReadString)((IO_BinaryRider__Reader)i0, (void*)(_check_pointer(i1, 16259)), i2);
900 return;
901 ;
902 }
903
OOC_Doc__InitMarkedInline(OOC_Doc__MarkedInline mi,OOC_INT32 mark,OOC_Doc__InlineElement inlineText)904 static void OOC_Doc__InitMarkedInline(OOC_Doc__MarkedInline mi, OOC_INT32 mark, OOC_Doc__InlineElement inlineText) {
905 register OOC_INT64 i0,i1;
906
907 i0 = (OOC_INT64)mi;
908 OOC_Doc__InitInlineElement((OOC_Doc__InlineElement)i0);
909 i1 = mark;
910 *(OOC_INT32*)((_check_pointer(i0, 16435))+24) = i1;
911 i1 = (OOC_INT64)inlineText;
912 *(OOC_INT64*)((_check_pointer(i0, 16457))+32) = i1;
913 return;
914 ;
915 }
916
OOC_Doc__NewMarkedInline(OOC_INT32 mark,OOC_Doc__InlineElement inlineText)917 OOC_Doc__MarkedInline OOC_Doc__NewMarkedInline(OOC_INT32 mark, OOC_Doc__InlineElement inlineText) {
918 register OOC_INT64 i0,i1,i2;
919
920 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__MarkedInline.baseTypes[0]);
921 i1 = (OOC_INT64)inlineText;
922 i2 = mark;
923 OOC_Doc__InitMarkedInline((OOC_Doc__MarkedInline)i0, i2, (OOC_Doc__InlineElement)i1);
924 return (OOC_Doc__MarkedInline)i0;
925 ;
926 }
927
OOC_Doc__MarkedInlineDesc_NodeName(OOC_Doc__MarkedInline mi,OOC_CHAR8 name[],OOC_LEN name_0d)928 void OOC_Doc__MarkedInlineDesc_NodeName(OOC_Doc__MarkedInline mi, OOC_CHAR8 name[], OOC_LEN name_0d) {
929 register OOC_INT64 i0;
930
931 i0 = (OOC_INT64)mi;
932 i0 = *(OOC_INT32*)((_check_pointer(i0, 16812))+24);
933 switch (i0) {
934 case 0:
935 _copy_8((const void*)(OOC_CHAR8*)"asis",(void*)(OOC_INT64)name,name_0d);
936 goto l22;
937 case 1:
938 _copy_8((const void*)(OOC_CHAR8*)"cite",(void*)(OOC_INT64)name,name_0d);
939 goto l22;
940 case 2:
941 _copy_8((const void*)(OOC_CHAR8*)"code",(void*)(OOC_INT64)name,name_0d);
942 goto l22;
943 case 3:
944 _copy_8((const void*)(OOC_CHAR8*)"command",(void*)(OOC_INT64)name,name_0d);
945 goto l22;
946 case 4:
947 _copy_8((const void*)(OOC_CHAR8*)"dfn",(void*)(OOC_INT64)name,name_0d);
948 goto l22;
949 case 5:
950 _copy_8((const void*)(OOC_CHAR8*)"emph",(void*)(OOC_INT64)name,name_0d);
951 goto l22;
952 case 6:
953 _copy_8((const void*)(OOC_CHAR8*)"file",(void*)(OOC_INT64)name,name_0d);
954 goto l22;
955 case 7:
956 _copy_8((const void*)(OOC_CHAR8*)"kbd",(void*)(OOC_INT64)name,name_0d);
957 goto l22;
958 case 8:
959 _copy_8((const void*)(OOC_CHAR8*)"samp",(void*)(OOC_INT64)name,name_0d);
960 goto l22;
961 case 9:
962 _copy_8((const void*)(OOC_CHAR8*)"strong",(void*)(OOC_INT64)name,name_0d);
963 goto l22;
964 case 10:
965 _copy_8((const void*)(OOC_CHAR8*)"var",(void*)(OOC_INT64)name,name_0d);
966 goto l22;
967 case 11:
968 _copy_8((const void*)(OOC_CHAR8*)"url",(void*)(OOC_INT64)name,name_0d);
969 goto l22;
970 case 12:
971 _copy_8((const void*)(OOC_CHAR8*)"oberon-module",(void*)(OOC_INT64)name,name_0d);
972 goto l22;
973 case 13:
974 _copy_8((const void*)(OOC_CHAR8*)"oberon-const",(void*)(OOC_INT64)name,name_0d);
975 goto l22;
976 case 14:
977 _copy_8((const void*)(OOC_CHAR8*)"oberon-field",(void*)(OOC_INT64)name,name_0d);
978 goto l22;
979 case 15:
980 _copy_8((const void*)(OOC_CHAR8*)"oberon-param",(void*)(OOC_INT64)name,name_0d);
981 goto l22;
982 case 16:
983 _copy_8((const void*)(OOC_CHAR8*)"oberon-proc",(void*)(OOC_INT64)name,name_0d);
984 goto l22;
985 case 17:
986 _copy_8((const void*)(OOC_CHAR8*)"oberon-type",(void*)(OOC_INT64)name,name_0d);
987 goto l22;
988 case 18:
989 _copy_8((const void*)(OOC_CHAR8*)"oberon-var",(void*)(OOC_INT64)name,name_0d);
990 goto l22;
991 default:
992 _failed_case(i0, 16805);
993 goto l22;
994 }
995 l22:
996 return;
997 ;
998 }
999
OOC_Doc__MarkedInlineDesc_Normalize(OOC_Doc__MarkedInline mi)1000 void OOC_Doc__MarkedInlineDesc_Normalize(OOC_Doc__MarkedInline mi) {
1001 register OOC_INT64 i0;
1002
1003 i0 = (OOC_INT64)mi;
1004 OOC_Doc__NormalizeInlineList((void*)((_check_pointer(i0, 17708))+32));
1005 return;
1006 ;
1007 }
1008
OOC_Doc__MarkedInlineDesc_StripHeadWS(OOC_Doc__MarkedInline mi)1009 void OOC_Doc__MarkedInlineDesc_StripHeadWS(OOC_Doc__MarkedInline mi) {
1010 register OOC_INT64 i0,i1;
1011
1012 i0 = (OOC_INT64)mi;
1013 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 17796))+32);
1014 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 17796))+32);
1015 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i1, 17808)))), OOC_Doc__InlineElementDesc_StripHeadWS)),OOC_Doc__InlineElementDesc_StripHeadWS)((OOC_Doc__InlineElement)i0);
1016 return;
1017 ;
1018 }
1019
OOC_Doc__MarkedInlineDesc_StripTailWS(OOC_Doc__MarkedInline mi)1020 void OOC_Doc__MarkedInlineDesc_StripTailWS(OOC_Doc__MarkedInline mi) {
1021 register OOC_INT64 i0;
1022 OOC_Doc__InlineElement last;
1023
1024 i0 = (OOC_INT64)mi;
1025 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 17956))+32);
1026 i0 = (OOC_INT64)OOC_Doc__LastInlineElement((OOC_Doc__InlineElement)i0);
1027 last = (OOC_Doc__InlineElement)i0;
1028 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 17979)))), OOC_Doc__InlineElementDesc_StripTailWS)),OOC_Doc__InlineElementDesc_StripTailWS)((OOC_Doc__InlineElement)i0);
1029 return;
1030 ;
1031 }
1032
OOC_Doc__MarkedInlineDesc_Store(OOC_Doc__MarkedInline mi,ADT_Storable__Writer w)1033 void OOC_Doc__MarkedInlineDesc_Store(OOC_Doc__MarkedInline mi, ADT_Storable__Writer w) {
1034 register OOC_INT64 i0,i1,i2;
1035
1036 i0 = (OOC_INT64)w;
1037 i1 = (OOC_INT64)mi;
1038 OOC_Doc__InlineElementDesc_Store((OOC_Doc__InlineElement)i1, (ADT_Storable__Writer)i0);
1039 i2 = *(OOC_INT32*)((_check_pointer(i1, 18134))+24);
1040 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 18120)))), IO_BinaryRider__WriterDesc_WriteNum)),IO_BinaryRider__WriterDesc_WriteNum)((IO_BinaryRider__Writer)i0, i2);
1041 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 18165))+32);
1042 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 18148)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i1);
1043 return;
1044 ;
1045 }
1046
OOC_Doc__MarkedInlineDesc_Load(OOC_Doc__MarkedInline mi,ADT_Storable__Reader r)1047 void OOC_Doc__MarkedInlineDesc_Load(OOC_Doc__MarkedInline mi, ADT_Storable__Reader r) {
1048 register OOC_INT64 i0,i1,i2;
1049 Object__Object obj;
1050
1051 i0 = (OOC_INT64)r;
1052 i1 = (OOC_INT64)mi;
1053 OOC_Doc__InlineElementDesc_Load((OOC_Doc__InlineElement)i1, (ADT_Storable__Reader)i0);
1054 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 18328)))), IO_BinaryRider__ReaderDesc_ReadNum)),IO_BinaryRider__ReaderDesc_ReadNum)((IO_BinaryRider__Reader)i0, (void*)((_check_pointer(i1, 18341))+24));
1055 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 18355)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1056 i0 = (OOC_INT64)obj;
1057 i2 = i0==(OOC_INT64)0;
1058 if (i2) goto l3;
1059 *(OOC_INT64*)((_check_pointer(i1, 18444))+32) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 18464)))), &_td_OOC_Doc__InlineElementDesc, 18464));
1060 goto l4;
1061 l3:
1062 *(OOC_INT64*)((_check_pointer(i1, 18407))+32) = (OOC_INT64)0;
1063 l4:
1064 return;
1065 ;
1066 }
1067
OOC_Doc__InitOberonRef(OOC_Doc__OberonRef or,OOC_INT32 mark,OOC_Doc__InlineElement inlineText,ADT_Storable__Object target)1068 static void OOC_Doc__InitOberonRef(OOC_Doc__OberonRef or, OOC_INT32 mark, OOC_Doc__InlineElement inlineText, ADT_Storable__Object target) {
1069 register OOC_INT64 i0,i1,i2;
1070
1071 i0 = (OOC_INT64)inlineText;
1072 i1 = mark;
1073 i2 = (OOC_INT64)or;
1074 OOC_Doc__InitMarkedInline((OOC_Doc__MarkedInline)i2, i1, (OOC_Doc__InlineElement)i0);
1075 i0 = (OOC_INT64)target;
1076 *(OOC_INT64*)((_check_pointer(i2, 18718))+40) = i0;
1077 *(OOC_INT64*)((_check_pointer(i2, 18744))+48) = (OOC_INT64)0;
1078 *(OOC_INT64*)((_check_pointer(i2, 18775))+56) = (OOC_INT64)0;
1079 return;
1080 ;
1081 }
1082
OOC_Doc__NewOberonRef(OOC_INT32 mark,OOC_Doc__InlineElement inlineText,ADT_Storable__Object target)1083 OOC_Doc__MarkedInline OOC_Doc__NewOberonRef(OOC_INT32 mark, OOC_Doc__InlineElement inlineText, ADT_Storable__Object target) {
1084 register OOC_INT64 i0,i1,i2,i3;
1085
1086 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__OberonRef.baseTypes[0]);
1087 i1 = (OOC_INT64)target;
1088 i2 = (OOC_INT64)inlineText;
1089 i3 = mark;
1090 OOC_Doc__InitOberonRef((OOC_Doc__OberonRef)i0, i3, (OOC_Doc__InlineElement)i2, (ADT_Storable__Object)i1);
1091 return (OOC_Doc__MarkedInline)i0;
1092 ;
1093 }
1094
OOC_Doc__OberonRefDesc_SetTarget(OOC_Doc__OberonRef or,ADT_Storable__Object targetDecl)1095 void OOC_Doc__OberonRefDesc_SetTarget(OOC_Doc__OberonRef or, ADT_Storable__Object targetDecl) {
1096 register OOC_INT64 i0,i1;
1097
1098 i0 = (OOC_INT64)or;
1099 i1 = (OOC_INT64)targetDecl;
1100 *(OOC_INT64*)((_check_pointer(i0, 19164))+40) = i1;
1101 return;
1102 ;
1103 }
1104
OOC_Doc__OberonRefDesc_SetExternalTarget(OOC_Doc__OberonRef or,OOC_Scanner_InputBuffer__CharArray module,OOC_Scanner_InputBuffer__CharArray id)1105 void OOC_Doc__OberonRefDesc_SetExternalTarget(OOC_Doc__OberonRef or, OOC_Scanner_InputBuffer__CharArray module, OOC_Scanner_InputBuffer__CharArray id) {
1106 register OOC_INT64 i0,i1;
1107
1108 i0 = (OOC_INT64)or;
1109 i1 = (OOC_INT64)module;
1110 *(OOC_INT64*)((_check_pointer(i0, 19301))+48) = i1;
1111 i1 = (OOC_INT64)id;
1112 *(OOC_INT64*)((_check_pointer(i0, 19335))+56) = i1;
1113 return;
1114 ;
1115 }
1116
OOC_Doc__OberonRefDesc_Store(OOC_Doc__OberonRef or,ADT_Storable__Writer w)1117 void OOC_Doc__OberonRefDesc_Store(OOC_Doc__OberonRef or, ADT_Storable__Writer w) {
1118 register OOC_INT64 i0,i1;
1119
1120 i0 = (OOC_INT64)w;
1121 i1 = (OOC_INT64)or;
1122 OOC_Doc__MarkedInlineDesc_Store((OOC_Doc__MarkedInline)i1, (ADT_Storable__Writer)i0);
1123 return;
1124 ;
1125 }
1126
OOC_Doc__OberonRefDesc_Load(OOC_Doc__OberonRef or,ADT_Storable__Reader r)1127 void OOC_Doc__OberonRefDesc_Load(OOC_Doc__OberonRef or, ADT_Storable__Reader r) {
1128 register OOC_INT64 i0,i1;
1129
1130 i0 = (OOC_INT64)r;
1131 i1 = (OOC_INT64)or;
1132 OOC_Doc__MarkedInlineDesc_Load((OOC_Doc__MarkedInline)i1, (ADT_Storable__Reader)i0);
1133 *(OOC_INT64*)((_check_pointer(i1, 19656))+40) = (OOC_INT64)0;
1134 *(OOC_INT64*)((_check_pointer(i1, 19679))+48) = (OOC_INT64)0;
1135 *(OOC_INT64*)((_check_pointer(i1, 19710))+56) = (OOC_INT64)0;
1136 return;
1137 ;
1138 }
1139
OOC_Doc__InitEmail(OOC_Doc__Email email,OOC_Doc__InlineElement address,OOC_Doc__InlineElement displayed)1140 static void OOC_Doc__InitEmail(OOC_Doc__Email email, OOC_Doc__InlineElement address, OOC_Doc__InlineElement displayed) {
1141 register OOC_INT64 i0,i1;
1142
1143 i0 = (OOC_INT64)email;
1144 OOC_Doc__InitInlineElement((OOC_Doc__InlineElement)i0);
1145 i1 = (OOC_INT64)address;
1146 *(OOC_INT64*)((_check_pointer(i0, 19863))+24) = i1;
1147 i1 = (OOC_INT64)displayed;
1148 *(OOC_INT64*)((_check_pointer(i0, 19894))+32) = i1;
1149 return;
1150 ;
1151 }
1152
OOC_Doc__NewEmail(OOC_Doc__InlineElement address,OOC_Doc__InlineElement displayed)1153 OOC_Doc__Email OOC_Doc__NewEmail(OOC_Doc__InlineElement address, OOC_Doc__InlineElement displayed) {
1154 register OOC_INT64 i0,i1,i2;
1155
1156 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__Email.baseTypes[0]);
1157 i1 = (OOC_INT64)displayed;
1158 i2 = (OOC_INT64)address;
1159 OOC_Doc__InitEmail((OOC_Doc__Email)i0, (OOC_Doc__InlineElement)i2, (OOC_Doc__InlineElement)i1);
1160 return (OOC_Doc__Email)i0;
1161 ;
1162 }
1163
OOC_Doc__EmailDesc_NodeName(OOC_Doc__Email email,OOC_CHAR8 name[],OOC_LEN name_0d)1164 void OOC_Doc__EmailDesc_NodeName(OOC_Doc__Email email, OOC_CHAR8 name[], OOC_LEN name_0d) {
1165
1166 _copy_8((const void*)(OOC_CHAR8*)"email",(void*)(OOC_INT64)name,name_0d);
1167 return;
1168 ;
1169 }
1170
OOC_Doc__EmailDesc_Normalize(OOC_Doc__Email email)1171 void OOC_Doc__EmailDesc_Normalize(OOC_Doc__Email email) {
1172 register OOC_INT64 i0,i1;
1173
1174 i0 = (OOC_INT64)email;
1175 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 20307))+24);
1176 OOC_Doc__NormalizeArg((OOC_Doc__InlineElement)i1);
1177 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 20342))+32);
1178 OOC_Doc__NormalizeArg((OOC_Doc__InlineElement)i0);
1179 return;
1180 ;
1181 }
1182
OOC_Doc__EmailDesc_Store(OOC_Doc__Email email,ADT_Storable__Writer w)1183 void OOC_Doc__EmailDesc_Store(OOC_Doc__Email email, ADT_Storable__Writer w) {
1184 register OOC_INT64 i0,i1,i2;
1185
1186 i0 = (OOC_INT64)w;
1187 i1 = (OOC_INT64)email;
1188 OOC_Doc__InlineElementDesc_Store((OOC_Doc__InlineElement)i1, (ADT_Storable__Writer)i0);
1189 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 20499))+24);
1190 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 20479)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i2);
1191 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 20536))+32);
1192 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 20516)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i1);
1193 return;
1194 ;
1195 }
1196
OOC_Doc__EmailDesc_Load(OOC_Doc__Email email,ADT_Storable__Reader r)1197 void OOC_Doc__EmailDesc_Load(OOC_Doc__Email email, ADT_Storable__Reader r) {
1198 register OOC_INT64 i0,i1,i2,i3;
1199 Object__Object obj;
1200
1201 i0 = (OOC_INT64)r;
1202 i1 = (OOC_INT64)email;
1203 OOC_Doc__InlineElementDesc_Load((OOC_Doc__InlineElement)i1, (ADT_Storable__Reader)i0);
1204 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 20697)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1205 i2 = (OOC_INT64)obj;
1206 i3 = i2==(OOC_INT64)0;
1207 if (i3) goto l3;
1208 *(OOC_INT64*)((_check_pointer(i1, 20789))+24) = (_type_guard(i2, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i2, 20806)))), &_td_OOC_Doc__InlineElementDesc, 20806));
1209 goto l4;
1210 l3:
1211 *(OOC_INT64*)((_check_pointer(i1, 20752))+24) = (OOC_INT64)0;
1212 l4:
1213 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 20835)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1214 i0 = (OOC_INT64)obj;
1215 i2 = i0==(OOC_INT64)0;
1216 if (i2) goto l7;
1217 *(OOC_INT64*)((_check_pointer(i1, 20929))+32) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 20948)))), &_td_OOC_Doc__InlineElementDesc, 20948));
1218 goto l8;
1219 l7:
1220 *(OOC_INT64*)((_check_pointer(i1, 20890))+32) = (OOC_INT64)0;
1221 l8:
1222 return;
1223 ;
1224 }
1225
OOC_Doc__InitUref(OOC_Doc__Uref uref,OOC_Doc__InlineElement url,OOC_Doc__InlineElement text,OOC_Doc__InlineElement replacement)1226 static void OOC_Doc__InitUref(OOC_Doc__Uref uref, OOC_Doc__InlineElement url, OOC_Doc__InlineElement text, OOC_Doc__InlineElement replacement) {
1227 register OOC_INT64 i0,i1;
1228
1229 i0 = (OOC_INT64)uref;
1230 OOC_Doc__InitInlineElement((OOC_Doc__InlineElement)i0);
1231 i1 = (OOC_INT64)url;
1232 *(OOC_INT64*)((_check_pointer(i0, 21103))+24) = i1;
1233 i1 = (OOC_INT64)text;
1234 *(OOC_INT64*)((_check_pointer(i0, 21125))+32) = i1;
1235 i1 = (OOC_INT64)replacement;
1236 *(OOC_INT64*)((_check_pointer(i0, 21149))+40) = i1;
1237 return;
1238 ;
1239 }
1240
OOC_Doc__NewUref(OOC_Doc__InlineElement url,OOC_Doc__InlineElement text,OOC_Doc__InlineElement replacement)1241 OOC_Doc__Uref OOC_Doc__NewUref(OOC_Doc__InlineElement url, OOC_Doc__InlineElement text, OOC_Doc__InlineElement replacement) {
1242 register OOC_INT64 i0,i1,i2,i3;
1243
1244 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__Uref.baseTypes[0]);
1245 i1 = (OOC_INT64)replacement;
1246 i2 = (OOC_INT64)text;
1247 i3 = (OOC_INT64)url;
1248 OOC_Doc__InitUref((OOC_Doc__Uref)i0, (OOC_Doc__InlineElement)i3, (OOC_Doc__InlineElement)i2, (OOC_Doc__InlineElement)i1);
1249 return (OOC_Doc__Uref)i0;
1250 ;
1251 }
1252
OOC_Doc__UrefDesc_NodeName(OOC_Doc__Uref uref,OOC_CHAR8 name[],OOC_LEN name_0d)1253 void OOC_Doc__UrefDesc_NodeName(OOC_Doc__Uref uref, OOC_CHAR8 name[], OOC_LEN name_0d) {
1254
1255 _copy_8((const void*)(OOC_CHAR8*)"uref",(void*)(OOC_INT64)name,name_0d);
1256 return;
1257 ;
1258 }
1259
OOC_Doc__UrefDesc_Normalize(OOC_Doc__Uref uref)1260 void OOC_Doc__UrefDesc_Normalize(OOC_Doc__Uref uref) {
1261 register OOC_INT64 i0,i1;
1262
1263 i0 = (OOC_INT64)uref;
1264 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 21558))+24);
1265 OOC_Doc__NormalizeArg((OOC_Doc__InlineElement)i1);
1266 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 21588))+32);
1267 OOC_Doc__NormalizeArg((OOC_Doc__InlineElement)i1);
1268 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 21619))+40);
1269 OOC_Doc__NormalizeArg((OOC_Doc__InlineElement)i0);
1270 return;
1271 ;
1272 }
1273
OOC_Doc__UrefDesc_Store(OOC_Doc__Uref uref,ADT_Storable__Writer w)1274 void OOC_Doc__UrefDesc_Store(OOC_Doc__Uref uref, ADT_Storable__Writer w) {
1275 register OOC_INT64 i0,i1,i2;
1276
1277 i0 = (OOC_INT64)w;
1278 i1 = (OOC_INT64)uref;
1279 OOC_Doc__InlineElementDesc_Store((OOC_Doc__InlineElement)i1, (ADT_Storable__Writer)i0);
1280 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 21774))+24);
1281 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 21755)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i2);
1282 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 21806))+32);
1283 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 21787)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i2);
1284 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 21839))+40);
1285 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 21820)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i1);
1286 return;
1287 ;
1288 }
1289
OOC_Doc__UrefDesc_Load(OOC_Doc__Uref uref,ADT_Storable__Reader r)1290 void OOC_Doc__UrefDesc_Load(OOC_Doc__Uref uref, ADT_Storable__Reader r) {
1291 register OOC_INT64 i0,i1,i2,i3;
1292 Object__Object obj;
1293
1294 i0 = (OOC_INT64)r;
1295 i1 = (OOC_INT64)uref;
1296 OOC_Doc__InlineElementDesc_Load((OOC_Doc__InlineElement)i1, (ADT_Storable__Reader)i0);
1297 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 22000)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1298 i2 = (OOC_INT64)obj;
1299 i3 = i2==(OOC_INT64)0;
1300 if (i3) goto l3;
1301 *(OOC_INT64*)((_check_pointer(i1, 22086))+24) = (_type_guard(i2, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i2, 22099)))), &_td_OOC_Doc__InlineElementDesc, 22099));
1302 goto l4;
1303 l3:
1304 *(OOC_INT64*)((_check_pointer(i1, 22054))+24) = (OOC_INT64)0;
1305 l4:
1306 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 22128)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1307 i2 = (OOC_INT64)obj;
1308 i3 = i2==(OOC_INT64)0;
1309 if (i3) goto l7;
1310 *(OOC_INT64*)((_check_pointer(i1, 22215))+32) = (_type_guard(i2, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i2, 22229)))), &_td_OOC_Doc__InlineElementDesc, 22229));
1311 goto l8;
1312 l7:
1313 *(OOC_INT64*)((_check_pointer(i1, 22182))+32) = (OOC_INT64)0;
1314 l8:
1315 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 22258)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1316 i0 = (OOC_INT64)obj;
1317 i2 = i0==(OOC_INT64)0;
1318 if (i2) goto l11;
1319 *(OOC_INT64*)((_check_pointer(i1, 22352))+40) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 22373)))), &_td_OOC_Doc__InlineElementDesc, 22373));
1320 goto l12;
1321 l11:
1322 *(OOC_INT64*)((_check_pointer(i1, 22312))+40) = (OOC_INT64)0;
1323 l12:
1324 return;
1325 ;
1326 }
1327
OOC_Doc__InitParagraph(OOC_Doc__Paragraph p,OOC_CHAR8 padAfter,OOC_Doc__InlineElement inlineText,OOC_CHAR8 noIndent)1328 static void OOC_Doc__InitParagraph(OOC_Doc__Paragraph p, OOC_CHAR8 padAfter, OOC_Doc__InlineElement inlineText, OOC_CHAR8 noIndent) {
1329 register OOC_INT64 i0,i1;
1330
1331 i0 = padAfter;
1332 i1 = (OOC_INT64)p;
1333 OOC_Doc__InitBlockElement((OOC_Doc__BlockElement)i1, i0);
1334 i0 = (OOC_INT64)inlineText;
1335 *(OOC_INT64*)((_check_pointer(i1, 22565))+32) = i0;
1336 i0 = noIndent;
1337 *(OOC_UINT8*)((_check_pointer(i1, 22598))+40) = i0;
1338 return;
1339 ;
1340 }
1341
OOC_Doc__NewParagraph(OOC_CHAR8 padAfter,OOC_Doc__InlineElement inlineText,OOC_CHAR8 noIndent)1342 OOC_Doc__Paragraph OOC_Doc__NewParagraph(OOC_CHAR8 padAfter, OOC_Doc__InlineElement inlineText, OOC_CHAR8 noIndent) {
1343 register OOC_INT64 i0,i1,i2,i3;
1344
1345 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__Paragraph.baseTypes[0]);
1346 i1 = noIndent;
1347 i2 = (OOC_INT64)inlineText;
1348 i3 = padAfter;
1349 OOC_Doc__InitParagraph((OOC_Doc__Paragraph)i0, i3, (OOC_Doc__InlineElement)i2, i1);
1350 return (OOC_Doc__Paragraph)i0;
1351 ;
1352 }
1353
OOC_Doc__ParagraphDesc_NodeName(OOC_Doc__Paragraph p,OOC_CHAR8 name[],OOC_LEN name_0d)1354 void OOC_Doc__ParagraphDesc_NodeName(OOC_Doc__Paragraph p, OOC_CHAR8 name[], OOC_LEN name_0d) {
1355
1356 _copy_8((const void*)(OOC_CHAR8*)"p",(void*)(OOC_INT64)name,name_0d);
1357 return;
1358 ;
1359 }
1360
OOC_Doc__ParagraphDesc_Normalize(OOC_Doc__Paragraph p)1361 void OOC_Doc__ParagraphDesc_Normalize(OOC_Doc__Paragraph p) {
1362 register OOC_INT64 i0,i1;
1363
1364 i0 = (OOC_INT64)p;
1365 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 23056))+32);
1366 OOC_Doc__StripInlineListWS((OOC_Doc__InlineElement)i1);
1367 OOC_Doc__NormalizeInlineList((void*)((_check_pointer(i0, 23097))+32));
1368 return;
1369 ;
1370 }
1371
OOC_Doc__ParagraphDesc_Store(OOC_Doc__Paragraph p,ADT_Storable__Writer w)1372 void OOC_Doc__ParagraphDesc_Store(OOC_Doc__Paragraph p, ADT_Storable__Writer w) {
1373 register OOC_INT64 i0,i1,i2;
1374
1375 i0 = (OOC_INT64)w;
1376 i1 = (OOC_INT64)p;
1377 OOC_Doc__BlockElementDesc_Store((OOC_Doc__BlockElement)i1, (ADT_Storable__Writer)i0);
1378 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 23247))+32);
1379 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 23231)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i2);
1380 i1 = *(OOC_UINT8*)((_check_pointer(i1, 23281))+40);
1381 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 23267)))), IO_BinaryRider__WriterDesc_WriteBool)),IO_BinaryRider__WriterDesc_WriteBool)((IO_BinaryRider__Writer)i0, i1);
1382 return;
1383 ;
1384 }
1385
OOC_Doc__ParagraphDesc_Load(OOC_Doc__Paragraph p,ADT_Storable__Reader r)1386 void OOC_Doc__ParagraphDesc_Load(OOC_Doc__Paragraph p, ADT_Storable__Reader r) {
1387 register OOC_INT64 i0,i1,i2,i3;
1388 Object__Object obj;
1389
1390 i0 = (OOC_INT64)r;
1391 i1 = (OOC_INT64)p;
1392 OOC_Doc__BlockElementDesc_Load((OOC_Doc__BlockElement)i1, (ADT_Storable__Reader)i0);
1393 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 23437)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1394 i2 = (OOC_INT64)obj;
1395 i3 = i2==(OOC_INT64)0;
1396 if (i3) goto l3;
1397 *(OOC_INT64*)((_check_pointer(i1, 23524))+32) = (_type_guard(i2, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i2, 23544)))), &_td_OOC_Doc__InlineElementDesc, 23544));
1398 goto l4;
1399 l3:
1400 *(OOC_INT64*)((_check_pointer(i1, 23488))+32) = (OOC_INT64)0;
1401 l4:
1402 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 23573)))), IO_BinaryRider__ReaderDesc_ReadBool)),IO_BinaryRider__ReaderDesc_ReadBool)((IO_BinaryRider__Reader)i0, (void*)((_check_pointer(i1, 23586))+40));
1403 return;
1404 ;
1405 }
1406
OOC_Doc__InitExample(OOC_Doc__Example ex,OOC_CHAR8 padAfter,OOC_Doc__InlineElement inlineText)1407 static void OOC_Doc__InitExample(OOC_Doc__Example ex, OOC_CHAR8 padAfter, OOC_Doc__InlineElement inlineText) {
1408 register OOC_INT64 i0,i1;
1409
1410 i0 = padAfter;
1411 i1 = (OOC_INT64)ex;
1412 OOC_Doc__InitBlockElement((OOC_Doc__BlockElement)i1, i0);
1413 i0 = (OOC_INT64)inlineText;
1414 *(OOC_INT64*)((_check_pointer(i1, 23746))+32) = i0;
1415 return;
1416 ;
1417 }
1418
OOC_Doc__NewExample(OOC_CHAR8 padAfter,OOC_Doc__InlineElement inlineText)1419 OOC_Doc__Example OOC_Doc__NewExample(OOC_CHAR8 padAfter, OOC_Doc__InlineElement inlineText) {
1420 register OOC_INT64 i0,i1,i2;
1421
1422 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__Example.baseTypes[0]);
1423 i1 = (OOC_INT64)inlineText;
1424 i2 = padAfter;
1425 OOC_Doc__InitExample((OOC_Doc__Example)i0, i2, (OOC_Doc__InlineElement)i1);
1426 return (OOC_Doc__Example)i0;
1427 ;
1428 }
1429
OOC_Doc__ExampleDesc_NodeName(OOC_Doc__Example ex,OOC_CHAR8 name[],OOC_LEN name_0d)1430 void OOC_Doc__ExampleDesc_NodeName(OOC_Doc__Example ex, OOC_CHAR8 name[], OOC_LEN name_0d) {
1431
1432 _copy_8((const void*)(OOC_CHAR8*)"example",(void*)(OOC_INT64)name,name_0d);
1433 return;
1434 ;
1435 }
1436
OOC_Doc__ExampleDesc_Normalize(OOC_Doc__Example ex)1437 void OOC_Doc__ExampleDesc_Normalize(OOC_Doc__Example ex) {
1438
1439 return;
1440 ;
1441 }
1442
OOC_Doc__ExampleDesc_Store(OOC_Doc__Example ex,ADT_Storable__Writer w)1443 void OOC_Doc__ExampleDesc_Store(OOC_Doc__Example ex, ADT_Storable__Writer w) {
1444 register OOC_INT64 i0,i1;
1445
1446 i0 = (OOC_INT64)w;
1447 i1 = (OOC_INT64)ex;
1448 OOC_Doc__BlockElementDesc_Store((OOC_Doc__BlockElement)i1, (ADT_Storable__Writer)i0);
1449 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 24280))+32);
1450 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 24263)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i1);
1451 return;
1452 ;
1453 }
1454
OOC_Doc__ExampleDesc_Load(OOC_Doc__Example ex,ADT_Storable__Reader r)1455 void OOC_Doc__ExampleDesc_Load(OOC_Doc__Example ex, ADT_Storable__Reader r) {
1456 register OOC_INT64 i0,i1,i2;
1457 Object__Object obj;
1458
1459 i0 = (OOC_INT64)r;
1460 i1 = (OOC_INT64)ex;
1461 OOC_Doc__BlockElementDesc_Load((OOC_Doc__BlockElement)i1, (ADT_Storable__Reader)i0);
1462 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 24438)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1463 i0 = (OOC_INT64)obj;
1464 i2 = i0==(OOC_INT64)0;
1465 if (i2) goto l3;
1466 *(OOC_INT64*)((_check_pointer(i1, 24527))+32) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 24547)))), &_td_OOC_Doc__InlineElementDesc, 24547));
1467 goto l4;
1468 l3:
1469 *(OOC_INT64*)((_check_pointer(i1, 24490))+32) = (OOC_INT64)0;
1470 l4:
1471 return;
1472 ;
1473 }
1474
OOC_Doc__InitPreCond(OOC_Doc__PreCond pc,OOC_CHAR8 padAfter,OOC_Doc__BlockElement blockList)1475 static void OOC_Doc__InitPreCond(OOC_Doc__PreCond pc, OOC_CHAR8 padAfter, OOC_Doc__BlockElement blockList) {
1476 register OOC_INT64 i0,i1;
1477
1478 i0 = padAfter;
1479 i1 = (OOC_INT64)pc;
1480 OOC_Doc__InitBlockElement((OOC_Doc__BlockElement)i1, i0);
1481 i0 = (OOC_INT64)blockList;
1482 *(OOC_INT64*)((_check_pointer(i1, 24716))+32) = i0;
1483 return;
1484 ;
1485 }
1486
OOC_Doc__NewPreCond(OOC_CHAR8 padAfter,OOC_Doc__BlockElement blockList)1487 OOC_Doc__PreCond OOC_Doc__NewPreCond(OOC_CHAR8 padAfter, OOC_Doc__BlockElement blockList) {
1488 register OOC_INT64 i0,i1,i2;
1489
1490 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__PreCond.baseTypes[0]);
1491 i1 = (OOC_INT64)blockList;
1492 i2 = padAfter;
1493 OOC_Doc__InitPreCond((OOC_Doc__PreCond)i0, i2, (OOC_Doc__BlockElement)i1);
1494 return (OOC_Doc__PreCond)i0;
1495 ;
1496 }
1497
OOC_Doc__PreCondDesc_NodeName(OOC_Doc__PreCond pc,OOC_CHAR8 name[],OOC_LEN name_0d)1498 void OOC_Doc__PreCondDesc_NodeName(OOC_Doc__PreCond pc, OOC_CHAR8 name[], OOC_LEN name_0d) {
1499
1500 _copy_8((const void*)(OOC_CHAR8*)"pre-cond",(void*)(OOC_INT64)name,name_0d);
1501 return;
1502 ;
1503 }
1504
OOC_Doc__PreCondDesc_Normalize(OOC_Doc__PreCond pc)1505 void OOC_Doc__PreCondDesc_Normalize(OOC_Doc__PreCond pc) {
1506 register OOC_INT64 i0;
1507
1508 i0 = (OOC_INT64)pc;
1509 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 25143))+32);
1510 OOC_Doc__NormalizeBlockList((OOC_Doc__BlockElement)i0);
1511 return;
1512 ;
1513 }
1514
OOC_Doc__PreCondDesc_Store(OOC_Doc__PreCond pc,ADT_Storable__Writer w)1515 void OOC_Doc__PreCondDesc_Store(OOC_Doc__PreCond pc, ADT_Storable__Writer w) {
1516 register OOC_INT64 i0,i1;
1517
1518 i0 = (OOC_INT64)w;
1519 i1 = (OOC_INT64)pc;
1520 OOC_Doc__BlockElementDesc_Store((OOC_Doc__BlockElement)i1, (ADT_Storable__Writer)i0);
1521 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 25293))+32);
1522 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 25276)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i1);
1523 return;
1524 ;
1525 }
1526
OOC_Doc__PreCondDesc_Load(OOC_Doc__PreCond pc,ADT_Storable__Reader r)1527 void OOC_Doc__PreCondDesc_Load(OOC_Doc__PreCond pc, ADT_Storable__Reader r) {
1528 register OOC_INT64 i0,i1,i2;
1529 Object__Object obj;
1530
1531 i0 = (OOC_INT64)r;
1532 i1 = (OOC_INT64)pc;
1533 OOC_Doc__BlockElementDesc_Load((OOC_Doc__BlockElement)i1, (ADT_Storable__Reader)i0);
1534 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 25450)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1535 i0 = (OOC_INT64)obj;
1536 i2 = i0==(OOC_INT64)0;
1537 if (i2) goto l3;
1538 *(OOC_INT64*)((_check_pointer(i1, 25538))+32) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 25557)))), &_td_OOC_Doc__BlockElementDesc, 25557));
1539 goto l4;
1540 l3:
1541 *(OOC_INT64*)((_check_pointer(i1, 25502))+32) = (OOC_INT64)0;
1542 l4:
1543 return;
1544 ;
1545 }
1546
OOC_Doc__InitPostCond(OOC_Doc__PostCond pc,OOC_CHAR8 padAfter,OOC_Doc__BlockElement blockList)1547 static void OOC_Doc__InitPostCond(OOC_Doc__PostCond pc, OOC_CHAR8 padAfter, OOC_Doc__BlockElement blockList) {
1548 register OOC_INT64 i0,i1;
1549
1550 i0 = padAfter;
1551 i1 = (OOC_INT64)pc;
1552 OOC_Doc__InitBlockElement((OOC_Doc__BlockElement)i1, i0);
1553 i0 = (OOC_INT64)blockList;
1554 *(OOC_INT64*)((_check_pointer(i1, 25727))+32) = i0;
1555 return;
1556 ;
1557 }
1558
OOC_Doc__NewPostCond(OOC_CHAR8 padAfter,OOC_Doc__BlockElement blockList)1559 OOC_Doc__PostCond OOC_Doc__NewPostCond(OOC_CHAR8 padAfter, OOC_Doc__BlockElement blockList) {
1560 register OOC_INT64 i0,i1,i2;
1561
1562 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__PostCond.baseTypes[0]);
1563 i1 = (OOC_INT64)blockList;
1564 i2 = padAfter;
1565 OOC_Doc__InitPostCond((OOC_Doc__PostCond)i0, i2, (OOC_Doc__BlockElement)i1);
1566 return (OOC_Doc__PostCond)i0;
1567 ;
1568 }
1569
OOC_Doc__PostCondDesc_NodeName(OOC_Doc__PostCond pc,OOC_CHAR8 name[],OOC_LEN name_0d)1570 void OOC_Doc__PostCondDesc_NodeName(OOC_Doc__PostCond pc, OOC_CHAR8 name[], OOC_LEN name_0d) {
1571
1572 _copy_8((const void*)(OOC_CHAR8*)"post-cond",(void*)(OOC_INT64)name,name_0d);
1573 return;
1574 ;
1575 }
1576
OOC_Doc__PostCondDesc_Normalize(OOC_Doc__PostCond pc)1577 void OOC_Doc__PostCondDesc_Normalize(OOC_Doc__PostCond pc) {
1578 register OOC_INT64 i0;
1579
1580 i0 = (OOC_INT64)pc;
1581 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 26163))+32);
1582 OOC_Doc__NormalizeBlockList((OOC_Doc__BlockElement)i0);
1583 return;
1584 ;
1585 }
1586
OOC_Doc__PostCondDesc_Store(OOC_Doc__PostCond pc,ADT_Storable__Writer w)1587 void OOC_Doc__PostCondDesc_Store(OOC_Doc__PostCond pc, ADT_Storable__Writer w) {
1588 register OOC_INT64 i0,i1;
1589
1590 i0 = (OOC_INT64)w;
1591 i1 = (OOC_INT64)pc;
1592 OOC_Doc__BlockElementDesc_Store((OOC_Doc__BlockElement)i1, (ADT_Storable__Writer)i0);
1593 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 26314))+32);
1594 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 26297)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i1);
1595 return;
1596 ;
1597 }
1598
OOC_Doc__PostCondDesc_Load(OOC_Doc__PostCond pc,ADT_Storable__Reader r)1599 void OOC_Doc__PostCondDesc_Load(OOC_Doc__PostCond pc, ADT_Storable__Reader r) {
1600 register OOC_INT64 i0,i1,i2;
1601 Object__Object obj;
1602
1603 i0 = (OOC_INT64)r;
1604 i1 = (OOC_INT64)pc;
1605 OOC_Doc__BlockElementDesc_Load((OOC_Doc__BlockElement)i1, (ADT_Storable__Reader)i0);
1606 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 26472)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1607 i0 = (OOC_INT64)obj;
1608 i2 = i0==(OOC_INT64)0;
1609 if (i2) goto l3;
1610 *(OOC_INT64*)((_check_pointer(i1, 26560))+32) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 26579)))), &_td_OOC_Doc__BlockElementDesc, 26579));
1611 goto l4;
1612 l3:
1613 *(OOC_INT64*)((_check_pointer(i1, 26524))+32) = (OOC_INT64)0;
1614 l4:
1615 return;
1616 ;
1617 }
1618
OOC_Doc__InitItem(OOC_Doc__Item item,OOC_CHAR8 padAfter,OOC_Doc__BlockElement blockList)1619 static void OOC_Doc__InitItem(OOC_Doc__Item item, OOC_CHAR8 padAfter, OOC_Doc__BlockElement blockList) {
1620 register OOC_INT64 i0,i1;
1621
1622 i0 = padAfter;
1623 i1 = (OOC_INT64)item;
1624 OOC_Doc__InitBlockElement((OOC_Doc__BlockElement)i1, i0);
1625 i0 = (OOC_INT64)blockList;
1626 *(OOC_INT64*)((_check_pointer(i1, 26747))+32) = i0;
1627 return;
1628 ;
1629 }
1630
OOC_Doc__NewItem(OOC_CHAR8 padAfter,OOC_Doc__BlockElement blockList)1631 OOC_Doc__Item OOC_Doc__NewItem(OOC_CHAR8 padAfter, OOC_Doc__BlockElement blockList) {
1632 register OOC_INT64 i0,i1,i2;
1633
1634 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__Item.baseTypes[0]);
1635 i1 = (OOC_INT64)blockList;
1636 i2 = padAfter;
1637 OOC_Doc__InitItem((OOC_Doc__Item)i0, i2, (OOC_Doc__BlockElement)i1);
1638 return (OOC_Doc__Item)i0;
1639 ;
1640 }
1641
OOC_Doc__ItemDesc_NodeName(OOC_Doc__Item item,OOC_CHAR8 name[],OOC_LEN name_0d)1642 void OOC_Doc__ItemDesc_NodeName(OOC_Doc__Item item, OOC_CHAR8 name[], OOC_LEN name_0d) {
1643
1644 _copy_8((const void*)(OOC_CHAR8*)"item",(void*)(OOC_INT64)name,name_0d);
1645 return;
1646 ;
1647 }
1648
OOC_Doc__ItemDesc_Normalize(OOC_Doc__Item item)1649 void OOC_Doc__ItemDesc_Normalize(OOC_Doc__Item item) {
1650 register OOC_INT64 i0,i1;
1651
1652 i0 = (OOC_INT64)item;
1653 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 27161))+32);
1654 OOC_Doc__NormalizeBlockList((OOC_Doc__BlockElement)i1);
1655 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 27201))+32);
1656 OOC_Doc__NoPadLastElement((OOC_Doc__BlockElement)i1);
1657 *(OOC_UINT8*)((_check_pointer(i0, 27223))+24) = 1u;
1658 return;
1659 ;
1660 }
1661
OOC_Doc__ItemDesc_Store(OOC_Doc__Item item,ADT_Storable__Writer w)1662 void OOC_Doc__ItemDesc_Store(OOC_Doc__Item item, ADT_Storable__Writer w) {
1663 register OOC_INT64 i0,i1;
1664
1665 i0 = (OOC_INT64)w;
1666 i1 = (OOC_INT64)item;
1667 OOC_Doc__BlockElementDesc_Store((OOC_Doc__BlockElement)i1, (ADT_Storable__Writer)i0);
1668 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 27382))+32);
1669 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 27363)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i1);
1670 return;
1671 ;
1672 }
1673
OOC_Doc__ItemDesc_Load(OOC_Doc__Item item,ADT_Storable__Reader r)1674 void OOC_Doc__ItemDesc_Load(OOC_Doc__Item item, ADT_Storable__Reader r) {
1675 register OOC_INT64 i0,i1,i2;
1676 Object__Object obj;
1677
1678 i0 = (OOC_INT64)r;
1679 i1 = (OOC_INT64)item;
1680 OOC_Doc__BlockElementDesc_Load((OOC_Doc__BlockElement)i1, (ADT_Storable__Reader)i0);
1681 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 27540)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1682 i0 = (OOC_INT64)obj;
1683 i2 = i0==(OOC_INT64)0;
1684 if (i2) goto l3;
1685 *(OOC_INT64*)((_check_pointer(i1, 27632))+32) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 27651)))), &_td_OOC_Doc__BlockElementDesc, 27651));
1686 goto l4;
1687 l3:
1688 *(OOC_INT64*)((_check_pointer(i1, 27594))+32) = (OOC_INT64)0;
1689 l4:
1690 return;
1691 ;
1692 }
1693
OOC_Doc__InitItemize(OOC_Doc__Itemize i,OOC_CHAR8 padAfter,OOC_Doc__InlineElement mark,OOC_Doc__Item text,OOC_Doc__BlockElement itemList)1694 static void OOC_Doc__InitItemize(OOC_Doc__Itemize i, OOC_CHAR8 padAfter, OOC_Doc__InlineElement mark, OOC_Doc__Item text, OOC_Doc__BlockElement itemList) {
1695 register OOC_INT64 i0,i1;
1696
1697 i0 = padAfter;
1698 i1 = (OOC_INT64)i;
1699 OOC_Doc__InitBlockElement((OOC_Doc__BlockElement)i1, i0);
1700 i0 = (OOC_INT64)mark;
1701 *(OOC_INT64*)((_check_pointer(i1, 27871))+32) = i0;
1702 i0 = (OOC_INT64)text;
1703 *(OOC_INT64*)((_check_pointer(i1, 27892))+40) = i0;
1704 i0 = (OOC_INT64)itemList;
1705 *(OOC_INT64*)((_check_pointer(i1, 27913))+48) = i0;
1706 return;
1707 ;
1708 }
1709
OOC_Doc__NewItemize(OOC_CHAR8 padAfter,OOC_Doc__InlineElement mark,OOC_Doc__Item text,OOC_Doc__BlockElement itemList)1710 OOC_Doc__Itemize OOC_Doc__NewItemize(OOC_CHAR8 padAfter, OOC_Doc__InlineElement mark, OOC_Doc__Item text, OOC_Doc__BlockElement itemList) {
1711 register OOC_INT64 i0,i1,i2,i3,i4;
1712
1713 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__Itemize.baseTypes[0]);
1714 i1 = (OOC_INT64)itemList;
1715 i2 = (OOC_INT64)text;
1716 i3 = (OOC_INT64)mark;
1717 i4 = padAfter;
1718 OOC_Doc__InitItemize((OOC_Doc__Itemize)i0, i4, (OOC_Doc__InlineElement)i3, (OOC_Doc__Item)i2, (OOC_Doc__BlockElement)i1);
1719 return (OOC_Doc__Itemize)i0;
1720 ;
1721 }
1722
OOC_Doc__ItemizeDesc_NodeName(OOC_Doc__Itemize i,OOC_CHAR8 name[],OOC_LEN name_0d)1723 void OOC_Doc__ItemizeDesc_NodeName(OOC_Doc__Itemize i, OOC_CHAR8 name[], OOC_LEN name_0d) {
1724
1725 _copy_8((const void*)(OOC_CHAR8*)"itemize",(void*)(OOC_INT64)name,name_0d);
1726 return;
1727 ;
1728 }
1729
OOC_Doc__ItemizeDesc_Normalize(OOC_Doc__Itemize i)1730 void OOC_Doc__ItemizeDesc_Normalize(OOC_Doc__Itemize i) {
1731 register OOC_INT64 i0,i1;
1732
1733 i0 = (OOC_INT64)i;
1734 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 28396))+32);
1735 OOC_Doc__StripInlineListWS((OOC_Doc__InlineElement)i1);
1736 OOC_Doc__NormalizeInlineList((void*)((_check_pointer(i0, 28431))+32));
1737 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 28449))+40);
1738 i1 = i1!=(OOC_INT64)0;
1739 if (!i1) goto l4;
1740 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 28475))+40);
1741 OOC_Doc__ItemDesc_Normalize((OOC_Doc__Item)i1);
1742 l4:
1743 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 28527))+48);
1744 OOC_Doc__NormalizeBlockList((OOC_Doc__BlockElement)i1);
1745 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 28563))+48);
1746 OOC_Doc__NoPadLastElement((OOC_Doc__BlockElement)i0);
1747 return;
1748 ;
1749 }
1750
OOC_Doc__ItemizeDesc_Store(OOC_Doc__Itemize i,ADT_Storable__Writer w)1751 void OOC_Doc__ItemizeDesc_Store(OOC_Doc__Itemize i, ADT_Storable__Writer w) {
1752 register OOC_INT64 i0,i1,i2;
1753
1754 i0 = (OOC_INT64)w;
1755 i1 = (OOC_INT64)i;
1756 OOC_Doc__BlockElementDesc_Store((OOC_Doc__BlockElement)i1, (ADT_Storable__Writer)i0);
1757 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 28709))+32);
1758 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 28693)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i2);
1759 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 28739))+40);
1760 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 28723)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i2);
1761 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 28769))+48);
1762 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 28753)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i1);
1763 return;
1764 ;
1765 }
1766
OOC_Doc__ItemizeDesc_Load(OOC_Doc__Itemize i,ADT_Storable__Reader r)1767 void OOC_Doc__ItemizeDesc_Load(OOC_Doc__Itemize i, ADT_Storable__Reader r) {
1768 register OOC_INT64 i0,i1,i2,i3;
1769 Object__Object obj;
1770
1771 i0 = (OOC_INT64)r;
1772 i1 = (OOC_INT64)i;
1773 OOC_Doc__BlockElementDesc_Load((OOC_Doc__BlockElement)i1, (ADT_Storable__Reader)i0);
1774 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 28923)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1775 i2 = (OOC_INT64)obj;
1776 i3 = i2==(OOC_INT64)0;
1777 if (i3) goto l3;
1778 *(OOC_INT64*)((_check_pointer(i1, 29004))+32) = (_type_guard(i2, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i2, 29018)))), &_td_OOC_Doc__InlineElementDesc, 29018));
1779 goto l4;
1780 l3:
1781 *(OOC_INT64*)((_check_pointer(i1, 28974))+32) = (OOC_INT64)0;
1782 l4:
1783 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 29047)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1784 i2 = (OOC_INT64)obj;
1785 i3 = i2==(OOC_INT64)0;
1786 if (i3) goto l7;
1787 *(OOC_INT64*)((_check_pointer(i1, 29128))+40) = (_type_guard(i2, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i2, 29142)))), &_td_OOC_Doc__ItemDesc, 29142));
1788 goto l8;
1789 l7:
1790 *(OOC_INT64*)((_check_pointer(i1, 29098))+40) = (OOC_INT64)0;
1791 l8:
1792 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 29162)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1793 i0 = (OOC_INT64)obj;
1794 i2 = i0==(OOC_INT64)0;
1795 if (i2) goto l11;
1796 *(OOC_INT64*)((_check_pointer(i1, 29247))+48) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 29265)))), &_td_OOC_Doc__BlockElementDesc, 29265));
1797 goto l12;
1798 l11:
1799 *(OOC_INT64*)((_check_pointer(i1, 29213))+48) = (OOC_INT64)0;
1800 l12:
1801 return;
1802 ;
1803 }
1804
OOC_Doc__InitEnumerate(OOC_Doc__Enumerate e,OOC_CHAR8 padAfter,OOC_INT8 mode,OOC_INT32 start,OOC_Doc__Item text,OOC_Doc__BlockElement itemList)1805 static void OOC_Doc__InitEnumerate(OOC_Doc__Enumerate e, OOC_CHAR8 padAfter, OOC_INT8 mode, OOC_INT32 start, OOC_Doc__Item text, OOC_Doc__BlockElement itemList) {
1806 register OOC_INT64 i0,i1;
1807
1808 i0 = padAfter;
1809 i1 = (OOC_INT64)e;
1810 OOC_Doc__InitBlockElement((OOC_Doc__BlockElement)i1, i0);
1811 i0 = mode;
1812 *(OOC_INT8*)((_check_pointer(i1, 29528))+32) = i0;
1813 i0 = start;
1814 *(OOC_INT32*)((_check_pointer(i1, 29549))+36) = i0;
1815 i0 = (OOC_INT64)text;
1816 *(OOC_INT64*)((_check_pointer(i1, 29572))+40) = i0;
1817 i0 = (OOC_INT64)itemList;
1818 *(OOC_INT64*)((_check_pointer(i1, 29593))+48) = i0;
1819 return;
1820 ;
1821 }
1822
OOC_Doc__NewEnumerate(OOC_CHAR8 padAfter,OOC_INT8 mode,OOC_INT32 start,OOC_Doc__Item text,OOC_Doc__BlockElement itemList)1823 OOC_Doc__Enumerate OOC_Doc__NewEnumerate(OOC_CHAR8 padAfter, OOC_INT8 mode, OOC_INT32 start, OOC_Doc__Item text, OOC_Doc__BlockElement itemList) {
1824 register OOC_INT64 i0,i1,i2,i3,i4,i5;
1825
1826 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__Enumerate.baseTypes[0]);
1827 i1 = (OOC_INT64)itemList;
1828 i2 = (OOC_INT64)text;
1829 i3 = start;
1830 i4 = mode;
1831 i5 = padAfter;
1832 OOC_Doc__InitEnumerate((OOC_Doc__Enumerate)i0, i5, i4, i3, (OOC_Doc__Item)i2, (OOC_Doc__BlockElement)i1);
1833 return (OOC_Doc__Enumerate)i0;
1834 ;
1835 }
1836
OOC_Doc__EnumerateDesc_NodeName(OOC_Doc__Enumerate e,OOC_CHAR8 name[],OOC_LEN name_0d)1837 void OOC_Doc__EnumerateDesc_NodeName(OOC_Doc__Enumerate e, OOC_CHAR8 name[], OOC_LEN name_0d) {
1838
1839 _copy_8((const void*)(OOC_CHAR8*)"enumerate",(void*)(OOC_INT64)name,name_0d);
1840 return;
1841 ;
1842 }
1843
OOC_Doc__EnumerateDesc_Normalize(OOC_Doc__Enumerate e)1844 void OOC_Doc__EnumerateDesc_Normalize(OOC_Doc__Enumerate e) {
1845 register OOC_INT64 i0,i1;
1846
1847 i0 = (OOC_INT64)e;
1848 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 30100))+40);
1849 i1 = i1!=(OOC_INT64)0;
1850 if (!i1) goto l4;
1851 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 30126))+40);
1852 OOC_Doc__ItemDesc_Normalize((OOC_Doc__Item)i1);
1853 l4:
1854 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 30178))+48);
1855 OOC_Doc__NormalizeBlockList((OOC_Doc__BlockElement)i1);
1856 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 30214))+48);
1857 OOC_Doc__NoPadLastElement((OOC_Doc__BlockElement)i0);
1858 return;
1859 ;
1860 }
1861
OOC_Doc__EnumerateDesc_Store(OOC_Doc__Enumerate e,ADT_Storable__Writer w)1862 void OOC_Doc__EnumerateDesc_Store(OOC_Doc__Enumerate e, ADT_Storable__Writer w) {
1863 register OOC_INT64 i0,i1,i2;
1864
1865 i0 = (OOC_INT64)w;
1866 i1 = (OOC_INT64)e;
1867 OOC_Doc__BlockElementDesc_Store((OOC_Doc__BlockElement)i1, (ADT_Storable__Writer)i0);
1868 i2 = *(OOC_INT8*)((_check_pointer(i1, 30360))+32);
1869 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 30346)))), IO_BinaryRider__WriterDesc_WriteSInt)),IO_BinaryRider__WriterDesc_WriteSInt)((IO_BinaryRider__Writer)i0, i2);
1870 i2 = *(OOC_INT32*)((_check_pointer(i1, 30387))+36);
1871 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 30374)))), IO_BinaryRider__WriterDesc_WriteNum)),IO_BinaryRider__WriterDesc_WriteNum)((IO_BinaryRider__Writer)i0, i2);
1872 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 30418))+40);
1873 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 30402)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i2);
1874 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 30448))+48);
1875 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 30432)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i1);
1876 return;
1877 ;
1878 }
1879
OOC_Doc__EnumerateDesc_Load(OOC_Doc__Enumerate e,ADT_Storable__Reader r)1880 void OOC_Doc__EnumerateDesc_Load(OOC_Doc__Enumerate e, ADT_Storable__Reader r) {
1881 register OOC_INT64 i0,i1,i2,i3;
1882 Object__Object obj;
1883
1884 i0 = (OOC_INT64)r;
1885 i1 = (OOC_INT64)e;
1886 OOC_Doc__BlockElementDesc_Load((OOC_Doc__BlockElement)i1, (ADT_Storable__Reader)i0);
1887 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 30604)))), IO_BinaryRider__ReaderDesc_ReadSInt)),IO_BinaryRider__ReaderDesc_ReadSInt)((IO_BinaryRider__Reader)i0, (void*)((_check_pointer(i1, 30617))+32));
1888 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 30631)))), IO_BinaryRider__ReaderDesc_ReadNum)),IO_BinaryRider__ReaderDesc_ReadNum)((IO_BinaryRider__Reader)i0, (void*)((_check_pointer(i1, 30643))+36));
1889 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 30658)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1890 i2 = (OOC_INT64)obj;
1891 i3 = i2==(OOC_INT64)0;
1892 if (i3) goto l3;
1893 *(OOC_INT64*)((_check_pointer(i1, 30739))+40) = (_type_guard(i2, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i2, 30753)))), &_td_OOC_Doc__ItemDesc, 30753));
1894 goto l4;
1895 l3:
1896 *(OOC_INT64*)((_check_pointer(i1, 30709))+40) = (OOC_INT64)0;
1897 l4:
1898 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 30773)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1899 i0 = (OOC_INT64)obj;
1900 i2 = i0==(OOC_INT64)0;
1901 if (i2) goto l7;
1902 *(OOC_INT64*)((_check_pointer(i1, 30858))+48) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 30876)))), &_td_OOC_Doc__BlockElementDesc, 30876));
1903 goto l8;
1904 l7:
1905 *(OOC_INT64*)((_check_pointer(i1, 30824))+48) = (OOC_INT64)0;
1906 l8:
1907 return;
1908 ;
1909 }
1910
OOC_Doc__InitFirstColumn(OOC_Doc__FirstColumn fc,OOC_CHAR8 padAfter,OOC_Doc__InlineElement inlineText)1911 static void OOC_Doc__InitFirstColumn(OOC_Doc__FirstColumn fc, OOC_CHAR8 padAfter, OOC_Doc__InlineElement inlineText) {
1912 register OOC_INT64 i0,i1;
1913
1914 i0 = padAfter;
1915 i1 = (OOC_INT64)fc;
1916 OOC_Doc__InitBlockElement((OOC_Doc__BlockElement)i1, i0);
1917 i0 = (OOC_INT64)inlineText;
1918 *(OOC_INT64*)((_check_pointer(i1, 31055))+32) = i0;
1919 return;
1920 ;
1921 }
1922
OOC_Doc__NewFirstColumn(OOC_CHAR8 padAfter,OOC_Doc__InlineElement inlineText)1923 OOC_Doc__FirstColumn OOC_Doc__NewFirstColumn(OOC_CHAR8 padAfter, OOC_Doc__InlineElement inlineText) {
1924 register OOC_INT64 i0,i1,i2;
1925
1926 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__FirstColumn.baseTypes[0]);
1927 i1 = (OOC_INT64)inlineText;
1928 i2 = padAfter;
1929 OOC_Doc__InitFirstColumn((OOC_Doc__FirstColumn)i0, i2, (OOC_Doc__InlineElement)i1);
1930 return (OOC_Doc__FirstColumn)i0;
1931 ;
1932 }
1933
OOC_Doc__FirstColumnDesc_NodeName(OOC_Doc__FirstColumn fc,OOC_CHAR8 name[],OOC_LEN name_0d)1934 void OOC_Doc__FirstColumnDesc_NodeName(OOC_Doc__FirstColumn fc, OOC_CHAR8 name[], OOC_LEN name_0d) {
1935
1936 _copy_8((const void*)(OOC_CHAR8*)"table-first-column",(void*)(OOC_INT64)name,name_0d);
1937 return;
1938 ;
1939 }
1940
OOC_Doc__FirstColumnDesc_Normalize(OOC_Doc__FirstColumn fc)1941 void OOC_Doc__FirstColumnDesc_Normalize(OOC_Doc__FirstColumn fc) {
1942 register OOC_INT64 i0,i1;
1943
1944 i0 = (OOC_INT64)fc;
1945 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 31528))+32);
1946 OOC_Doc__StripInlineListWS((OOC_Doc__InlineElement)i1);
1947 OOC_Doc__NormalizeInlineList((void*)((_check_pointer(i0, 31570))+32));
1948 *(OOC_UINT8*)((_check_pointer(i0, 31591))+24) = 0u;
1949 return;
1950 ;
1951 }
1952
OOC_Doc__FirstColumnDesc_Store(OOC_Doc__FirstColumn fc,ADT_Storable__Writer w)1953 void OOC_Doc__FirstColumnDesc_Store(OOC_Doc__FirstColumn fc, ADT_Storable__Writer w) {
1954 register OOC_INT64 i0,i1;
1955
1956 i0 = (OOC_INT64)w;
1957 i1 = (OOC_INT64)fc;
1958 OOC_Doc__BlockElementDesc_Store((OOC_Doc__BlockElement)i1, (ADT_Storable__Writer)i0);
1959 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 31752))+32);
1960 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 31735)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i1);
1961 return;
1962 ;
1963 }
1964
OOC_Doc__FirstColumnDesc_Load(OOC_Doc__FirstColumn fc,ADT_Storable__Reader r)1965 void OOC_Doc__FirstColumnDesc_Load(OOC_Doc__FirstColumn fc, ADT_Storable__Reader r) {
1966 register OOC_INT64 i0,i1,i2;
1967 Object__Object obj;
1968
1969 i0 = (OOC_INT64)r;
1970 i1 = (OOC_INT64)fc;
1971 OOC_Doc__BlockElementDesc_Load((OOC_Doc__BlockElement)i1, (ADT_Storable__Reader)i0);
1972 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 31914)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
1973 i0 = (OOC_INT64)obj;
1974 i2 = i0==(OOC_INT64)0;
1975 if (i2) goto l3;
1976 *(OOC_INT64*)((_check_pointer(i1, 32003))+32) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 32023)))), &_td_OOC_Doc__InlineElementDesc, 32023));
1977 goto l4;
1978 l3:
1979 *(OOC_INT64*)((_check_pointer(i1, 31966))+32) = (OOC_INT64)0;
1980 l4:
1981 return;
1982 ;
1983 }
1984
OOC_Doc__InitTableRow(OOC_Doc__TableRow tr,OOC_CHAR8 padAfter,OOC_Doc__BlockElement firstColumnList,OOC_Doc__Item item)1985 static void OOC_Doc__InitTableRow(OOC_Doc__TableRow tr, OOC_CHAR8 padAfter, OOC_Doc__BlockElement firstColumnList, OOC_Doc__Item item) {
1986 register OOC_INT64 i0,i1;
1987
1988 i0 = padAfter;
1989 i1 = (OOC_INT64)tr;
1990 OOC_Doc__InitBlockElement((OOC_Doc__BlockElement)i1, i0);
1991 i0 = (OOC_INT64)firstColumnList;
1992 *(OOC_INT64*)((_check_pointer(i1, 32236))+32) = i0;
1993 i0 = (OOC_INT64)item;
1994 *(OOC_INT64*)((_check_pointer(i1, 32280))+40) = i0;
1995 return;
1996 ;
1997 }
1998
OOC_Doc__NewTableRow(OOC_CHAR8 padAfter,OOC_Doc__BlockElement firstColumnList,OOC_Doc__Item item)1999 OOC_Doc__TableRow OOC_Doc__NewTableRow(OOC_CHAR8 padAfter, OOC_Doc__BlockElement firstColumnList, OOC_Doc__Item item) {
2000 register OOC_INT64 i0,i1,i2,i3;
2001
2002 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__TableRow.baseTypes[0]);
2003 i1 = (OOC_INT64)item;
2004 i2 = (OOC_INT64)firstColumnList;
2005 i3 = padAfter;
2006 OOC_Doc__InitTableRow((OOC_Doc__TableRow)i0, i3, (OOC_Doc__BlockElement)i2, (OOC_Doc__Item)i1);
2007 return (OOC_Doc__TableRow)i0;
2008 ;
2009 }
2010
OOC_Doc__TableRowDesc_NodeName(OOC_Doc__TableRow tr,OOC_CHAR8 name[],OOC_LEN name_0d)2011 void OOC_Doc__TableRowDesc_NodeName(OOC_Doc__TableRow tr, OOC_CHAR8 name[], OOC_LEN name_0d) {
2012
2013 _copy_8((const void*)(OOC_CHAR8*)"table-row",(void*)(OOC_INT64)name,name_0d);
2014 return;
2015 ;
2016 }
2017
OOC_Doc__TableRowDesc_Normalize(OOC_Doc__TableRow tr)2018 void OOC_Doc__TableRowDesc_Normalize(OOC_Doc__TableRow tr) {
2019 register OOC_INT64 i0,i1;
2020
2021 i0 = (OOC_INT64)tr;
2022 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 32762))+32);
2023 OOC_Doc__NormalizeBlockList((OOC_Doc__BlockElement)i1);
2024 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 32788))+40);
2025 OOC_Doc__ItemDesc_Normalize((OOC_Doc__Item)i1);
2026 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 32813))+40);
2027 *(OOC_UINT8*)((_check_pointer(i1, 32819))+24) = 0u;
2028 *(OOC_UINT8*)((_check_pointer(i0, 32846))+24) = 1u;
2029 return;
2030 ;
2031 }
2032
OOC_Doc__TableRowDesc_Store(OOC_Doc__TableRow tr,ADT_Storable__Writer w)2033 void OOC_Doc__TableRowDesc_Store(OOC_Doc__TableRow tr, ADT_Storable__Writer w) {
2034 register OOC_INT64 i0,i1,i2;
2035
2036 i0 = (OOC_INT64)w;
2037 i1 = (OOC_INT64)tr;
2038 OOC_Doc__BlockElementDesc_Store((OOC_Doc__BlockElement)i1, (ADT_Storable__Writer)i0);
2039 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 33003))+32);
2040 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 32986)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i2);
2041 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 33045))+40);
2042 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 33028)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i1);
2043 return;
2044 ;
2045 }
2046
OOC_Doc__TableRowDesc_Load(OOC_Doc__TableRow tr,ADT_Storable__Reader r)2047 void OOC_Doc__TableRowDesc_Load(OOC_Doc__TableRow tr, ADT_Storable__Reader r) {
2048 register OOC_INT64 i0,i1,i2,i3;
2049 Object__Object obj;
2050
2051 i0 = (OOC_INT64)r;
2052 i1 = (OOC_INT64)tr;
2053 OOC_Doc__BlockElementDesc_Load((OOC_Doc__BlockElement)i1, (ADT_Storable__Reader)i0);
2054 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 33199)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
2055 i2 = (OOC_INT64)obj;
2056 i3 = i2==(OOC_INT64)0;
2057 if (i3) goto l3;
2058 *(OOC_INT64*)((_check_pointer(i1, 33293))+32) = (_type_guard(i2, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i2, 33318)))), &_td_OOC_Doc__BlockElementDesc, 33318));
2059 goto l4;
2060 l3:
2061 *(OOC_INT64*)((_check_pointer(i1, 33251))+32) = (OOC_INT64)0;
2062 l4:
2063 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 33346)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
2064 i0 = (OOC_INT64)obj;
2065 i2 = i0==(OOC_INT64)0;
2066 if (i2) goto l7;
2067 *(OOC_INT64*)((_check_pointer(i1, 33429))+40) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 33443)))), &_td_OOC_Doc__ItemDesc, 33443));
2068 goto l8;
2069 l7:
2070 *(OOC_INT64*)((_check_pointer(i1, 33398))+40) = (OOC_INT64)0;
2071 l8:
2072 return;
2073 ;
2074 }
2075
OOC_Doc__InitTable(OOC_Doc__Table t,OOC_CHAR8 padAfter,OOC_Doc__BlockElement rowList)2076 static void OOC_Doc__InitTable(OOC_Doc__Table t, OOC_CHAR8 padAfter, OOC_Doc__BlockElement rowList) {
2077 register OOC_INT64 i0,i1;
2078
2079 i0 = padAfter;
2080 i1 = (OOC_INT64)t;
2081 OOC_Doc__InitBlockElement((OOC_Doc__BlockElement)i1, i0);
2082 i0 = (OOC_INT64)rowList;
2083 *(OOC_INT64*)((_check_pointer(i1, 33595))+32) = i0;
2084 return;
2085 ;
2086 }
2087
OOC_Doc__NewTable(OOC_CHAR8 padAfter,OOC_Doc__BlockElement rowList)2088 OOC_Doc__Table OOC_Doc__NewTable(OOC_CHAR8 padAfter, OOC_Doc__BlockElement rowList) {
2089 register OOC_INT64 i0,i1,i2;
2090
2091 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__Table.baseTypes[0]);
2092 i1 = (OOC_INT64)rowList;
2093 i2 = padAfter;
2094 OOC_Doc__InitTable((OOC_Doc__Table)i0, i2, (OOC_Doc__BlockElement)i1);
2095 return (OOC_Doc__Table)i0;
2096 ;
2097 }
2098
OOC_Doc__TableDesc_NodeName(OOC_Doc__Table t,OOC_CHAR8 name[],OOC_LEN name_0d)2099 void OOC_Doc__TableDesc_NodeName(OOC_Doc__Table t, OOC_CHAR8 name[], OOC_LEN name_0d) {
2100
2101 _copy_8((const void*)(OOC_CHAR8*)"table",(void*)(OOC_INT64)name,name_0d);
2102 return;
2103 ;
2104 }
2105
OOC_Doc__TableDesc_Normalize(OOC_Doc__Table t)2106 void OOC_Doc__TableDesc_Normalize(OOC_Doc__Table t) {
2107 register OOC_INT64 i0,i1;
2108
2109 i0 = (OOC_INT64)t;
2110 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 33988))+32);
2111 OOC_Doc__NormalizeBlockList((OOC_Doc__BlockElement)i1);
2112 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 34023))+32);
2113 OOC_Doc__NoPadLastElement((OOC_Doc__BlockElement)i0);
2114 return;
2115 ;
2116 }
2117
OOC_Doc__TableDesc_Store(OOC_Doc__Table t,ADT_Storable__Writer w)2118 void OOC_Doc__TableDesc_Store(OOC_Doc__Table t, ADT_Storable__Writer w) {
2119 register OOC_INT64 i0,i1;
2120
2121 i0 = (OOC_INT64)w;
2122 i1 = (OOC_INT64)t;
2123 OOC_Doc__BlockElementDesc_Store((OOC_Doc__BlockElement)i1, (ADT_Storable__Writer)i0);
2124 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i1, 34166))+32);
2125 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 34150)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i0, (Object__Object)i1);
2126 return;
2127 ;
2128 }
2129
OOC_Doc__TableDesc_Load(OOC_Doc__Table t,ADT_Storable__Reader r)2130 void OOC_Doc__TableDesc_Load(OOC_Doc__Table t, ADT_Storable__Reader r) {
2131 register OOC_INT64 i0,i1,i2;
2132 Object__Object obj;
2133
2134 i0 = (OOC_INT64)r;
2135 i1 = (OOC_INT64)t;
2136 OOC_Doc__BlockElementDesc_Load((OOC_Doc__BlockElement)i1, (ADT_Storable__Reader)i0);
2137 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 34317)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
2138 i0 = (OOC_INT64)obj;
2139 i2 = i0==(OOC_INT64)0;
2140 if (i2) goto l3;
2141 *(OOC_INT64*)((_check_pointer(i1, 34401))+32) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 34418)))), &_td_OOC_Doc__BlockElementDesc, 34418));
2142 goto l4;
2143 l3:
2144 *(OOC_INT64*)((_check_pointer(i1, 34368))+32) = (OOC_INT64)0;
2145 l4:
2146 return;
2147 ;
2148 }
2149
OOC_Doc__ExtractSummary(OOC_Doc__BlockElement block)2150 static OOC_Doc__InlineElement OOC_Doc__ExtractSummary(OOC_Doc__BlockElement block) {
2151 register OOC_INT64 i0,i1;
2152 OOC_CHAR8 done;
2153 auto OOC_Doc__InlineElement OOC_Doc__ExtractSummary_Extract(OOC_Doc__InlineElement inlineList);
2154
2155 OOC_Doc__InlineElement OOC_Doc__ExtractSummary_Extract(OOC_Doc__InlineElement inlineList) {
2156 register OOC_INT64 i0,i1,i2,i3,i4;
2157 OOC_Doc__InlineList resultList;
2158 OOC_Doc__InlineElement _inline;
2159 OOC_Doc__Text newText;
2160 OOC_INT32 i;
2161 auto OOC_INT32 OOC_Doc__ExtractSummary_Extract_EndOfSummary(OOC_CHAR8 str[], OOC_LEN str_0d);
2162
2163 OOC_INT32 OOC_Doc__ExtractSummary_Extract_EndOfSummary(OOC_CHAR8 str[], OOC_LEN str_0d) {
2164 register OOC_INT64 i0,i1;
2165
2166 i = 0;
2167 i0 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(0, str_0d, OOC_UINT32, 34828)));
2168 i0 = i0!=0u;
2169 if (!i0) goto l15;
2170 i0=0;
2171 l3_loop:
2172 i1 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i0, str_0d, OOC_UINT32, 34858)));
2173 i0 = i0+1;
2174 i1 = i1==46u;
2175 if (i1) goto l6;
2176 i1=0u;
2177 goto l8;
2178 l6:
2179 i1 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i0, str_0d, OOC_UINT32, 34875)));
2180 i1 = i1==32u;
2181
2182 l8:
2183 if (!i1) goto l10;
2184 return i0;
2185 l10:
2186 i = i0;
2187 i1 = *(OOC_UINT8*)((OOC_INT64)str+(_check_index(i0, str_0d, OOC_UINT32, 34828)));
2188 i1 = i1!=0u;
2189 if (i1) goto l3_loop;
2190 l15:
2191 return (-1);
2192 ;
2193 }
2194
2195
2196 i0 = (OOC_INT64)OOC_Doc__NewInlineList();
2197 resultList = (OOC_Doc__InlineList)i0;
2198 i0 = (OOC_INT64)inlineList;
2199 _inline = (OOC_Doc__InlineElement)i0;
2200 i1 = i0!=(OOC_INT64)0;
2201 if (i1) goto l3;
2202 i1=0u;
2203 goto l5;
2204 l3:
2205 i1 = done;
2206 i1 = !i1;
2207
2208 l5:
2209 if (!i1) goto l43;
2210 i1 = (OOC_INT64)&_td_OOC_Doc__Position;
2211
2212 l7_loop:
2213 i2 = OOC_TYPE_TEST(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 35141)))), &_td_OOC_Doc__GlyphDesc);
2214 if (i2) goto l33;
2215 i2 = OOC_TYPE_TEST(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 35223)))), &_td_OOC_Doc__TextDesc);
2216 if (i2) goto l28;
2217 i2 = OOC_TYPE_TEST(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 35502)))), &_td_OOC_Doc__OberonRefDesc);
2218 if (i2) goto l26;
2219 i2 = OOC_TYPE_TEST(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 35785)))), &_td_OOC_Doc__MarkedInlineDesc);
2220 if (i2) goto l24;
2221 i2 = OOC_TYPE_TEST(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 35958)))), &_td_OOC_Doc__EmailDesc);
2222 if (i2) goto l22;
2223 i2 = OOC_TYPE_TEST(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 36062)))), &_td_OOC_Doc__UrefDesc);
2224 if (i2) goto l20;
2225 _failed_with(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 36054)))), 36054);
2226 goto l34;
2227 l20:
2228 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 36183))+40);
2229 i3 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 36130))+32);
2230 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 36117))+24);
2231 i0 = (OOC_INT64)OOC_Doc__NewUref((OOC_Doc__InlineElement)i0, (OOC_Doc__InlineElement)i3, (OOC_Doc__InlineElement)i2);
2232 i2 = (OOC_INT64)resultList;
2233 OOC_Doc__InlineListDesc_Append((OOC_Doc__InlineList)i2, (OOC_Doc__InlineElement)i0);
2234 goto l34;
2235 l22:
2236 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 36032))+32);
2237 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 36015))+24);
2238 i0 = (OOC_INT64)OOC_Doc__NewEmail((OOC_Doc__InlineElement)i0, (OOC_Doc__InlineElement)i2);
2239 i2 = (OOC_INT64)resultList;
2240 OOC_Doc__InlineListDesc_Append((OOC_Doc__InlineList)i2, (OOC_Doc__InlineElement)i0);
2241 goto l34;
2242 l24:
2243 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 35926))+32);
2244 i2 = (OOC_INT64)OOC_Doc__ExtractSummary_Extract((OOC_Doc__InlineElement)i2);
2245 i0 = *(OOC_INT32*)((_check_pointer(i0, 35856))+24);
2246 i0 = (OOC_INT64)OOC_Doc__NewMarkedInline(i0, (OOC_Doc__InlineElement)i2);
2247 i2 = (OOC_INT64)resultList;
2248 OOC_Doc__InlineListDesc_Append((OOC_Doc__InlineList)i2, (OOC_Doc__InlineElement)i0);
2249 goto l34;
2250 l26:
2251 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 35699))+40);
2252 i3 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 35634))+32);
2253 i3 = (OOC_INT64)OOC_Doc__ExtractSummary_Extract((OOC_Doc__InlineElement)i3);
2254 i4 = *(OOC_INT32*)((_check_pointer(i0, 35567))+24);
2255 i2 = (OOC_INT64)OOC_Doc__NewOberonRef(i4, (OOC_Doc__InlineElement)i3, (ADT_Storable__Object)i2);
2256 i3 = (OOC_INT64)resultList;
2257 OOC_Doc__InlineListDesc_Append((OOC_Doc__InlineList)i3, (OOC_Doc__InlineElement)i2);
2258 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i3, 35731))+8);
2259 _copy_block((_check_pointer(i0, 35763)),(_check_pointer((_type_guard(i2, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i2, 35738)))), &_td_OOC_Doc__OberonRefDesc, 35738)), 35748)),12);
2260 goto l34;
2261 l28:
2262 i2 = _check_pointer(i0, 35286);
2263 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 35269))+24);
2264 i3 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 35269))+24);
2265 i2 = OOC_ARRAY_LENGTH((_check_pointer(i2, 35277)), 0);
2266 i0 = (OOC_INT64)OOC_Doc__NewText((void*)(_check_pointer(i3, 35277)), i2, (void*)(_check_pointer(i0, 35286)), (RT0__Struct)i1);
2267 newText = (OOC_Doc__Text)i0;
2268 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 35330))+24);
2269 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 35330))+24);
2270 i2 = OOC_ARRAY_LENGTH((_check_pointer(i2, 35338)), 0);
2271 i0 = OOC_Doc__ExtractSummary_Extract_EndOfSummary((void*)(_check_pointer(i0, 35338)), i2);
2272 i = i0;
2273 i2 = i0>=0;
2274 if (!i2) goto l31;
2275 i2 = (OOC_INT64)newText;
2276 i2 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i2, 35388))+24);
2277 i2 = _check_pointer(i2, 35396);
2278 i3 = OOC_ARRAY_LENGTH(i2, 0);
2279 *(OOC_UINT8*)(i2+(_check_index(i0, i3, OOC_UINT32, 35396))) = 0u;
2280 done = 1u;
2281 l31:
2282 i0 = (OOC_INT64)newText;
2283 i2 = (OOC_INT64)resultList;
2284 OOC_Doc__InlineListDesc_Append((OOC_Doc__InlineList)i2, (OOC_Doc__InlineElement)i0);
2285 goto l34;
2286 l33:
2287 i0 = *(OOC_INT32*)((_check_pointer(i0, 35198))+24);
2288 i0 = (OOC_INT64)OOC_Doc__NewGlyph(i0);
2289 i2 = (OOC_INT64)resultList;
2290 OOC_Doc__InlineListDesc_Append((OOC_Doc__InlineList)i2, (OOC_Doc__InlineElement)i0);
2291 l34:
2292 i0 = (OOC_INT64)_inline;
2293 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 36236))+16);
2294 _inline = (OOC_Doc__InlineElement)i0;
2295 i2 = i0!=(OOC_INT64)0;
2296 if (i2) goto l37;
2297 i2=0u;
2298 goto l39;
2299 l37:
2300 i2 = done;
2301 i2 = !i2;
2302
2303 l39:
2304 if (i2) goto l7_loop;
2305 l43:
2306 i0 = (OOC_INT64)resultList;
2307 i0 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 36283));
2308 return (OOC_Doc__InlineElement)i0;
2309 ;
2310 }
2311
2312
2313 i0 = (OOC_INT64)block;
2314 i1 = i0!=(OOC_INT64)0;
2315 if (i1) goto l3;
2316 i1=0u;
2317 goto l5;
2318 l3:
2319 i1 = OOC_TYPE_TEST(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 36348)))), &_td_OOC_Doc__ParagraphDesc);
2320
2321 l5:
2322 if (i1) goto l7;
2323 return (OOC_Doc__InlineElement)(OOC_INT64)0;
2324 goto l8;
2325 l7:
2326 done = 0u;
2327 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer((_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 36416)))), &_td_OOC_Doc__ParagraphDesc, 36416)), 36426))+32);
2328 i0 = (OOC_INT64)OOC_Doc__ExtractSummary_Extract((OOC_Doc__InlineElement)i0);
2329 return (OOC_Doc__InlineElement)i0;
2330 l8:
2331 _failed_function(34464); return 0;
2332 ;
2333 }
2334
OOC_Doc__NewDocument(OOC_Doc__BlockElement blockList,OOC_Doc_Decoration__Decoration decoration,OOC_INT32 firstColumn)2335 OOC_Doc__Document OOC_Doc__NewDocument(OOC_Doc__BlockElement blockList, OOC_Doc_Decoration__Decoration decoration, OOC_INT32 firstColumn) {
2336 register OOC_INT64 i0,i1;
2337 OOC_Doc__Document d;
2338
2339 i0 = (OOC_INT64)RT0__NewObject(_td_OOC_Doc__Document.baseTypes[0]);
2340 d = (OOC_Doc__Document)i0;
2341 i1 = (OOC_INT64)blockList;
2342 *(OOC_INT64*)(_check_pointer(i0, 36712)) = i1;
2343 *(OOC_INT64*)((_check_pointer(i0, 36743))+8) = 0;
2344 i1 = (OOC_INT64)decoration;
2345 *(OOC_INT64*)((_check_pointer(i0, 36766))+16) = i1;
2346 i1 = firstColumn;
2347 *(OOC_INT32*)((_check_pointer(i0, 36799))+24) = i1;
2348 *(OOC_INT64*)((_check_pointer(i0, 36834))+32) = 0;
2349 return (OOC_Doc__Document)i0;
2350 ;
2351 }
2352
OOC_Doc__DocumentDesc_AddUsedImport(OOC_Doc__Document d,ADT_Storable__Object importDecl)2353 void OOC_Doc__DocumentDesc_AddUsedImport(OOC_Doc__Document d, ADT_Storable__Object importDecl) {
2354 register OOC_INT64 i0,i1,i2,i3,i4,i5;
2355 OOC_INT32 i;
2356
2357 i0 = (OOC_INT64)d;
2358 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 37002))+32);
2359 i1 = i1==(OOC_INT64)0;
2360 if (!i1) goto l3;
2361 i1 = (OOC_INT64)ADT_ArrayList__New(2);
2362 *(OOC_INT64*)((_check_pointer(i0, 37039))+32) = i1;
2363 l3:
2364 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 37106))+32);
2365 i = 0;
2366 i1 = *(OOC_INT32*)((_check_pointer(i1, 37123))+8);
2367 i2 = (OOC_INT64)importDecl;
2368 i3 = 0<i1;
2369 if (!i3) goto l14;
2370 i3=0;
2371 l6_loop:
2372 i4 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 37146))+32);
2373 i4 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i4, 37163));
2374 i4 = _check_pointer(i4, 37170);
2375 i5 = OOC_ARRAY_LENGTH(i4, 0);
2376 i4 = (OOC_INT64)*(OOC_INT64*)(i4+(_check_index(i3, i5, OOC_UINT32, 37170))*8);
2377 i4 = i4==i2;
2378 if (!i4) goto l9;
2379 return;
2380 l9:
2381 i3 = i3+1;
2382 i = i3;
2383 i4 = i3<i1;
2384 if (i4) goto l6_loop;
2385 l14:
2386 i1 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 37232))+32);
2387 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 37232))+32);
2388 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i1, 37249)))), ADT_ArrayList__ArrayListDesc_Append)),ADT_ArrayList__ArrayListDesc_Append)((ADT_ArrayList__ArrayList)i0, (Object__Object)i2);
2389 return;
2390 ;
2391 }
2392
OOC_Doc__DocumentDesc_Store(OOC_Doc__Document d,ADT_Storable__Writer w)2393 void OOC_Doc__DocumentDesc_Store(OOC_Doc__Document d, ADT_Storable__Writer w) {
2394 register OOC_INT64 i0,i1,i2;
2395
2396 i0 = (OOC_INT64)d;
2397 i1 = (OOC_INT64)w;
2398 i2 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 37391));
2399 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i1, 37375)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i1, (Object__Object)i2);
2400 i0 = (OOC_INT64)*(OOC_INT64*)((_check_pointer(i0, 37426))+8);
2401 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i1, 37410)))), ADT_Storable__WriterDesc_WriteObject)),ADT_Storable__WriterDesc_WriteObject)((ADT_Storable__Writer)i1, (Object__Object)i0);
2402 return;
2403 ;
2404 }
2405
OOC_Doc__DocumentDesc_Load(OOC_Doc__Document d,ADT_Storable__Reader r)2406 void OOC_Doc__DocumentDesc_Load(OOC_Doc__Document d, ADT_Storable__Reader r) {
2407 register OOC_INT64 i0,i1,i2;
2408 Object__Object obj;
2409
2410 i0 = (OOC_INT64)r;
2411 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 37629)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
2412 i1 = (OOC_INT64)obj;
2413 i2 = i1==(OOC_INT64)0;
2414 if (i2) goto l3;
2415 i2 = (OOC_INT64)d;
2416 *(OOC_INT64*)(_check_pointer(i2, 37715)) = (_type_guard(i1, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i1, 37734)))), &_td_OOC_Doc__BlockElementDesc, 37734));
2417 i1=i2;
2418 goto l4;
2419 l3:
2420 i1 = (OOC_INT64)d;
2421 *(OOC_INT64*)(_check_pointer(i1, 37680)) = (OOC_INT64)0;
2422
2423 l4:
2424 OOC_TBCALL(((OOC_INT64)OOC_TBPROC_ADR(((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 37762)))), ADT_Storable__ReaderDesc_ReadObject)),ADT_Storable__ReaderDesc_ReadObject)((ADT_Storable__Reader)i0, (void*)(OOC_INT64)&obj);
2425 i0 = (OOC_INT64)obj;
2426 i2 = i0==(OOC_INT64)0;
2427 if (i2) goto l7;
2428 *(OOC_INT64*)((_check_pointer(i1, 37846))+8) = (_type_guard(i0, ((OOC_INT64)OOC_TYPE_TAG((_check_pointer(i0, 37863)))), &_td_OOC_Doc__InlineElementDesc, 37863));
2429 goto l8;
2430 l7:
2431 *(OOC_INT64*)((_check_pointer(i1, 37813))+8) = (OOC_INT64)0;
2432 l8:
2433 *(OOC_INT64*)((_check_pointer(i1, 37892))+16) = (OOC_INT64)0;
2434 *(OOC_INT32*)((_check_pointer(i1, 37918))+24) = 0;
2435 *(OOC_INT64*)((_check_pointer(i1, 37943))+32) = (OOC_INT64)0;
2436 return;
2437 ;
2438 }
2439
OOC_Doc__DocumentDesc_Normalize(OOC_Doc__Document doc)2440 void OOC_Doc__DocumentDesc_Normalize(OOC_Doc__Document doc) {
2441 register OOC_INT64 i0,i1;
2442
2443 i0 = (OOC_INT64)doc;
2444 i1 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 38055));
2445 OOC_Doc__NormalizeBlockList((OOC_Doc__BlockElement)i1);
2446 i1 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 38108));
2447 i1 = (OOC_INT64)OOC_Doc__ExtractSummary((OOC_Doc__BlockElement)i1);
2448 *(OOC_INT64*)((_check_pointer(i0, 38076))+8) = i1;
2449 return;
2450 ;
2451 }
2452
OOC_Doc__DocumentDesc_Merge(OOC_Doc__Document doc,OOC_Doc__Document source)2453 void OOC_Doc__DocumentDesc_Merge(OOC_Doc__Document doc, OOC_Doc__Document source) {
2454 register OOC_INT64 i0,i1;
2455 OOC_Doc__BlockElement last;
2456
2457 i0 = (OOC_INT64)doc;
2458 i1 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 38241));
2459 i1 = i1==0;
2460 if (i1) goto l3;
2461 i0 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i0, 38351));
2462 i0 = (OOC_INT64)OOC_Doc__LastBlockElement((OOC_Doc__BlockElement)i0);
2463 last = (OOC_Doc__BlockElement)i0;
2464 i1 = (OOC_INT64)source;
2465 i1 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i1, 38396));
2466 *(OOC_INT64*)((_check_pointer(i0, 38375))+16) = i1;
2467 goto l4;
2468 l3:
2469 i1 = (OOC_INT64)source;
2470 i1 = (OOC_INT64)*(OOC_INT64*)(_check_pointer(i1, 38295));
2471 *(OOC_INT64*)(_check_pointer(i0, 38274)) = i1;
2472 l4:
2473 return;
2474 ;
2475 }
2476
OOC_OOC_Doc_init(void)2477 void OOC_OOC_Doc_init(void) {
2478
2479 return;
2480 ;
2481 }
2482
OOC_OOC_Doc_destroy(void)2483 void OOC_OOC_Doc_destroy(void) {
2484 }
2485
2486 /* --- */
2487