Branch data Line data Source code
1 : : /* do not edit automatically generated by mc from M2MetaError. */
2 : : /* M2MetaError.mod provides a set of high level error routines.
3 : :
4 : : Copyright (C) 2008-2024 Free Software Foundation, Inc.
5 : : Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.
6 : :
7 : : This file is part of GNU Modula-2.
8 : :
9 : : GNU Modula-2 is free software; you can redistribute it and/or modify
10 : : it under the terms of the GNU General Public License as published by
11 : : the Free Software Foundation; either version 3, or (at your option)
12 : : any later version.
13 : :
14 : : GNU Modula-2 is distributed in the hope that it will be useful, but
15 : : WITHOUT ANY WARRANTY; without even the implied warranty of
16 : : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17 : : General Public License for more details.
18 : :
19 : : You should have received a copy of the GNU General Public License
20 : : along with GNU Modula-2; see the file COPYING3. If not see
21 : : <http://www.gnu.org/licenses/>. */
22 : :
23 : : #include "config.h"
24 : : #include "system.h"
25 : : #include "gcc-consolidation.h"
26 : :
27 : : #include <stdbool.h>
28 : : # if !defined (PROC_D)
29 : : # define PROC_D
30 : : typedef void (*PROC_t) (void);
31 : : typedef struct { PROC_t proc; } PROC;
32 : : # endif
33 : :
34 : : # if !defined (TRUE)
35 : : # define TRUE (1==1)
36 : : # endif
37 : :
38 : : # if !defined (FALSE)
39 : : # define FALSE (1==0)
40 : : # endif
41 : :
42 : : # include "GStorage.h"
43 : : # include "Gmcrts.h"
44 : : #include <safe-ctype.h>
45 : : #if defined(__cplusplus)
46 : : # undef NULL
47 : : # define NULL 0
48 : : #endif
49 : : #define _M2MetaError_C
50 : :
51 : : #include "GM2MetaError.h"
52 : : # include "GM2Base.h"
53 : : # include "GNameKey.h"
54 : : # include "GStrLib.h"
55 : : # include "GM2LexBuf.h"
56 : : # include "GM2Error.h"
57 : : # include "GFIO.h"
58 : : # include "GSFIO.h"
59 : : # include "GStringConvert.h"
60 : : # include "GM2Printf.h"
61 : : # include "GM2Options.h"
62 : : # include "GStrCase.h"
63 : : # include "Glibc.h"
64 : : # include "GSYSTEM.h"
65 : : # include "GM2Debug.h"
66 : : # include "GStorage.h"
67 : : # include "GIndexing.h"
68 : : # include "GDynamicStrings.h"
69 : : # include "GSymbolTable.h"
70 : : # include "GM2ColorString.h"
71 : : # include "GM2RTS.h"
72 : :
73 : : # define MaxStack 10
74 : : # define Debugging false
75 : : # define ColorDebug false
76 : : typedef struct M2MetaError_GetTokProcedure_p M2MetaError_GetTokProcedure;
77 : :
78 : : typedef struct M2MetaError_errorBlock_r M2MetaError_errorBlock;
79 : :
80 : : typedef struct M2MetaError__T1_a M2MetaError__T1;
81 : :
82 : : typedef struct M2MetaError__T2_r M2MetaError__T2;
83 : :
84 : : typedef M2MetaError__T2 *M2MetaError_dictionaryEntry;
85 : :
86 : : typedef enum {M2MetaError_none, M2MetaError_error, M2MetaError_warning, M2MetaError_note, M2MetaError_chained, M2MetaError_aborta} M2MetaError_errorType;
87 : :
88 : : typedef enum {M2MetaError_unsetColor, M2MetaError_noColor, M2MetaError_quoteColor, M2MetaError_filenameColor, M2MetaError_errorColor, M2MetaError_warningColor, M2MetaError_noteColor, M2MetaError_keywordColor, M2MetaError_locusColor, M2MetaError_insertColor, M2MetaError_deleteColor, M2MetaError_typeColor, M2MetaError_range1Color, M2MetaError_range2Color} M2MetaError_colorType;
89 : :
90 : : typedef unsigned int (*M2MetaError_GetTokProcedure_t) (unsigned int);
91 : : struct M2MetaError_GetTokProcedure_p { M2MetaError_GetTokProcedure_t proc; };
92 : :
93 : : struct M2MetaError__T1_a { M2MetaError_colorType array[MaxStack+1]; };
94 : : struct M2MetaError__T2_r {
95 : : DynamicStrings_String key;
96 : : DynamicStrings_String value;
97 : : M2MetaError_dictionaryEntry next;
98 : : };
99 : :
100 : : struct M2MetaError_errorBlock_r {
101 : : bool useError;
102 : : M2Error_Error e;
103 : : M2MetaError_errorType type;
104 : : DynamicStrings_String out;
105 : : DynamicStrings_String in;
106 : : unsigned int highplus1;
107 : : int len;
108 : : int ini;
109 : : bool glyph;
110 : : bool chain;
111 : : bool root;
112 : : bool quotes;
113 : : bool positive;
114 : : M2MetaError_colorType currentCol;
115 : : M2MetaError_colorType beginCol;
116 : : M2MetaError_colorType endCol;
117 : : M2MetaError__T1 colorStack;
118 : : unsigned int stackPtr;
119 : : };
120 : :
121 : : static M2Error_Error lastRoot;
122 : : static M2MetaError_colorType lastColor;
123 : : static bool seenAbort;
124 : : static Indexing_Index dictionary;
125 : : static Indexing_Index outputStack;
126 : : static M2MetaError_dictionaryEntry freeEntry;
127 : : extern "C" void M2MetaError_MetaError0 (const char *m_, unsigned int _m_high);
128 : : extern "C" void M2MetaError_MetaError1 (const char *m_, unsigned int _m_high, unsigned int s);
129 : : extern "C" void M2MetaError_MetaError2 (const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2);
130 : : extern "C" void M2MetaError_MetaError3 (const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3);
131 : : extern "C" void M2MetaError_MetaError4 (const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
132 : :
133 : : /*
134 : : wrapErrors -
135 : : */
136 : :
137 : : extern "C" void M2MetaError_MetaErrors1 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s);
138 : :
139 : : /*
140 : : wrapErrors -
141 : : */
142 : :
143 : : extern "C" void M2MetaError_MetaErrors2 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2);
144 : :
145 : : /*
146 : : wrapErrors -
147 : : */
148 : :
149 : : extern "C" void M2MetaError_MetaErrors3 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3);
150 : :
151 : : /*
152 : : wrapErrors -
153 : : */
154 : :
155 : : extern "C" void M2MetaError_MetaErrors4 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
156 : : extern "C" void M2MetaError_MetaErrorT0 (unsigned int tok, const char *m_, unsigned int _m_high);
157 : : extern "C" void M2MetaError_MetaErrorT1 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s);
158 : : extern "C" void M2MetaError_MetaErrorT2 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2);
159 : : extern "C" void M2MetaError_MetaErrorT3 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3);
160 : : extern "C" void M2MetaError_MetaErrorT4 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
161 : :
162 : : /*
163 : : wrapErrors -
164 : : */
165 : :
166 : : extern "C" void M2MetaError_MetaErrorsT1 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s);
167 : :
168 : : /*
169 : : wrapErrors -
170 : : */
171 : :
172 : : extern "C" void M2MetaError_MetaErrorsT2 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2);
173 : :
174 : : /*
175 : : wrapErrors -
176 : : */
177 : :
178 : : extern "C" void M2MetaError_MetaErrorsT3 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3);
179 : :
180 : : /*
181 : : wrapErrors -
182 : : */
183 : :
184 : : extern "C" void M2MetaError_MetaErrorsT4 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
185 : :
186 : : /*
187 : : wrapErrors -
188 : : */
189 : :
190 : : extern "C" void M2MetaError_MetaErrorString0 (DynamicStrings_String m);
191 : :
192 : : /*
193 : : wrapErrors -
194 : : */
195 : :
196 : : extern "C" void M2MetaError_MetaErrorString1 (DynamicStrings_String m, unsigned int s);
197 : :
198 : : /*
199 : : wrapErrors -
200 : : */
201 : :
202 : : extern "C" void M2MetaError_MetaErrorString2 (DynamicStrings_String m, unsigned int s1, unsigned int s2);
203 : :
204 : : /*
205 : : wrapErrors -
206 : : */
207 : :
208 : : extern "C" void M2MetaError_MetaErrorString3 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3);
209 : :
210 : : /*
211 : : wrapErrors -
212 : : */
213 : :
214 : : extern "C" void M2MetaError_MetaErrorString4 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
215 : : extern "C" void M2MetaError_MetaErrorStringT0 (unsigned int tok, DynamicStrings_String m);
216 : : extern "C" void M2MetaError_MetaErrorStringT1 (unsigned int tok, DynamicStrings_String m, unsigned int s);
217 : : extern "C" void M2MetaError_MetaErrorStringT2 (unsigned int tok, DynamicStrings_String m, unsigned int s1, unsigned int s2);
218 : : extern "C" void M2MetaError_MetaErrorStringT3 (unsigned int tok, DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3);
219 : : extern "C" void M2MetaError_MetaErrorStringT4 (unsigned int tok, DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
220 : :
221 : : /*
222 : : MetaErrorN1 -
223 : : */
224 : :
225 : : extern "C" void M2MetaError_MetaErrorN1 (const char *m_, unsigned int _m_high, NameKey_Name n);
226 : :
227 : : /*
228 : : MetaErrorN2 -
229 : : */
230 : :
231 : : extern "C" void M2MetaError_MetaErrorN2 (const char *m_, unsigned int _m_high, NameKey_Name n1, NameKey_Name n2);
232 : :
233 : : /*
234 : : MetaErrorNT0 - generate an error message at tok using format.
235 : : */
236 : :
237 : : extern "C" void M2MetaError_MetaErrorNT0 (unsigned int tok, const char *format_, unsigned int _format_high);
238 : :
239 : : /*
240 : : MetaErrorNT1 - generate an error message at tok using format and name.
241 : : The format should contain %a for name substitution.
242 : : */
243 : :
244 : : extern "C" void M2MetaError_MetaErrorNT1 (unsigned int tok, const char *format_, unsigned int _format_high, NameKey_Name name);
245 : : extern "C" void M2MetaError_MetaErrorNT2 (unsigned int tok, const char *format_, unsigned int _format_high, NameKey_Name name1, NameKey_Name name2);
246 : :
247 : : /*
248 : : wrapString - return a string which has been formatted with the specifier codes.
249 : : Color is disabled. The result string is returned.
250 : : */
251 : :
252 : : extern "C" DynamicStrings_String M2MetaError_MetaString0 (DynamicStrings_String m);
253 : :
254 : : /*
255 : : wrapString - return a string which has been formatted with the specifier codes.
256 : : Color is disabled. The result string is returned.
257 : : */
258 : :
259 : : extern "C" DynamicStrings_String M2MetaError_MetaString1 (DynamicStrings_String m, unsigned int s);
260 : :
261 : : /*
262 : : wrapString - return a string which has been formatted with the specifier codes.
263 : : Color is disabled. The result string is returned.
264 : : */
265 : :
266 : : extern "C" DynamicStrings_String M2MetaError_MetaString2 (DynamicStrings_String m, unsigned int s1, unsigned int s2);
267 : :
268 : : /*
269 : : wrapString - return a string which has been formatted with the specifier codes.
270 : : Color is disabled. The result string is returned.
271 : : */
272 : :
273 : : extern "C" DynamicStrings_String M2MetaError_MetaString3 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3);
274 : :
275 : : /*
276 : : wrapString - return a string which has been formatted with the specifier codes.
277 : : Color is disabled. The result string is returned.
278 : : */
279 : :
280 : : extern "C" DynamicStrings_String M2MetaError_MetaString4 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
281 : :
282 : : /*
283 : : MetaErrorDecl - if sym is a variable or parameter then generate a
284 : : declaration error or warning message. If error is
285 : : FALSE then a warning is issued.
286 : : */
287 : :
288 : : extern "C" void M2MetaError_MetaErrorDecl (unsigned int sym, bool error);
289 : :
290 : : /*
291 : : pushOutput -
292 : : */
293 : :
294 : : static void pushOutput (M2MetaError_errorBlock *eb);
295 : :
296 : : /*
297 : : readWord - reads and returns a word delimited by '}' it uses '%' as
298 : : the escape character.
299 : : */
300 : :
301 : : static DynamicStrings_String readWord (M2MetaError_errorBlock *eb);
302 : :
303 : : /*
304 : : addEntry -
305 : : */
306 : :
307 : : static void addEntry (DynamicStrings_String key, DynamicStrings_String value);
308 : :
309 : : /*
310 : : popOutput -
311 : : */
312 : :
313 : : static void popOutput (M2MetaError_errorBlock *eb);
314 : :
315 : : /*
316 : : newEntry -
317 : : */
318 : :
319 : : static M2MetaError_dictionaryEntry newEntry (void);
320 : :
321 : : /*
322 : : killEntry - dispose e and delete any strings.
323 : : */
324 : :
325 : : static void killEntry (M2MetaError_dictionaryEntry e);
326 : :
327 : : /*
328 : : resetDictionary - remove all entries in the dictionary.
329 : : */
330 : :
331 : : static void resetDictionary (void);
332 : :
333 : : /*
334 : : lookupString - lookup and return a duplicate of the string value for key s.
335 : : NIL is returned if the key s is unknown.
336 : : */
337 : :
338 : : static DynamicStrings_String lookupString (DynamicStrings_String s);
339 : :
340 : : /*
341 : : lookupDefine - looks up the word in the input string (ending with '}').
342 : : It uses this word as a key into the dictionary and returns
343 : : the entry.
344 : : */
345 : :
346 : : static DynamicStrings_String lookupDefine (M2MetaError_errorBlock *eb);
347 : :
348 : : /*
349 : : processDefine - place contents of dictionary entry name onto the output string.
350 : : */
351 : :
352 : : static void processDefine (M2MetaError_errorBlock *eb);
353 : :
354 : : /*
355 : : lookupColor - looks up the color enum from the string.
356 : : */
357 : :
358 : : static M2MetaError_colorType lookupColor (DynamicStrings_String s);
359 : :
360 : : /*
361 : : readColor -
362 : : */
363 : :
364 : : static M2MetaError_colorType readColor (M2MetaError_errorBlock *eb);
365 : :
366 : : /*
367 : : keyword - copy characters until the '}' in the input string and convert them to
368 : : the keyword color/font.
369 : : */
370 : :
371 : : static void keyword (M2MetaError_errorBlock *eb);
372 : :
373 : : /*
374 : : filename - copy characters until the '}' in the input string and convert them to
375 : : the filename color/font.
376 : : */
377 : :
378 : : static void filename (M2MetaError_errorBlock *eb);
379 : :
380 : : /*
381 : : pushColor -
382 : : */
383 : :
384 : : static void pushColor (M2MetaError_errorBlock *eb);
385 : :
386 : : /*
387 : : popColor -
388 : : */
389 : :
390 : : static void popColor (M2MetaError_errorBlock *eb);
391 : :
392 : : /*
393 : : initErrorBlock - initialise an error block with the, input, string.
394 : : */
395 : :
396 : : static void initErrorBlock (M2MetaError_errorBlock *eb, DynamicStrings_String input, const unsigned int *sym_, unsigned int _sym_high);
397 : :
398 : : /*
399 : : push - performs a push from the oldblock to the newblock.
400 : : It copies all fields except the output string.
401 : : */
402 : :
403 : : static void push (M2MetaError_errorBlock *newblock, M2MetaError_errorBlock oldblock);
404 : :
405 : : /*
406 : : pop - copies contents of oldblock into newblock. It only copies the error
407 : : handle if the toblock.e is NIL.
408 : : */
409 : :
410 : : static void pop (M2MetaError_errorBlock *toblock, M2MetaError_errorBlock *fromblock);
411 : :
412 : : /*
413 : : OutOpenQuote -
414 : : */
415 : :
416 : : static void OutOpenQuote (M2MetaError_errorBlock *eb);
417 : :
418 : : /*
419 : : OutCloseQuote -
420 : : */
421 : :
422 : : static void OutCloseQuote (M2MetaError_errorBlock *eb);
423 : :
424 : : /*
425 : : findColorType - return the color of the string. This is determined by the first
426 : : occurrance of an error, warning or note marker. An error message
427 : : is assumed to either be: a keyword category, error category, note
428 : : category, warning category or to be chained from a previous error.
429 : : */
430 : :
431 : : static M2MetaError_colorType findColorType (DynamicStrings_String s);
432 : :
433 : : /*
434 : : killErrorBlock - deallocates the dynamic strings associated with the error block.
435 : : */
436 : :
437 : : static void killErrorBlock (M2MetaError_errorBlock *eb);
438 : :
439 : : /*
440 : : InternalFormat - produces an informative internal error.
441 : : */
442 : :
443 : : static void InternalFormat (M2MetaError_errorBlock eb, const char *m_, unsigned int _m_high, unsigned int line);
444 : :
445 : : /*
446 : : x - checks to see that a=b.
447 : : */
448 : :
449 : : static DynamicStrings_String x (DynamicStrings_String a, DynamicStrings_String b);
450 : :
451 : : /*
452 : : IsWhite - returns TRUE if, ch, is a space.
453 : : */
454 : :
455 : : static bool IsWhite (char ch);
456 : :
457 : : /*
458 : : skip - skips over this level input until the next '}'.
459 : : */
460 : :
461 : : static void skip (M2MetaError_errorBlock *sb);
462 : :
463 : : /*
464 : : ifNonNulThen := [ ':' ebnf ] =:
465 : : */
466 : :
467 : : static void ifNonNulThen (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high);
468 : :
469 : : /*
470 : : doNumber -
471 : : */
472 : :
473 : : static void doNumber (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
474 : :
475 : : /*
476 : : doCount -
477 : : */
478 : :
479 : : static void doCount (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
480 : :
481 : : /*
482 : : doCount -
483 : : */
484 : :
485 : : static void doAscii (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
486 : :
487 : : /*
488 : : unquotedKeyword -
489 : : */
490 : :
491 : : static void unquotedKeyword (M2MetaError_errorBlock *eb);
492 : :
493 : : /*
494 : : OutArray -
495 : : */
496 : :
497 : : static void OutArray (M2MetaError_errorBlock *eb, const char *a_, unsigned int _a_high);
498 : :
499 : : /*
500 : : OutGlyphS - outputs a string of glyphs.
501 : : */
502 : :
503 : : static void OutGlyphS (M2MetaError_errorBlock *eb, DynamicStrings_String s);
504 : :
505 : : /*
506 : : empty - returns TRUE if the output string is empty.
507 : : It ignores color changes.
508 : : */
509 : :
510 : : static bool empty (M2MetaError_errorBlock *eb);
511 : :
512 : : /*
513 : : clear - remove the output string.
514 : : */
515 : :
516 : : static void clear (M2MetaError_errorBlock *eb);
517 : :
518 : : /*
519 : : clear - remove the output string.
520 : : */
521 : :
522 : : static void doName (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
523 : :
524 : : /*
525 : : clear - remove the output string.
526 : : */
527 : :
528 : : static void doQualified (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
529 : :
530 : : /*
531 : : doType - returns a string containing the type name of
532 : : sym.
533 : : */
534 : :
535 : : static void doType (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
536 : :
537 : : /*
538 : : doSkipType - will skip all pseudonym types. It also
539 : : returns the type symbol found and name.
540 : : */
541 : :
542 : : static void doSkipType (M2MetaError_errorBlock eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
543 : :
544 : : /*
545 : : doGetType - attempts to get the type of sym[bol].
546 : : */
547 : :
548 : : static void doGetType (M2MetaError_errorBlock *eb, unsigned int *sym, unsigned int _sym_high, unsigned int bol);
549 : :
550 : : /*
551 : : doGetSkipType - will skip all pseudonym types. It also
552 : : returns the type symbol found and name.
553 : : */
554 : :
555 : : static void doGetSkipType (M2MetaError_errorBlock *eb, unsigned int *sym, unsigned int _sym_high, unsigned int bol);
556 : :
557 : : /*
558 : : doChain -
559 : : */
560 : :
561 : : static void doChain (M2MetaError_errorBlock *eb, unsigned int tok);
562 : :
563 : : /*
564 : : doError - creates and returns an error note.
565 : : */
566 : :
567 : : static void doError (M2MetaError_errorBlock *eb, unsigned int tok);
568 : :
569 : : /*
570 : : defaultError - adds the default error location to, tok, if one has not already been
571 : : assigned.
572 : : */
573 : :
574 : : static void defaultError (M2MetaError_errorBlock *eb, unsigned int tok);
575 : :
576 : : /*
577 : : chooseError - choose the error kind dependant upon type.
578 : : Either an error, warning or note will be generated.
579 : : */
580 : :
581 : : static void chooseError (M2MetaError_errorBlock *eb, unsigned int tok);
582 : :
583 : : /*
584 : : doErrorScopeModule -
585 : : */
586 : :
587 : : static void doErrorScopeModule (M2MetaError_errorBlock *eb, unsigned int sym);
588 : :
589 : : /*
590 : : doErrorScopeForward -
591 : : */
592 : :
593 : : static void doErrorScopeForward (M2MetaError_errorBlock *eb, unsigned int sym);
594 : :
595 : : /*
596 : : doErrorScopeMod - potentially create an error referring to the definition
597 : : module, fall back to the implementation or program module if
598 : : there is no declaration in the definition module.
599 : : */
600 : :
601 : : static void doErrorScopeMod (M2MetaError_errorBlock *eb, unsigned int sym);
602 : :
603 : : /*
604 : : doErrorScopeFor - potentially create an error referring to the
605 : : forward declaration, definition module, fall back
606 : : to the implementation or program module if
607 : : there is no declaration in the definition module.
608 : : */
609 : :
610 : : static void doErrorScopeFor (M2MetaError_errorBlock *eb, unsigned int sym);
611 : : static void declaredMod (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
612 : :
613 : : /*
614 : : doErrorScopeDefinition - use the declaration in the definitio module if one is available.
615 : : */
616 : :
617 : : static void doErrorScopeDefinition (M2MetaError_errorBlock *eb, unsigned int sym);
618 : :
619 : : /*
620 : : doErrorScopeDef - potentially create an error referring to the definition
621 : : module, fall back to the implementation or program module if
622 : : there is no declaration in the definition module.
623 : : */
624 : :
625 : : static void doErrorScopeDef (M2MetaError_errorBlock *eb, unsigned int sym);
626 : : static void declaredDef (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
627 : : static void declaredFor (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
628 : :
629 : : /*
630 : : doErrorScopeProc - determine the location for the error or warning from
631 : : the default declaration. For example parameters can be
632 : : declared in definition, forward or in modules (proper procedure).
633 : : Use GetVarParamTok to obtain a variable or parameter location.
634 : : */
635 : :
636 : : static void doErrorScopeProc (M2MetaError_errorBlock *eb, unsigned int sym, M2MetaError_GetTokProcedure GetVarParamTok);
637 : : static void declaredVar (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
638 : : static void declaredType (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
639 : : static void declaredFull (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
640 : :
641 : : /*
642 : : used - creates an error note where sym[bol] was first used.
643 : : */
644 : :
645 : : static void used (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
646 : :
647 : : /*
648 : : symDesc -
649 : : */
650 : :
651 : : static DynamicStrings_String symDesc (unsigned int sym);
652 : :
653 : : /*
654 : : doDesc -
655 : : */
656 : :
657 : : static void doDesc (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
658 : :
659 : : /*
660 : : op := {'!'|'a'|'c'|'d'|'k'|'n'|'p'|'q'|'s'|'t'|'u'|
661 : : 'A'|'B'|'C'|'D'|'E'|'F'|'G'|'H'|'K'|'M'|'N'|
662 : : 'O'|'P'|'Q'|'R'|'S'|'T'|'U'|'V'|'W'|'X'|'Y'|'Z'} then =:
663 : : */
664 : :
665 : : static void op (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
666 : :
667 : : /*
668 : : percenttoken := '%' (
669 : : '1' % doOperand(1) %
670 : : op
671 : : | '2' % doOperand(2) %
672 : : op
673 : : | '3' % doOperand(3) %
674 : : op
675 : : | '4' % doOperand(4) %
676 : : op
677 : : )
678 : : } =:
679 : : */
680 : :
681 : : static void percenttoken (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high);
682 : :
683 : : /*
684 : : changeColor - changes to color, c.
685 : : */
686 : :
687 : : static void changeColor (M2MetaError_errorBlock *eb, M2MetaError_colorType c);
688 : :
689 : : /*
690 : : shutdownColor - shutdown existing color if it exists.
691 : : */
692 : :
693 : : static void shutdownColor (M2MetaError_errorBlock *eb);
694 : :
695 : : /*
696 : : flushColor - flushes any outstanding color change.
697 : : */
698 : :
699 : : static void flushColor (M2MetaError_errorBlock *eb);
700 : :
701 : : /*
702 : : emitColorGCC -
703 : : */
704 : :
705 : : static void emitColorGCC (M2MetaError_errorBlock *eb, M2MetaError_colorType c);
706 : :
707 : : /*
708 : : emitColorTag -
709 : : */
710 : :
711 : : static void emitColorTag (M2MetaError_errorBlock *eb, M2MetaError_colorType c);
712 : :
713 : : /*
714 : : emitColor - adds the appropriate color string to the output string.
715 : : */
716 : :
717 : : static void emitColor (M2MetaError_errorBlock *eb, M2MetaError_colorType c);
718 : :
719 : : /*
720 : : openQuote -
721 : : */
722 : :
723 : : static DynamicStrings_String openQuote (DynamicStrings_String s);
724 : :
725 : : /*
726 : : closeQuote -
727 : : */
728 : :
729 : : static DynamicStrings_String closeQuote (DynamicStrings_String s);
730 : :
731 : : /*
732 : : colorEnd -
733 : : */
734 : :
735 : : static DynamicStrings_String colorEnd (DynamicStrings_String s);
736 : :
737 : : /*
738 : : copyChar - copies a character from in string to out string.
739 : : */
740 : :
741 : : static void copyChar (M2MetaError_errorBlock *eb);
742 : :
743 : : /*
744 : : copyKeywordChar - copies a character from in string to out string
745 : : it will convert the character to lower case if the
746 : : -fm2-lower-case option was specified.
747 : : */
748 : :
749 : : static void copyKeywordChar (M2MetaError_errorBlock *eb);
750 : :
751 : : /*
752 : : percent := '%' anych % copy anych %
753 : : =:
754 : : */
755 : :
756 : : static void percent (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high);
757 : :
758 : : /*
759 : : lbra := '{' [ '!' ] percenttoken '}' =:
760 : : */
761 : :
762 : : static void lbra (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high);
763 : :
764 : : /*
765 : : lbra := '{' [ '!' ] percenttoken '}' =:
766 : : */
767 : :
768 : : static void stop (void);
769 : :
770 : : /*
771 : : lbra := '{' [ '!' ] percenttoken '}' =:
772 : : */
773 : :
774 : : static void checkMe (void);
775 : :
776 : : /*
777 : : dumpErrorType -
778 : : */
779 : :
780 : : static void dumpErrorType (M2MetaError_errorType e);
781 : :
782 : : /*
783 : : dumpColorType -
784 : : */
785 : :
786 : : static void dumpColorType (M2MetaError_colorType c);
787 : :
788 : : /*
789 : : dump -
790 : :
791 : : */
792 : :
793 : : static void dump (M2MetaError_errorBlock eb);
794 : :
795 : : /*
796 : : ebnf := { percent
797 : : | lbra
798 : : | any % copy ch %
799 : : }
800 : : =:
801 : : */
802 : :
803 : : static void ebnf (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high);
804 : :
805 : : /*
806 : : wrapErrors -
807 : : */
808 : :
809 : : static void wrapErrors (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, const unsigned int *sym_, unsigned int _sym_high);
810 : :
811 : : /*
812 : : checkAbort - checks to see if the boolean flag seenAbort has been set,
813 : : if so it flushes all existing errors and terminates.
814 : : */
815 : :
816 : : static void checkAbort (void);
817 : :
818 : : /*
819 : : translate -
820 : : */
821 : :
822 : : static DynamicStrings_String translate (DynamicStrings_String m, DynamicStrings_String s, int *i, NameKey_Name name);
823 : :
824 : : /*
825 : : wrapString - return a string which has been formatted with the specifier codes.
826 : : Color is disabled. The result string is returned.
827 : : */
828 : :
829 : : static DynamicStrings_String wrapString (DynamicStrings_String m, const unsigned int *sym_, unsigned int _sym_high);
830 : :
831 : :
832 : : /*
833 : : pushOutput -
834 : : */
835 : :
836 : 0 : static void pushOutput (M2MetaError_errorBlock *eb)
837 : : {
838 : 0 : Indexing_PutIndice (outputStack, (Indexing_HighIndice (outputStack))+1, reinterpret_cast <void *> ((*eb).out));
839 : 0 : (*eb).out = DynamicStrings_InitString ((const char *) "", 0);
840 : 0 : (*eb).glyph = false;
841 : 0 : }
842 : :
843 : :
844 : : /*
845 : : readWord - reads and returns a word delimited by '}' it uses '%' as
846 : : the escape character.
847 : : */
848 : :
849 : 0 : static DynamicStrings_String readWord (M2MetaError_errorBlock *eb)
850 : : {
851 : 0 : DynamicStrings_String word;
852 : :
853 : 0 : word = DynamicStrings_InitString ((const char *) "", 0);
854 : 0 : while (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
855 : : {
856 : 0 : if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
857 : : {
858 : 0 : (*eb).ini += 1;
859 : : }
860 : 0 : word = DynamicStrings_ConCatChar (word, DynamicStrings_char ((*eb).in, (*eb).ini));
861 : 0 : (*eb).ini += 1;
862 : : }
863 : 0 : return word;
864 : : /* static analysis guarentees a RETURN statement will be used before here. */
865 : : __builtin_unreachable ();
866 : : }
867 : :
868 : :
869 : : /*
870 : : addEntry -
871 : : */
872 : :
873 : 0 : static void addEntry (DynamicStrings_String key, DynamicStrings_String value)
874 : : {
875 : 0 : M2MetaError_dictionaryEntry e;
876 : 0 : DynamicStrings_String s;
877 : 0 : unsigned int i;
878 : :
879 : 0 : s = lookupString (key);
880 : 0 : if (s == NULL)
881 : : {
882 : 0 : e = newEntry ();
883 : 0 : e->key = key;
884 : 0 : e->value = value;
885 : 0 : Indexing_PutIndice (dictionary, (Indexing_HighIndice (dictionary))+1, reinterpret_cast <void *> (e));
886 : : }
887 : : else
888 : : {
889 : : i = 1;
890 : 0 : while (i <= (Indexing_HighIndice (dictionary)))
891 : : {
892 : 0 : e = static_cast<M2MetaError_dictionaryEntry> (Indexing_GetIndice (dictionary, i));
893 : 0 : if (DynamicStrings_Equal (e->key, key))
894 : : {
895 : 0 : e->value = DynamicStrings_KillString (e->value);
896 : 0 : e->value = value;
897 : 0 : return;
898 : : }
899 : 0 : i += 1;
900 : : }
901 : : }
902 : : }
903 : :
904 : :
905 : : /*
906 : : popOutput -
907 : : */
908 : :
909 : 0 : static void popOutput (M2MetaError_errorBlock *eb)
910 : : {
911 : 0 : DynamicStrings_String key;
912 : 0 : DynamicStrings_String previous;
913 : :
914 : 0 : if ((Indexing_HighIndice (outputStack)) >= 1)
915 : : {
916 : 0 : previous = static_cast<DynamicStrings_String> (Indexing_GetIndice (outputStack, Indexing_HighIndice (outputStack)));
917 : 0 : Indexing_DeleteIndice (outputStack, Indexing_HighIndice (outputStack));
918 : 0 : key = readWord (eb);
919 : 0 : addEntry (key, (*eb).out);
920 : 0 : (*eb).out = previous;
921 : : }
922 : 0 : }
923 : :
924 : :
925 : : /*
926 : : newEntry -
927 : : */
928 : :
929 : 0 : static M2MetaError_dictionaryEntry newEntry (void)
930 : : {
931 : 0 : M2MetaError_dictionaryEntry e;
932 : :
933 : 0 : if (freeEntry == NULL)
934 : : {
935 : 0 : Storage_ALLOCATE ((void **) &e, sizeof (M2MetaError__T2));
936 : : }
937 : : else
938 : : {
939 : 0 : e = freeEntry;
940 : 0 : freeEntry = freeEntry->next;
941 : : }
942 : 0 : e->key = static_cast<DynamicStrings_String> (NULL);
943 : 0 : e->value = static_cast<DynamicStrings_String> (NULL);
944 : 0 : e->next = NULL;
945 : 0 : return e;
946 : : /* static analysis guarentees a RETURN statement will be used before here. */
947 : : __builtin_unreachable ();
948 : : }
949 : :
950 : :
951 : : /*
952 : : killEntry - dispose e and delete any strings.
953 : : */
954 : :
955 : 0 : static void killEntry (M2MetaError_dictionaryEntry e)
956 : : {
957 : 0 : e->next = freeEntry;
958 : 0 : freeEntry = e;
959 : 0 : if (e->key != NULL)
960 : : {
961 : 0 : e->key = DynamicStrings_KillString (e->key);
962 : : }
963 : 0 : if (e->value != NULL)
964 : : {
965 : 0 : e->value = DynamicStrings_KillString (e->value);
966 : : }
967 : 0 : }
968 : :
969 : :
970 : : /*
971 : : resetDictionary - remove all entries in the dictionary.
972 : : */
973 : :
974 : 0 : static void resetDictionary (void)
975 : : {
976 : 0 : unsigned int i;
977 : 0 : M2MetaError_dictionaryEntry e;
978 : :
979 : 0 : i = 1;
980 : 0 : while (i <= (Indexing_HighIndice (dictionary)))
981 : : {
982 : 0 : e = static_cast<M2MetaError_dictionaryEntry> (Indexing_GetIndice (dictionary, i));
983 : 0 : killEntry (e);
984 : 0 : i += 1;
985 : : }
986 : 0 : dictionary = Indexing_KillIndex (dictionary);
987 : 0 : dictionary = Indexing_InitIndex (1);
988 : 0 : }
989 : :
990 : :
991 : : /*
992 : : lookupString - lookup and return a duplicate of the string value for key s.
993 : : NIL is returned if the key s is unknown.
994 : : */
995 : :
996 : 0 : static DynamicStrings_String lookupString (DynamicStrings_String s)
997 : : {
998 : 0 : unsigned int i;
999 : 0 : M2MetaError_dictionaryEntry e;
1000 : :
1001 : 0 : i = 1;
1002 : 0 : while (i <= (Indexing_HighIndice (dictionary)))
1003 : : {
1004 : 0 : e = static_cast<M2MetaError_dictionaryEntry> (Indexing_GetIndice (dictionary, i));
1005 : 0 : if (DynamicStrings_Equal (e->key, s))
1006 : : {
1007 : 0 : return DynamicStrings_Dup (e->value);
1008 : : }
1009 : 0 : i += 1;
1010 : : }
1011 : : return static_cast<DynamicStrings_String> (NULL);
1012 : : /* static analysis guarentees a RETURN statement will be used before here. */
1013 : : __builtin_unreachable ();
1014 : : }
1015 : :
1016 : :
1017 : : /*
1018 : : lookupDefine - looks up the word in the input string (ending with '}').
1019 : : It uses this word as a key into the dictionary and returns
1020 : : the entry.
1021 : : */
1022 : :
1023 : 0 : static DynamicStrings_String lookupDefine (M2MetaError_errorBlock *eb)
1024 : : {
1025 : 0 : DynamicStrings_String s;
1026 : :
1027 : 0 : s = DynamicStrings_InitString ((const char *) "", 0);
1028 : 0 : while (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
1029 : : {
1030 : 0 : if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
1031 : : {
1032 : 0 : (*eb).ini += 1;
1033 : : }
1034 : 0 : s = DynamicStrings_ConCatChar (s, DynamicStrings_char ((*eb).in, (*eb).ini));
1035 : 0 : (*eb).ini += 1;
1036 : : }
1037 : 0 : s = lookupString (s);
1038 : 0 : if (s == NULL)
1039 : : {
1040 : 0 : s = DynamicStrings_InitString ((const char *) "", 0);
1041 : : }
1042 : 0 : return s;
1043 : : /* static analysis guarentees a RETURN statement will be used before here. */
1044 : : __builtin_unreachable ();
1045 : : }
1046 : :
1047 : :
1048 : : /*
1049 : : processDefine - place contents of dictionary entry name onto the output string.
1050 : : */
1051 : :
1052 : 0 : static void processDefine (M2MetaError_errorBlock *eb)
1053 : : {
1054 : 0 : (*eb).out = DynamicStrings_ConCat ((*eb).out, lookupDefine (eb));
1055 : 0 : }
1056 : :
1057 : :
1058 : : /*
1059 : : lookupColor - looks up the color enum from the string.
1060 : : */
1061 : :
1062 : 0 : static M2MetaError_colorType lookupColor (DynamicStrings_String s)
1063 : : {
1064 : 0 : if (DynamicStrings_EqualArray (s, (const char *) "filename", 8))
1065 : : {
1066 : : return M2MetaError_filenameColor;
1067 : : }
1068 : 0 : else if (DynamicStrings_EqualArray (s, (const char *) "quote", 5))
1069 : : {
1070 : : /* avoid dangling else. */
1071 : : return M2MetaError_quoteColor;
1072 : : }
1073 : 0 : else if (DynamicStrings_EqualArray (s, (const char *) "error", 5))
1074 : : {
1075 : : /* avoid dangling else. */
1076 : : return M2MetaError_errorColor;
1077 : : }
1078 : 0 : else if (DynamicStrings_EqualArray (s, (const char *) "warning", 7))
1079 : : {
1080 : : /* avoid dangling else. */
1081 : : return M2MetaError_warningColor;
1082 : : }
1083 : 0 : else if (DynamicStrings_EqualArray (s, (const char *) "note", 4))
1084 : : {
1085 : : /* avoid dangling else. */
1086 : : return M2MetaError_warningColor;
1087 : : }
1088 : 0 : else if (DynamicStrings_EqualArray (s, (const char *) "locus", 5))
1089 : : {
1090 : : /* avoid dangling else. */
1091 : : return M2MetaError_locusColor;
1092 : : }
1093 : 0 : else if (DynamicStrings_EqualArray (s, (const char *) "insert", 6))
1094 : : {
1095 : : /* avoid dangling else. */
1096 : : return M2MetaError_insertColor;
1097 : : }
1098 : 0 : else if (DynamicStrings_EqualArray (s, (const char *) "delete", 6))
1099 : : {
1100 : : /* avoid dangling else. */
1101 : : return M2MetaError_deleteColor;
1102 : : }
1103 : 0 : else if (DynamicStrings_EqualArray (s, (const char *) "type", 4))
1104 : : {
1105 : : /* avoid dangling else. */
1106 : : return M2MetaError_typeColor;
1107 : : }
1108 : 0 : else if (DynamicStrings_EqualArray (s, (const char *) "range1", 6))
1109 : : {
1110 : : /* avoid dangling else. */
1111 : : return M2MetaError_range1Color;
1112 : : }
1113 : 0 : else if (DynamicStrings_EqualArray (s, (const char *) "range2", 6))
1114 : : {
1115 : : /* avoid dangling else. */
1116 : 0 : return M2MetaError_range2Color;
1117 : : }
1118 : : return M2MetaError_noColor;
1119 : : /* static analysis guarentees a RETURN statement will be used before here. */
1120 : : __builtin_unreachable ();
1121 : : }
1122 : :
1123 : :
1124 : : /*
1125 : : readColor -
1126 : : */
1127 : :
1128 : 0 : static M2MetaError_colorType readColor (M2MetaError_errorBlock *eb)
1129 : : {
1130 : 0 : DynamicStrings_String s;
1131 : 0 : M2MetaError_colorType c;
1132 : :
1133 : 0 : s = DynamicStrings_InitString ((const char *) "", 0);
1134 : 0 : while (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
1135 : : {
1136 : 0 : if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
1137 : : {
1138 : 0 : (*eb).ini += 1;
1139 : : }
1140 : 0 : s = DynamicStrings_ConCatChar (s, DynamicStrings_char ((*eb).in, (*eb).ini));
1141 : 0 : (*eb).ini += 1;
1142 : : }
1143 : 0 : c = lookupColor (s);
1144 : 0 : s = DynamicStrings_KillString (s);
1145 : 0 : return c;
1146 : : /* static analysis guarentees a RETURN statement will be used before here. */
1147 : : __builtin_unreachable ();
1148 : : }
1149 : :
1150 : :
1151 : : /*
1152 : : keyword - copy characters until the '}' in the input string and convert them to
1153 : : the keyword color/font.
1154 : : */
1155 : :
1156 : 1128 : static void keyword (M2MetaError_errorBlock *eb)
1157 : : {
1158 : 1128 : if (TOUPPER (DynamicStrings_char ((*eb).in, (*eb).ini)) == 'K')
1159 : : {
1160 : 1128 : (*eb).ini += 1;
1161 : 1128 : pushColor (eb);
1162 : 1128 : changeColor (eb, M2MetaError_keywordColor);
1163 : 6030 : while (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
1164 : : {
1165 : 4902 : if (Debugging)
1166 : : {
1167 : : dump ((*eb));
1168 : : }
1169 : 4902 : if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
1170 : : {
1171 : 12 : (*eb).ini += 1;
1172 : : }
1173 : 4902 : copyKeywordChar (eb);
1174 : 4902 : (*eb).ini += 1;
1175 : : }
1176 : 1128 : popColor (eb);
1177 : : }
1178 : : else
1179 : : {
1180 : 0 : M2Error_InternalError ((const char *) "expecting index to be on the K for keyword", 42);
1181 : : }
1182 : 1128 : }
1183 : :
1184 : :
1185 : : /*
1186 : : filename - copy characters until the '}' in the input string and convert them to
1187 : : the filename color/font.
1188 : : */
1189 : :
1190 : 0 : static void filename (M2MetaError_errorBlock *eb)
1191 : : {
1192 : 0 : if (TOUPPER (DynamicStrings_char ((*eb).in, (*eb).ini)) == 'F')
1193 : : {
1194 : 0 : (*eb).ini += 1;
1195 : 0 : pushColor (eb);
1196 : 0 : changeColor (eb, M2MetaError_filenameColor);
1197 : 0 : while (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
1198 : : {
1199 : 0 : if (Debugging)
1200 : : {
1201 : : dump ((*eb));
1202 : : }
1203 : 0 : if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
1204 : : {
1205 : 0 : (*eb).ini += 1;
1206 : : }
1207 : 0 : copyChar (eb);
1208 : 0 : (*eb).ini += 1;
1209 : : }
1210 : 0 : popColor (eb);
1211 : : }
1212 : : else
1213 : : {
1214 : 0 : M2Error_InternalError ((const char *) "expecting index to be on the F for filename", 43);
1215 : : }
1216 : 0 : }
1217 : :
1218 : :
1219 : : /*
1220 : : pushColor -
1221 : : */
1222 : :
1223 : 48790 : static void pushColor (M2MetaError_errorBlock *eb)
1224 : : {
1225 : 48790 : if ((*eb).stackPtr > MaxStack)
1226 : : {
1227 : 0 : M2RTS_HALT (-1);
1228 : : __builtin_unreachable ();
1229 : : }
1230 : : else
1231 : : {
1232 : 48790 : (*eb).colorStack.array[(*eb).stackPtr] = (*eb).currentCol;
1233 : 48790 : (*eb).stackPtr += 1;
1234 : : }
1235 : 48790 : }
1236 : :
1237 : :
1238 : : /*
1239 : : popColor -
1240 : : */
1241 : :
1242 : 12390 : static void popColor (M2MetaError_errorBlock *eb)
1243 : : {
1244 : 12390 : if ((*eb).stackPtr > 0)
1245 : : {
1246 : 12390 : (*eb).stackPtr -= 1;
1247 : : }
1248 : : else
1249 : : {
1250 : 0 : M2RTS_HALT (-1);
1251 : : __builtin_unreachable ();
1252 : : }
1253 : 12390 : (*eb).currentCol = (*eb).colorStack.array[(*eb).stackPtr];
1254 : 12390 : if ((*eb).currentCol == M2MetaError_unsetColor)
1255 : : {
1256 : 0 : (*eb).currentCol = M2MetaError_noColor;
1257 : : }
1258 : 12390 : }
1259 : :
1260 : :
1261 : : /*
1262 : : initErrorBlock - initialise an error block with the, input, string.
1263 : : */
1264 : :
1265 : 15299 : static void initErrorBlock (M2MetaError_errorBlock *eb, DynamicStrings_String input, const unsigned int *sym_, unsigned int _sym_high)
1266 : : {
1267 : 15299 : unsigned int sym[_sym_high+1];
1268 : :
1269 : : /* make a local copy of each unbounded array. */
1270 : 15299 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
1271 : :
1272 : 15299 : (*eb).useError = true;
1273 : 15299 : (*eb).e = static_cast<M2Error_Error> (NULL);
1274 : 15299 : (*eb).type = M2MetaError_error; /* default to the error color. */
1275 : 30598 : (*eb).out = DynamicStrings_InitString ((const char *) "", 0); /* default to the error color. */
1276 : 15299 : (*eb).in = input;
1277 : 15299 : (*eb).highplus1 = _sym_high+1;
1278 : 15299 : (*eb).len = DynamicStrings_Length (input);
1279 : 15299 : (*eb).ini = 0;
1280 : 15299 : (*eb).glyph = false; /* nothing to output yet. */
1281 : 15299 : (*eb).quotes = true; /* nothing to output yet. */
1282 : 15299 : (*eb).positive = true;
1283 : 15299 : (*eb).root = false;
1284 : 15299 : (*eb).chain = false;
1285 : 15299 : (*eb).currentCol = findColorType (input);
1286 : 15299 : (*eb).beginCol = M2MetaError_unsetColor;
1287 : 15299 : (*eb).endCol = M2MetaError_unsetColor;
1288 : 15299 : (*eb).stackPtr = 0;
1289 : 15299 : }
1290 : :
1291 : :
1292 : : /*
1293 : : push - performs a push from the oldblock to the newblock.
1294 : : It copies all fields except the output string.
1295 : : */
1296 : :
1297 : 38962 : static void push (M2MetaError_errorBlock *newblock, M2MetaError_errorBlock oldblock)
1298 : : {
1299 : 38962 : pushColor (&oldblock); /* save the current color. */
1300 : 38962 : (*newblock) = oldblock; /* copy all the fields. */
1301 : 38962 : (*newblock).out = static_cast<DynamicStrings_String> (NULL); /* must do this before a clear as we have copied the address. */
1302 : 38962 : clear (newblock); /* must do this before a clear as we have copied the address. */
1303 : 38962 : (*newblock).quotes = true;
1304 : 38962 : }
1305 : :
1306 : :
1307 : : /*
1308 : : pop - copies contents of oldblock into newblock. It only copies the error
1309 : : handle if the toblock.e is NIL.
1310 : : */
1311 : :
1312 : 38962 : static void pop (M2MetaError_errorBlock *toblock, M2MetaError_errorBlock *fromblock)
1313 : : {
1314 : 38962 : M2MetaError_colorType c;
1315 : :
1316 : 38962 : if (empty (fromblock))
1317 : : {
1318 : 2562 : (*toblock).stackPtr = (*fromblock).stackPtr;
1319 : 2562 : (*toblock).colorStack = (*fromblock).colorStack;
1320 : 2562 : popColor (toblock); /* and restore the color from the push start. */
1321 : : }
1322 : : else
1323 : : {
1324 : 36400 : if ((*fromblock).quotes)
1325 : : {
1326 : : /* string needs to be quoted. */
1327 : 27790 : if ((*toblock).currentCol == M2MetaError_unsetColor)
1328 : : {
1329 : : /* caller has not yet assigned a color, so use the callee color at the end. */
1330 : 0 : OutOpenQuote (toblock);
1331 : 0 : OutGlyphS (toblock, (*fromblock).out);
1332 : 0 : OutCloseQuote (toblock);
1333 : 0 : changeColor (toblock, (*fromblock).currentCol);
1334 : : }
1335 : : else
1336 : : {
1337 : 27790 : shutdownColor (fromblock);
1338 : : /* caller has assigned a color, so use it after the new string. */
1339 : 27790 : c = (*toblock).currentCol;
1340 : 27790 : OutOpenQuote (toblock);
1341 : 27790 : OutGlyphS (toblock, (*fromblock).out);
1342 : 27790 : OutCloseQuote (toblock);
1343 : 27790 : (*toblock).currentCol = c;
1344 : : }
1345 : : }
1346 : : else
1347 : : {
1348 : 8610 : if ((*toblock).currentCol == M2MetaError_unsetColor)
1349 : : {
1350 : 0 : OutGlyphS (toblock, (*fromblock).out);
1351 : 0 : (*toblock).endCol = (*fromblock).endCol;
1352 : 0 : changeColor (toblock, (*fromblock).endCol);
1353 : : }
1354 : : else
1355 : : {
1356 : 8610 : pushColor (toblock);
1357 : 8610 : OutGlyphS (toblock, (*fromblock).out);
1358 : 8610 : (*toblock).endCol = (*fromblock).endCol;
1359 : 8610 : popColor (toblock);
1360 : : }
1361 : : }
1362 : : }
1363 : 38962 : if ((*toblock).e == NULL)
1364 : : {
1365 : 38824 : (*toblock).e = (*fromblock).e;
1366 : : }
1367 : 38962 : (*toblock).chain = (*fromblock).chain;
1368 : 38962 : (*toblock).root = (*fromblock).root;
1369 : 38962 : (*toblock).ini = (*fromblock).ini;
1370 : 38962 : (*toblock).type = (*fromblock).type; /* might have been changed by the callee. */
1371 : 38962 : }
1372 : :
1373 : :
1374 : : /*
1375 : : OutOpenQuote -
1376 : : */
1377 : :
1378 : 27790 : static void OutOpenQuote (M2MetaError_errorBlock *eb)
1379 : : {
1380 : 27790 : (*eb).currentCol = M2MetaError_noColor;
1381 : 27790 : flushColor (eb);
1382 : 55580 : (*eb).out = DynamicStrings_ConCat ((*eb).out, openQuote (DynamicStrings_InitString ((const char *) "", 0)));
1383 : 27790 : }
1384 : :
1385 : :
1386 : : /*
1387 : : OutCloseQuote -
1388 : : */
1389 : :
1390 : 27790 : static void OutCloseQuote (M2MetaError_errorBlock *eb)
1391 : : {
1392 : 55580 : (*eb).out = DynamicStrings_ConCat ((*eb).out, closeQuote (DynamicStrings_InitString ((const char *) "", 0)));
1393 : 27790 : (*eb).currentCol = M2MetaError_noColor;
1394 : 27790 : (*eb).endCol = M2MetaError_noColor;
1395 : 27790 : }
1396 : :
1397 : :
1398 : : /*
1399 : : findColorType - return the color of the string. This is determined by the first
1400 : : occurrance of an error, warning or note marker. An error message
1401 : : is assumed to either be: a keyword category, error category, note
1402 : : category, warning category or to be chained from a previous error.
1403 : : */
1404 : :
1405 : 15341 : static M2MetaError_colorType findColorType (DynamicStrings_String s)
1406 : : {
1407 : 15341 : unsigned int i;
1408 : :
1409 : 15341 : i = 0;
1410 : 710802 : while (i < (DynamicStrings_Length (s)))
1411 : : {
1412 : 707544 : if ((DynamicStrings_char (s, static_cast<int> (i))) == '{')
1413 : : {
1414 : 18275 : i += 1;
1415 : 18275 : if ((DynamicStrings_char (s, static_cast<int> (i))) == '%')
1416 : : {
1417 : 18275 : i += 1;
1418 : 53704 : while ((i < (DynamicStrings_Length (s))) && ((DynamicStrings_char (s, static_cast<int> (i))) != '}'))
1419 : : {
1420 : 47512 : if ((DynamicStrings_char (s, static_cast<int> (i))) == '%')
1421 : : {
1422 : 66 : i += 1;
1423 : : }
1424 : 47512 : switch (DynamicStrings_char (s, static_cast<int> (i)))
1425 : : {
1426 : : case 'K':
1427 : : return M2MetaError_errorColor; /* keyword errors start with the fatal error color. */
1428 : : break;
1429 : :
1430 : : case 'E':
1431 : : return M2MetaError_errorColor; /* keyword errors start with the fatal error color. */
1432 : : break;
1433 : :
1434 : : case 'A':
1435 : : return M2MetaError_errorColor;
1436 : : break;
1437 : :
1438 : : case 'O':
1439 : : return M2MetaError_noteColor;
1440 : 10144 : break;
1441 : :
1442 : 10144 : case 'W':
1443 : 10144 : return M2MetaError_warningColor;
1444 : 162 : break;
1445 : :
1446 : 162 : case 'C':
1447 : 162 : return lastColor;
1448 : 35429 : break;
1449 : :
1450 : :
1451 : 35429 : default:
1452 : 35429 : break;
1453 : : }
1454 : 35429 : i += 1;
1455 : : }
1456 : : }
1457 : : }
1458 : 695461 : i += 1;
1459 : : }
1460 : : return M2MetaError_errorColor; /* default to the error color. */
1461 : : /* static analysis guarentees a RETURN statement will be used before here. */
1462 : : __builtin_unreachable ();
1463 : : }
1464 : :
1465 : :
1466 : : /*
1467 : : killErrorBlock - deallocates the dynamic strings associated with the error block.
1468 : : */
1469 : :
1470 : 15299 : static void killErrorBlock (M2MetaError_errorBlock *eb)
1471 : : {
1472 : 15299 : (*eb).out = DynamicStrings_KillString ((*eb).out);
1473 : 15299 : (*eb).in = DynamicStrings_KillString ((*eb).in);
1474 : 15299 : }
1475 : :
1476 : :
1477 : : /*
1478 : : InternalFormat - produces an informative internal error.
1479 : : */
1480 : :
1481 : 0 : static void InternalFormat (M2MetaError_errorBlock eb, const char *m_, unsigned int _m_high, unsigned int line)
1482 : : {
1483 : 0 : char m[_m_high+1];
1484 : :
1485 : : /* make a local copy of each unbounded array. */
1486 : 0 : memcpy (m, m_, _m_high+1);
1487 : :
1488 : 0 : M2Printf_printf1 ((const char *) "M2MetaError.mod:%d:internalformat error detected\\n", 50, (const unsigned char *) &line, (sizeof (line)-1));
1489 : 0 : dump (eb);
1490 : 0 : M2Error_InternalError ((const char *) m, _m_high);
1491 : 0 : }
1492 : :
1493 : :
1494 : : /*
1495 : : x - checks to see that a=b.
1496 : : */
1497 : :
1498 : 1433616 : static DynamicStrings_String x (DynamicStrings_String a, DynamicStrings_String b)
1499 : : {
1500 : 0 : if (a != b)
1501 : : {
1502 : 0 : M2Error_InternalError ((const char *) "different string returned", 25);
1503 : : }
1504 : 0 : return a;
1505 : : /* static analysis guarentees a RETURN statement will be used before here. */
1506 : : __builtin_unreachable ();
1507 : : }
1508 : :
1509 : :
1510 : : /*
1511 : : IsWhite - returns TRUE if, ch, is a space.
1512 : : */
1513 : :
1514 : 0 : static bool IsWhite (char ch)
1515 : : {
1516 : 0 : return ch == ' ';
1517 : : /* static analysis guarentees a RETURN statement will be used before here. */
1518 : : __builtin_unreachable ();
1519 : : }
1520 : :
1521 : :
1522 : : /*
1523 : : skip - skips over this level input until the next '}'.
1524 : : */
1525 : :
1526 : 1008 : static void skip (M2MetaError_errorBlock *sb)
1527 : : {
1528 : 1008 : int level;
1529 : :
1530 : 1008 : level = 0;
1531 : 16416 : while ((*sb).ini < (*sb).len)
1532 : : {
1533 : 16416 : if ((level == 0) && ((DynamicStrings_char ((*sb).in, (*sb).ini)) == '}'))
1534 : : {
1535 : : return;
1536 : : }
1537 : 15408 : if ((DynamicStrings_char ((*sb).in, (*sb).ini)) == '}')
1538 : : {
1539 : 2568 : level -= 1;
1540 : : }
1541 : 12840 : else if ((DynamicStrings_char ((*sb).in, (*sb).ini)) == '{')
1542 : : {
1543 : : /* avoid dangling else. */
1544 : 2568 : level += 1;
1545 : : }
1546 : 15408 : (*sb).ini += 1;
1547 : : }
1548 : : }
1549 : :
1550 : :
1551 : : /*
1552 : : ifNonNulThen := [ ':' ebnf ] =:
1553 : : */
1554 : :
1555 : 6306 : static void ifNonNulThen (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high)
1556 : : {
1557 : 6306 : unsigned int sym[_sym_high+1];
1558 : :
1559 : : /* make a local copy of each unbounded array. */
1560 : 6306 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
1561 : :
1562 : 6306 : if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == ':')
1563 : : {
1564 : 6306 : (*eb).ini += 1;
1565 : 6306 : if ((*eb).positive)
1566 : : {
1567 : : /* avoid dangling else. */
1568 : 1008 : if ((empty (eb)) && ((DynamicStrings_Length ((*eb).out)) != 0))
1569 : : {
1570 : 0 : M2Printf_printf0 ((const char *) "inconsistency found\\n", 21);
1571 : 0 : dump ((*eb));
1572 : : }
1573 : 6306 : if (empty (eb))
1574 : : {
1575 : 1008 : if (Debugging)
1576 : : {
1577 : : M2Printf_printf0 ((const char *) "empty expression, skip\\n", 24);
1578 : : }
1579 : 1008 : clear (eb);
1580 : : /* skip over this level of input text. */
1581 : 1008 : skip (eb);
1582 : : }
1583 : : else
1584 : : {
1585 : 5298 : if (Debugging)
1586 : : {
1587 : : dump ((*eb));
1588 : : M2Printf_printf0 ((const char *) "non empty expression, clear and continue\\n", 42);
1589 : : }
1590 : 5298 : clear (eb);
1591 : 5298 : if (Debugging)
1592 : : {
1593 : : dump ((*eb));
1594 : : M2Printf_printf0 ((const char *) "cleared, continue\\n", 19);
1595 : : dump ((*eb));
1596 : : }
1597 : : /* carry on processing input text. */
1598 : 5298 : ebnf (eb, (const unsigned int *) sym, _sym_high);
1599 : 5298 : if (Debugging)
1600 : : {
1601 : : M2Printf_printf0 ((const char *) "evaluated\\n", 11);
1602 : : dump ((*eb));
1603 : : }
1604 : : }
1605 : : }
1606 : : else
1607 : : {
1608 : 0 : if (empty (eb))
1609 : : {
1610 : 0 : clear (eb);
1611 : : /* carry on processing input text. */
1612 : 0 : ebnf (eb, (const unsigned int *) sym, _sym_high);
1613 : : }
1614 : : else
1615 : : {
1616 : 0 : clear (eb);
1617 : : /* skip over this level of input text. */
1618 : 0 : skip (eb);
1619 : : }
1620 : : }
1621 : 6306 : if (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
1622 : : {
1623 : 0 : InternalFormat ((*eb), (const char *) "expecting to see }", 18, 852);
1624 : : }
1625 : : }
1626 : 6306 : }
1627 : :
1628 : :
1629 : : /*
1630 : : doNumber -
1631 : : */
1632 : :
1633 : 0 : static void doNumber (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
1634 : : {
1635 : 0 : unsigned int sym[_sym_high+1];
1636 : :
1637 : : /* make a local copy of each unbounded array. */
1638 : 0 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
1639 : :
1640 : 0 : if (empty (eb))
1641 : : {
1642 : 0 : (*eb).quotes = false;
1643 : 0 : OutGlyphS (eb, StringConvert_ctos (sym[bol], 0, ' '));
1644 : : }
1645 : 0 : }
1646 : :
1647 : :
1648 : : /*
1649 : : doCount -
1650 : : */
1651 : :
1652 : 2004 : static void doCount (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
1653 : : {
1654 : 2004 : unsigned int sym[_sym_high+1];
1655 : :
1656 : : /* make a local copy of each unbounded array. */
1657 : 2004 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
1658 : :
1659 : 2004 : if (empty (eb))
1660 : : {
1661 : 2004 : (*eb).quotes = false;
1662 : 2004 : OutGlyphS (eb, StringConvert_ctos (sym[bol], 0, ' '));
1663 : 2004 : if (((sym[bol] % 100) >= 11) && ((sym[bol] % 100) <= 13))
1664 : : {
1665 : 0 : OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "th", 2)));
1666 : : }
1667 : :
1668 : : else {
1669 : 2004 : switch (sym[bol] % 10)
1670 : : {
1671 : 1638 : case 1:
1672 : 1638 : OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "st", 2)));
1673 : 1638 : break;
1674 : :
1675 : 318 : case 2:
1676 : 318 : OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "nd", 2)));
1677 : 318 : break;
1678 : :
1679 : 18 : case 3:
1680 : 18 : OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "rd", 2)));
1681 : 18 : break;
1682 : :
1683 : :
1684 : 30 : default:
1685 : 30 : OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "th", 2)));
1686 : 30 : break;
1687 : : }
1688 : : }
1689 : : }
1690 : 4008 : }
1691 : :
1692 : :
1693 : : /*
1694 : : doCount -
1695 : : */
1696 : :
1697 : 32662 : static void doAscii (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
1698 : : {
1699 : 32662 : unsigned int sym[_sym_high+1];
1700 : :
1701 : : /* make a local copy of each unbounded array. */
1702 : 32662 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
1703 : :
1704 : 32626 : if ((((sym[bol] == SymbolTable_NulSym) || (! (empty (eb)))) || (SymbolTable_IsTemporary (sym[bol]))) || (SymbolTable_IsNameAnonymous (sym[bol])))
1705 : : {
1706 : 120 : return;
1707 : : }
1708 : : else
1709 : : {
1710 : 32542 : OutGlyphS (eb, DynamicStrings_InitStringCharStar (NameKey_KeyToCharStar (SymbolTable_GetSymName (sym[bol]))));
1711 : : }
1712 : 32662 : }
1713 : :
1714 : :
1715 : : /*
1716 : : unquotedKeyword -
1717 : : */
1718 : :
1719 : 582 : static void unquotedKeyword (M2MetaError_errorBlock *eb)
1720 : : {
1721 : 582 : (*eb).quotes = false;
1722 : 0 : keyword (eb);
1723 : 0 : }
1724 : :
1725 : :
1726 : : /*
1727 : : OutArray -
1728 : : */
1729 : :
1730 : 54 : static void OutArray (M2MetaError_errorBlock *eb, const char *a_, unsigned int _a_high)
1731 : : {
1732 : 54 : char a[_a_high+1];
1733 : :
1734 : : /* make a local copy of each unbounded array. */
1735 : 54 : memcpy (a, a_, _a_high+1);
1736 : :
1737 : 54 : OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)));
1738 : 54 : }
1739 : :
1740 : :
1741 : : /*
1742 : : OutGlyphS - outputs a string of glyphs.
1743 : : */
1744 : :
1745 : 74042 : static void OutGlyphS (M2MetaError_errorBlock *eb, DynamicStrings_String s)
1746 : : {
1747 : 74042 : if ((DynamicStrings_Length (s)) > 0)
1748 : : {
1749 : 74042 : flushColor (eb);
1750 : 74042 : checkMe ();
1751 : 74042 : (*eb).glyph = true;
1752 : 74042 : (*eb).out = DynamicStrings_ConCat ((*eb).out, s);
1753 : : }
1754 : 74042 : }
1755 : :
1756 : :
1757 : : /*
1758 : : empty - returns TRUE if the output string is empty.
1759 : : It ignores color changes.
1760 : : */
1761 : :
1762 : 145184 : static bool empty (M2MetaError_errorBlock *eb)
1763 : : {
1764 : 80906 : return ! (*eb).glyph;
1765 : : /* static analysis guarentees a RETURN statement will be used before here. */
1766 : : __builtin_unreachable ();
1767 : : }
1768 : :
1769 : :
1770 : : /*
1771 : : clear - remove the output string.
1772 : : */
1773 : :
1774 : 45268 : static void clear (M2MetaError_errorBlock *eb)
1775 : : {
1776 : 45268 : (*eb).out = DynamicStrings_KillString ((*eb).out);
1777 : 45268 : (*eb).out = DynamicStrings_InitString ((const char *) "", 0);
1778 : 45268 : (*eb).glyph = false;
1779 : 45268 : (*eb).beginCol = M2MetaError_unsetColor;
1780 : 45268 : (*eb).quotes = false;
1781 : 45268 : }
1782 : :
1783 : :
1784 : : /*
1785 : : clear - remove the output string.
1786 : : */
1787 : :
1788 : 26218 : static void doName (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
1789 : : {
1790 : 26218 : unsigned int sym[_sym_high+1];
1791 : :
1792 : : /* make a local copy of each unbounded array. */
1793 : 26218 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
1794 : :
1795 : 20951 : if ((((! (empty (eb))) || (sym[bol] == SymbolTable_NulSym)) || (SymbolTable_IsTemporary (sym[bol]))) || (SymbolTable_IsNameAnonymous (sym[bol])))
1796 : : {
1797 : 7793 : return;
1798 : : }
1799 : : else
1800 : : {
1801 : 18425 : if (sym[bol] == M2Base_ZType)
1802 : : {
1803 : 48 : (*eb).quotes = false;
1804 : 48 : OutArray (eb, (const char *) "the ZType", 9);
1805 : : }
1806 : 18377 : else if (sym[bol] == M2Base_RType)
1807 : : {
1808 : : /* avoid dangling else. */
1809 : 6 : (*eb).quotes = false;
1810 : 6 : OutArray (eb, (const char *) "the RType", 9);
1811 : : }
1812 : : else
1813 : : {
1814 : : /* avoid dangling else. */
1815 : 18371 : doAscii (eb, (const unsigned int *) sym, _sym_high, bol);
1816 : : }
1817 : : }
1818 : 26218 : }
1819 : :
1820 : :
1821 : : /*
1822 : : clear - remove the output string.
1823 : : */
1824 : :
1825 : 0 : static void doQualified (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
1826 : : {
1827 : 0 : typedef struct doQualified__T3_a doQualified__T3;
1828 : :
1829 : 0 : struct doQualified__T3_a { unsigned int array[1+1]; };
1830 : 0 : doQualified__T3 mod;
1831 : 0 : unsigned int sym[_sym_high+1];
1832 : :
1833 : : /* make a local copy of each unbounded array. */
1834 : 0 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
1835 : :
1836 : 0 : if ((((! (empty (eb))) || (sym[bol] == SymbolTable_NulSym)) || (SymbolTable_IsTemporary (sym[bol]))) || (SymbolTable_IsNameAnonymous (sym[bol])))
1837 : : {
1838 : 0 : return;
1839 : : }
1840 : : else
1841 : : {
1842 : 0 : mod.array[0] = SymbolTable_GetScope (sym[bol]);
1843 : 0 : if ((SymbolTable_IsDefImp (mod.array[0])) && (SymbolTable_IsExported (mod.array[0], sym[bol])))
1844 : : {
1845 : 0 : doAscii (eb, (const unsigned int *) &mod.array[0], 1, 0);
1846 : 0 : OutArray (eb, (const char *) ".", 1);
1847 : 0 : OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitStringCharStar (NameKey_KeyToCharStar (SymbolTable_GetSymName (sym[bol])))));
1848 : : }
1849 : : else
1850 : : {
1851 : 0 : doAscii (eb, (const unsigned int *) sym, _sym_high, bol);
1852 : : }
1853 : : }
1854 : 0 : }
1855 : :
1856 : :
1857 : : /*
1858 : : doType - returns a string containing the type name of
1859 : : sym.
1860 : : */
1861 : :
1862 : 14273 : static void doType (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
1863 : : {
1864 : 14273 : unsigned int sym[_sym_high+1];
1865 : :
1866 : : /* make a local copy of each unbounded array. */
1867 : 14273 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
1868 : :
1869 : 14267 : if ((! (empty (eb))) || (sym[bol] == SymbolTable_NulSym))
1870 : : {
1871 : 6 : return;
1872 : : }
1873 : : else
1874 : : {
1875 : 14267 : const_cast<unsigned int *>(sym)[bol] = SymbolTable_GetType (sym[bol]);
1876 : 14267 : doAscii (eb, (const unsigned int *) sym, _sym_high, bol);
1877 : : }
1878 : 14273 : }
1879 : :
1880 : :
1881 : : /*
1882 : : doSkipType - will skip all pseudonym types. It also
1883 : : returns the type symbol found and name.
1884 : : */
1885 : :
1886 : 9414 : static void doSkipType (M2MetaError_errorBlock eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
1887 : : {
1888 : 9414 : unsigned int sym[_sym_high+1];
1889 : :
1890 : : /* make a local copy of each unbounded array. */
1891 : 9414 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
1892 : :
1893 : 24 : if ((! (empty (&eb))) || (sym[bol] == SymbolTable_NulSym))
1894 : : {
1895 : 9390 : return;
1896 : : }
1897 : : else
1898 : : {
1899 : 24 : const_cast<unsigned int *>(sym)[bol] = SymbolTable_SkipType (sym[bol]);
1900 : 24 : while ((SymbolTable_IsType (sym[bol])) && (((SymbolTable_GetSymName (sym[bol])) == NameKey_NulName) || (SymbolTable_IsNameAnonymous (sym[bol]))))
1901 : : {
1902 : 0 : const_cast<unsigned int *>(sym)[bol] = SymbolTable_GetType (sym[bol]);
1903 : : }
1904 : 24 : doAscii (&eb, (const unsigned int *) sym, _sym_high, bol);
1905 : : }
1906 : 9414 : }
1907 : :
1908 : :
1909 : : /*
1910 : : doGetType - attempts to get the type of sym[bol].
1911 : : */
1912 : :
1913 : 0 : static void doGetType (M2MetaError_errorBlock *eb, unsigned int *sym, unsigned int _sym_high, unsigned int bol)
1914 : : {
1915 : 0 : if (((bol > _sym_high) || (! (empty (eb)))) || (sym[bol] == SymbolTable_NulSym))
1916 : : {
1917 : : return;
1918 : : }
1919 : : else
1920 : : {
1921 : 0 : const_cast<unsigned int *>(sym)[bol] = SymbolTable_GetType (sym[bol]);
1922 : : }
1923 : : }
1924 : :
1925 : :
1926 : : /*
1927 : : doGetSkipType - will skip all pseudonym types. It also
1928 : : returns the type symbol found and name.
1929 : : */
1930 : :
1931 : 0 : static void doGetSkipType (M2MetaError_errorBlock *eb, unsigned int *sym, unsigned int _sym_high, unsigned int bol)
1932 : : {
1933 : 0 : unsigned int prev;
1934 : :
1935 : 0 : if (((bol > _sym_high) || (! (empty (eb)))) || (sym[bol] == SymbolTable_NulSym))
1936 : : {
1937 : : return;
1938 : : }
1939 : : else
1940 : : {
1941 : 0 : do {
1942 : 0 : prev = sym[bol];
1943 : 0 : const_cast<unsigned int *>(sym)[bol] = SymbolTable_SkipType (sym[bol]);
1944 : 0 : if (((SymbolTable_IsType (sym[bol])) && (((SymbolTable_GetSymName (sym[bol])) == NameKey_NulName) || (SymbolTable_IsNameAnonymous (sym[bol])))) && ((SymbolTable_GetType (sym[bol])) != SymbolTable_NulSym))
1945 : : {
1946 : 0 : const_cast<unsigned int *>(sym)[bol] = SymbolTable_GetType (sym[bol]);
1947 : : }
1948 : 0 : } while (! (sym[bol] == prev));
1949 : : }
1950 : : }
1951 : :
1952 : :
1953 : : /*
1954 : : doChain -
1955 : : */
1956 : :
1957 : 162 : static void doChain (M2MetaError_errorBlock *eb, unsigned int tok)
1958 : : {
1959 : 162 : if (lastRoot == NULL)
1960 : : {
1961 : 0 : M2Error_InternalError ((const char *) "should not be chaining an error onto an empty error note", 56);
1962 : : }
1963 : : else
1964 : : {
1965 : 162 : (*eb).e = M2Error_ChainError (tok, lastRoot);
1966 : : }
1967 : 162 : }
1968 : :
1969 : :
1970 : : /*
1971 : : doError - creates and returns an error note.
1972 : : */
1973 : :
1974 : 3007 : static void doError (M2MetaError_errorBlock *eb, unsigned int tok)
1975 : : {
1976 : 0 : if ((*eb).useError)
1977 : : {
1978 : 3007 : chooseError (eb, tok);
1979 : : }
1980 : 0 : }
1981 : :
1982 : :
1983 : : /*
1984 : : defaultError - adds the default error location to, tok, if one has not already been
1985 : : assigned.
1986 : : */
1987 : :
1988 : 3001 : static void defaultError (M2MetaError_errorBlock *eb, unsigned int tok)
1989 : : {
1990 : 3001 : if ((*eb).e == NULL)
1991 : : {
1992 : 2577 : doError (eb, tok);
1993 : : }
1994 : 3001 : }
1995 : :
1996 : :
1997 : : /*
1998 : : chooseError - choose the error kind dependant upon type.
1999 : : Either an error, warning or note will be generated.
2000 : : */
2001 : :
2002 : 3007 : static void chooseError (M2MetaError_errorBlock *eb, unsigned int tok)
2003 : : {
2004 : 3007 : if ((*eb).chain)
2005 : : {
2006 : 48 : doChain (eb, tok);
2007 : : }
2008 : : else
2009 : : {
2010 : 2959 : switch ((*eb).type)
2011 : : {
2012 : 114 : case M2MetaError_chained:
2013 : 114 : doChain (eb, tok);
2014 : 114 : break;
2015 : :
2016 : 2236 : case M2MetaError_none:
2017 : 2236 : case M2MetaError_aborta:
2018 : 2236 : case M2MetaError_error:
2019 : 2236 : if ((*eb).e == NULL)
2020 : : {
2021 : 2236 : (*eb).e = M2Error_NewError (tok);
2022 : : }
2023 : : else
2024 : : {
2025 : 0 : (*eb).e = M2Error_MoveError ((*eb).e, tok);
2026 : : }
2027 : : break;
2028 : :
2029 : 594 : case M2MetaError_warning:
2030 : 594 : if ((*eb).e == NULL)
2031 : : {
2032 : 594 : (*eb).e = M2Error_NewWarning (tok);
2033 : : }
2034 : : else
2035 : : {
2036 : 0 : (*eb).e = M2Error_MoveError ((*eb).e, tok);
2037 : : }
2038 : : break;
2039 : :
2040 : 15 : case M2MetaError_note:
2041 : 15 : if ((*eb).e == NULL)
2042 : : {
2043 : 15 : (*eb).e = M2Error_NewNote (tok);
2044 : : }
2045 : : else
2046 : : {
2047 : 0 : (*eb).e = M2Error_MoveError ((*eb).e, tok);
2048 : : }
2049 : : break;
2050 : :
2051 : :
2052 : 0 : default:
2053 : 0 : M2Error_InternalError ((const char *) "unexpected enumeration value", 28);
2054 : 3007 : break;
2055 : : }
2056 : : }
2057 : 3007 : if ((*eb).root)
2058 : : {
2059 : 42 : lastRoot = (*eb).e;
2060 : 42 : lastColor = findColorType ((*eb).in);
2061 : : }
2062 : 3007 : (*eb).e = M2Error_SetColor ((*eb).e);
2063 : 3007 : }
2064 : :
2065 : :
2066 : : /*
2067 : : doErrorScopeModule -
2068 : : */
2069 : :
2070 : 36 : static void doErrorScopeModule (M2MetaError_errorBlock *eb, unsigned int sym)
2071 : : {
2072 : 36 : unsigned int scope;
2073 : :
2074 : 36 : scope = SymbolTable_GetScope (sym);
2075 : 36 : if (SymbolTable_IsModule (scope))
2076 : : {
2077 : 30 : if (SymbolTable_IsInnerModule (scope))
2078 : : {
2079 : 0 : doError (eb, SymbolTable_GetDeclaredMod (sym));
2080 : : }
2081 : : else
2082 : : {
2083 : 30 : doError (eb, SymbolTable_GetDeclaredMod (sym));
2084 : : }
2085 : : }
2086 : : else
2087 : : {
2088 : 6 : M2Debug_Assert (SymbolTable_IsDefImp (scope));
2089 : : /* if this fails then we need to skip to the outer scope.
2090 : : REPEAT
2091 : : OuterModule := GetScope(OuterModule)
2092 : : UNTIL GetScope(OuterModule)=NulSym. */
2093 : 6 : if ((SymbolTable_GetDeclaredModule (sym)) == M2LexBuf_UnknownTokenNo)
2094 : : {
2095 : 0 : doError (eb, SymbolTable_GetDeclaredDef (sym));
2096 : : }
2097 : : else
2098 : : {
2099 : 6 : doError (eb, SymbolTable_GetDeclaredMod (sym));
2100 : : }
2101 : : }
2102 : 36 : }
2103 : :
2104 : :
2105 : : /*
2106 : : doErrorScopeForward -
2107 : : */
2108 : :
2109 : 0 : static void doErrorScopeForward (M2MetaError_errorBlock *eb, unsigned int sym)
2110 : : {
2111 : 0 : unsigned int scope;
2112 : :
2113 : 0 : scope = SymbolTable_GetScope (sym);
2114 : 0 : if (SymbolTable_IsModule (scope))
2115 : : {
2116 : 0 : if (SymbolTable_IsInnerModule (scope))
2117 : : {
2118 : 0 : doError (eb, SymbolTable_GetDeclaredFor (sym));
2119 : : }
2120 : : else
2121 : : {
2122 : 0 : doError (eb, SymbolTable_GetDeclaredFor (sym));
2123 : : }
2124 : : }
2125 : : else
2126 : : {
2127 : 0 : M2Debug_Assert (SymbolTable_IsDefImp (scope));
2128 : : /* if this fails then we need to skip to the outer scope.
2129 : : REPEAT
2130 : : OuterModule := GetScope(OuterModule)
2131 : : UNTIL GetScope(OuterModule)=NulSym. */
2132 : 0 : if ((SymbolTable_GetDeclaredModule (sym)) == M2LexBuf_UnknownTokenNo)
2133 : : {
2134 : 0 : doError (eb, SymbolTable_GetDeclaredDef (sym));
2135 : : }
2136 : : else
2137 : : {
2138 : 0 : doError (eb, SymbolTable_GetDeclaredFor (sym));
2139 : : }
2140 : : }
2141 : 0 : }
2142 : :
2143 : :
2144 : : /*
2145 : : doErrorScopeMod - potentially create an error referring to the definition
2146 : : module, fall back to the implementation or program module if
2147 : : there is no declaration in the definition module.
2148 : : */
2149 : :
2150 : 52 : static void doErrorScopeMod (M2MetaError_errorBlock *eb, unsigned int sym)
2151 : : {
2152 : 52 : unsigned int scope;
2153 : :
2154 : 52 : scope = SymbolTable_GetScope (sym);
2155 : 52 : if (scope == SymbolTable_NulSym)
2156 : : {
2157 : 16 : M2Error_EnterErrorScope (static_cast<M2Error_ErrorScope> (NULL));
2158 : 16 : doError (eb, SymbolTable_GetDeclaredMod (sym));
2159 : : }
2160 : : else
2161 : : {
2162 : 36 : M2Error_EnterErrorScope (SymbolTable_GetErrorScope (scope));
2163 : 36 : if (SymbolTable_IsProcedure (scope))
2164 : : {
2165 : 0 : doError (eb, SymbolTable_GetDeclaredMod (sym));
2166 : : }
2167 : : else
2168 : : {
2169 : 36 : doErrorScopeModule (eb, sym);
2170 : : }
2171 : : }
2172 : 52 : M2Error_LeaveErrorScope ();
2173 : 52 : }
2174 : :
2175 : :
2176 : : /*
2177 : : doErrorScopeFor - potentially create an error referring to the
2178 : : forward declaration, definition module, fall back
2179 : : to the implementation or program module if
2180 : : there is no declaration in the definition module.
2181 : : */
2182 : :
2183 : 0 : static void doErrorScopeFor (M2MetaError_errorBlock *eb, unsigned int sym)
2184 : : {
2185 : 0 : unsigned int scope;
2186 : :
2187 : 0 : scope = SymbolTable_GetScope (sym);
2188 : 0 : if (scope == SymbolTable_NulSym)
2189 : : {
2190 : 0 : M2Error_EnterErrorScope (static_cast<M2Error_ErrorScope> (NULL));
2191 : 0 : doError (eb, SymbolTable_GetDeclaredFor (sym));
2192 : : }
2193 : : else
2194 : : {
2195 : 0 : M2Error_EnterErrorScope (SymbolTable_GetErrorScope (scope));
2196 : 0 : if (SymbolTable_IsProcedure (scope))
2197 : : {
2198 : 0 : doError (eb, SymbolTable_GetDeclaredFor (sym));
2199 : : }
2200 : : else
2201 : : {
2202 : 0 : doErrorScopeForward (eb, sym);
2203 : : }
2204 : : }
2205 : 0 : M2Error_LeaveErrorScope ();
2206 : 0 : }
2207 : :
2208 : 52 : static void declaredMod (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
2209 : : {
2210 : 52 : unsigned int sym[_sym_high+1];
2211 : :
2212 : : /* make a local copy of each unbounded array. */
2213 : 52 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
2214 : :
2215 : : /*
2216 : : doDeclaredMod - creates an error note where sym[bol] was declared.
2217 : : */
2218 : 52 : if (bol <= _sym_high)
2219 : : {
2220 : 52 : doErrorScopeMod (eb, sym[bol]);
2221 : : }
2222 : 52 : }
2223 : :
2224 : :
2225 : : /*
2226 : : doErrorScopeDefinition - use the declaration in the definitio module if one is available.
2227 : : */
2228 : :
2229 : 126 : static void doErrorScopeDefinition (M2MetaError_errorBlock *eb, unsigned int sym)
2230 : : {
2231 : 126 : unsigned int scope;
2232 : :
2233 : 126 : scope = SymbolTable_GetScope (sym);
2234 : 126 : if (SymbolTable_IsModule (scope))
2235 : : {
2236 : : /* No definition module for a program module. */
2237 : 126 : doError (eb, SymbolTable_GetDeclaredMod (sym));
2238 : : }
2239 : : else
2240 : : {
2241 : 0 : M2Debug_Assert (SymbolTable_IsDefImp (scope));
2242 : 0 : if ((SymbolTable_GetDeclaredDefinition (sym)) == M2LexBuf_UnknownTokenNo)
2243 : : {
2244 : : /* Fall back to the implementation module if no declaration exists
2245 : : in the definition module. */
2246 : 0 : doError (eb, SymbolTable_GetDeclaredMod (sym));
2247 : : }
2248 : : else
2249 : : {
2250 : 0 : doError (eb, SymbolTable_GetDeclaredDef (sym));
2251 : : }
2252 : : }
2253 : 126 : }
2254 : :
2255 : :
2256 : : /*
2257 : : doErrorScopeDef - potentially create an error referring to the definition
2258 : : module, fall back to the implementation or program module if
2259 : : there is no declaration in the definition module.
2260 : : */
2261 : :
2262 : 126 : static void doErrorScopeDef (M2MetaError_errorBlock *eb, unsigned int sym)
2263 : : {
2264 : 126 : unsigned int scope;
2265 : :
2266 : 126 : scope = SymbolTable_GetScope (sym);
2267 : 126 : if (scope == SymbolTable_NulSym)
2268 : : {
2269 : 0 : M2Error_EnterErrorScope (static_cast<M2Error_ErrorScope> (NULL));
2270 : 0 : doError (eb, SymbolTable_GetDeclaredFor (sym));
2271 : : }
2272 : : else
2273 : : {
2274 : 126 : M2Error_EnterErrorScope (SymbolTable_GetErrorScope (scope));
2275 : 126 : if (SymbolTable_IsProcedure (scope))
2276 : : {
2277 : 0 : doError (eb, SymbolTable_GetDeclaredDef (sym));
2278 : : }
2279 : : else
2280 : : {
2281 : 126 : doErrorScopeDefinition (eb, sym);
2282 : : }
2283 : : }
2284 : 126 : M2Error_LeaveErrorScope ();
2285 : 126 : }
2286 : :
2287 : 126 : static void declaredDef (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
2288 : : {
2289 : 126 : unsigned int sym[_sym_high+1];
2290 : :
2291 : : /* make a local copy of each unbounded array. */
2292 : 126 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
2293 : :
2294 : : /*
2295 : : doDeclaredDef - creates an error note where sym[bol] was declared.
2296 : : */
2297 : 126 : if (bol <= _sym_high)
2298 : : {
2299 : 126 : doErrorScopeDef (eb, sym[bol]);
2300 : : }
2301 : 126 : }
2302 : :
2303 : 0 : static void declaredFor (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
2304 : : {
2305 : 0 : unsigned int sym[_sym_high+1];
2306 : :
2307 : : /* make a local copy of each unbounded array. */
2308 : 0 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
2309 : :
2310 : : /*
2311 : : doDeclaredFor - creates an error note where sym[bol] was declared.
2312 : : */
2313 : 0 : if (bol <= _sym_high)
2314 : : {
2315 : 0 : doErrorScopeFor (eb, sym[bol]);
2316 : : }
2317 : 0 : }
2318 : :
2319 : :
2320 : : /*
2321 : : doErrorScopeProc - determine the location for the error or warning from
2322 : : the default declaration. For example parameters can be
2323 : : declared in definition, forward or in modules (proper procedure).
2324 : : Use GetVarParamTok to obtain a variable or parameter location.
2325 : : */
2326 : :
2327 : 120 : static void doErrorScopeProc (M2MetaError_errorBlock *eb, unsigned int sym, M2MetaError_GetTokProcedure GetVarParamTok)
2328 : : {
2329 : 120 : unsigned int scope;
2330 : :
2331 : 120 : scope = SymbolTable_GetScope (sym);
2332 : 120 : if (scope == SymbolTable_NulSym)
2333 : : {
2334 : 60 : M2Error_EnterErrorScope (static_cast<M2Error_ErrorScope> (NULL));
2335 : 60 : doError (eb, SymbolTable_GetDeclaredDef (sym));
2336 : : }
2337 : : else
2338 : : {
2339 : 60 : M2Error_EnterErrorScope (SymbolTable_GetErrorScope (scope));
2340 : 60 : if (SymbolTable_IsProcedure (scope))
2341 : : {
2342 : 60 : if ((SymbolTable_IsVar (sym)) || (SymbolTable_IsParameter (sym)))
2343 : : {
2344 : 60 : doError (eb, (unsigned int ) ((*GetVarParamTok.proc) (sym)));
2345 : : }
2346 : : else
2347 : : {
2348 : 0 : doError (eb, SymbolTable_GetDeclaredDef (sym));
2349 : : }
2350 : : }
2351 : : else
2352 : : {
2353 : 0 : if (SymbolTable_IsModule (scope))
2354 : : {
2355 : 0 : if (SymbolTable_IsInnerModule (scope))
2356 : : {
2357 : 0 : doError (eb, SymbolTable_GetDeclaredDef (sym));
2358 : : }
2359 : : else
2360 : : {
2361 : 0 : doError (eb, SymbolTable_GetDeclaredDef (sym));
2362 : : }
2363 : : }
2364 : : else
2365 : : {
2366 : 0 : M2Debug_Assert (SymbolTable_IsDefImp (scope));
2367 : : /* if this fails then we need to skip to the outer scope.
2368 : : REPEAT
2369 : : OuterModule := GetScope(OuterModule)
2370 : : UNTIL GetScope(OuterModule)=NulSym ; */
2371 : 0 : if ((SymbolTable_GetDeclaredDefinition (sym)) == M2LexBuf_UnknownTokenNo)
2372 : : {
2373 : 0 : doError (eb, SymbolTable_GetDeclaredMod (sym));
2374 : : }
2375 : : else
2376 : : {
2377 : 0 : doError (eb, SymbolTable_GetDeclaredDef (sym));
2378 : : }
2379 : : }
2380 : : }
2381 : : }
2382 : 120 : M2Error_LeaveErrorScope ();
2383 : 120 : }
2384 : :
2385 : 84 : static void declaredVar (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
2386 : : {
2387 : 84 : unsigned int sym[_sym_high+1];
2388 : :
2389 : : /* make a local copy of each unbounded array. */
2390 : 84 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
2391 : :
2392 : : /*
2393 : : doDeclaredVar - creates an error note where sym[bol] was declared.
2394 : : */
2395 : 84 : if (bol <= _sym_high)
2396 : : {
2397 : 84 : doErrorScopeProc (eb, sym[bol], (M2MetaError_GetTokProcedure) {(M2MetaError_GetTokProcedure_t) SymbolTable_GetVarDeclTok});
2398 : : }
2399 : 84 : }
2400 : :
2401 : 0 : static void declaredType (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
2402 : : {
2403 : 0 : unsigned int sym[_sym_high+1];
2404 : :
2405 : : /* make a local copy of each unbounded array. */
2406 : 0 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
2407 : :
2408 : : /*
2409 : : doDeclaredType - creates an error note where sym[bol] was declared.
2410 : : */
2411 : 0 : if (bol <= _sym_high)
2412 : : {
2413 : 0 : doErrorScopeProc (eb, sym[bol], (M2MetaError_GetTokProcedure) {(M2MetaError_GetTokProcedure_t) SymbolTable_GetVarDeclTypeTok});
2414 : : }
2415 : 0 : }
2416 : :
2417 : 36 : static void declaredFull (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
2418 : : {
2419 : 36 : unsigned int sym[_sym_high+1];
2420 : :
2421 : : /* make a local copy of each unbounded array. */
2422 : 36 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
2423 : :
2424 : : /*
2425 : : doDeclaredFull - creates an error note where sym[bol] was declared.
2426 : : */
2427 : 36 : if (bol <= _sym_high)
2428 : : {
2429 : 36 : doErrorScopeProc (eb, sym[bol], (M2MetaError_GetTokProcedure) {(M2MetaError_GetTokProcedure_t) SymbolTable_GetVarDeclFullTok});
2430 : : }
2431 : 36 : }
2432 : :
2433 : :
2434 : : /*
2435 : : used - creates an error note where sym[bol] was first used.
2436 : : */
2437 : :
2438 : 132 : static void used (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
2439 : : {
2440 : 132 : unsigned int sym[_sym_high+1];
2441 : :
2442 : : /* make a local copy of each unbounded array. */
2443 : 132 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
2444 : :
2445 : 132 : if (bol <= _sym_high)
2446 : : {
2447 : 132 : doError (eb, SymbolTable_GetFirstUsed (sym[bol]));
2448 : : }
2449 : 132 : }
2450 : :
2451 : :
2452 : : /*
2453 : : symDesc -
2454 : : */
2455 : :
2456 : 858 : static DynamicStrings_String symDesc (unsigned int sym)
2457 : : {
2458 : 858 : if (SymbolTable_IsConstLit (sym))
2459 : : {
2460 : 6 : return DynamicStrings_InitString ((const char *) "constant literal", 16);
2461 : : }
2462 : 852 : else if (SymbolTable_IsConstSet (sym))
2463 : : {
2464 : : /* avoid dangling else. */
2465 : 30 : return DynamicStrings_InitString ((const char *) "constant set", 12);
2466 : : }
2467 : 822 : else if (SymbolTable_IsConstructor (sym))
2468 : : {
2469 : : /* avoid dangling else. */
2470 : 12 : return DynamicStrings_InitString ((const char *) "constructor", 11);
2471 : : }
2472 : 810 : else if (SymbolTable_IsConst (sym))
2473 : : {
2474 : : /* avoid dangling else. */
2475 : 6 : return DynamicStrings_InitString ((const char *) "constant", 8);
2476 : : }
2477 : 804 : else if (SymbolTable_IsArray (sym))
2478 : : {
2479 : : /* avoid dangling else. */
2480 : 48 : return DynamicStrings_InitString ((const char *) "array", 5);
2481 : : }
2482 : 756 : else if (SymbolTable_IsVar (sym))
2483 : : {
2484 : : /* avoid dangling else. */
2485 : 534 : if (SymbolTable_IsTemporary (sym))
2486 : : {
2487 : 384 : return DynamicStrings_InitString ((const char *) "expression", 10);
2488 : : }
2489 : : else
2490 : : {
2491 : 150 : return DynamicStrings_InitString ((const char *) "variable", 8);
2492 : : }
2493 : : }
2494 : 222 : else if (SymbolTable_IsEnumeration (sym))
2495 : : {
2496 : : /* avoid dangling else. */
2497 : 6 : return DynamicStrings_InitString ((const char *) "enumeration type", 16);
2498 : : }
2499 : 216 : else if (SymbolTable_IsFieldEnumeration (sym))
2500 : : {
2501 : : /* avoid dangling else. */
2502 : 0 : return DynamicStrings_InitString ((const char *) "enumeration field", 17);
2503 : : }
2504 : 216 : else if (SymbolTable_IsUnbounded (sym))
2505 : : {
2506 : : /* avoid dangling else. */
2507 : 24 : return DynamicStrings_InitString ((const char *) "unbounded parameter", 19);
2508 : : }
2509 : 192 : else if (SymbolTable_IsProcType (sym))
2510 : : {
2511 : : /* avoid dangling else. */
2512 : 12 : return DynamicStrings_InitString ((const char *) "procedure type", 14);
2513 : : }
2514 : 180 : else if (M2Base_IsPseudoBaseFunction (sym))
2515 : : {
2516 : : /* avoid dangling else. */
2517 : 6 : return DynamicStrings_InitString ((const char *) "standard function procedure", 27);
2518 : : }
2519 : 174 : else if (M2Base_IsPseudoBaseProcedure (sym))
2520 : : {
2521 : : /* avoid dangling else. */
2522 : 0 : return DynamicStrings_InitString ((const char *) "standard procedure", 18);
2523 : : }
2524 : 174 : else if (SymbolTable_IsProcedure (sym))
2525 : : {
2526 : : /* avoid dangling else. */
2527 : 6 : return DynamicStrings_InitString ((const char *) "procedure", 9);
2528 : : }
2529 : 168 : else if (SymbolTable_IsPointer (sym))
2530 : : {
2531 : : /* avoid dangling else. */
2532 : 0 : return DynamicStrings_InitString ((const char *) "pointer", 7);
2533 : : }
2534 : 168 : else if (SymbolTable_IsParameter (sym))
2535 : : {
2536 : : /* avoid dangling else. */
2537 : 30 : if (SymbolTable_IsParameterVar (sym))
2538 : : {
2539 : 24 : return DynamicStrings_InitString ((const char *) "var parameter", 13);
2540 : : }
2541 : : else
2542 : : {
2543 : 6 : return DynamicStrings_InitString ((const char *) "parameter", 9);
2544 : : }
2545 : : }
2546 : 138 : else if (SymbolTable_IsType (sym))
2547 : : {
2548 : : /* avoid dangling else. */
2549 : 0 : return DynamicStrings_InitString ((const char *) "type", 4);
2550 : : }
2551 : 138 : else if (SymbolTable_IsRecord (sym))
2552 : : {
2553 : : /* avoid dangling else. */
2554 : 6 : return DynamicStrings_InitString ((const char *) "record", 6);
2555 : : }
2556 : 132 : else if (SymbolTable_IsRecordField (sym))
2557 : : {
2558 : : /* avoid dangling else. */
2559 : 0 : return DynamicStrings_InitString ((const char *) "record field", 12);
2560 : : }
2561 : 132 : else if (SymbolTable_IsVarient (sym))
2562 : : {
2563 : : /* avoid dangling else. */
2564 : 0 : return DynamicStrings_InitString ((const char *) "varient record", 14);
2565 : : }
2566 : 132 : else if (SymbolTable_IsModule (sym))
2567 : : {
2568 : : /* avoid dangling else. */
2569 : 0 : return DynamicStrings_InitString ((const char *) "module", 6);
2570 : : }
2571 : 132 : else if (SymbolTable_IsDefImp (sym))
2572 : : {
2573 : : /* avoid dangling else. */
2574 : 0 : return DynamicStrings_InitString ((const char *) "definition or implementation module", 35);
2575 : : }
2576 : 132 : else if (SymbolTable_IsSet (sym))
2577 : : {
2578 : : /* avoid dangling else. */
2579 : 24 : return DynamicStrings_InitString ((const char *) "set", 3);
2580 : : }
2581 : 108 : else if (SymbolTable_IsUnknown (sym))
2582 : : {
2583 : : /* avoid dangling else. */
2584 : 18 : return DynamicStrings_InitString ((const char *) "an unknown", 10);
2585 : : }
2586 : 90 : else if (SymbolTable_IsSubrange (sym))
2587 : : {
2588 : : /* avoid dangling else. */
2589 : 90 : return DynamicStrings_InitString ((const char *) "subrange", 8);
2590 : : }
2591 : : else
2592 : : {
2593 : : /* avoid dangling else. */
2594 : 0 : return DynamicStrings_InitString ((const char *) "", 0);
2595 : : }
2596 : : /* static analysis guarentees a RETURN statement will be used before here. */
2597 : : __builtin_unreachable ();
2598 : : }
2599 : :
2600 : :
2601 : : /*
2602 : : doDesc -
2603 : : */
2604 : :
2605 : 8217 : static void doDesc (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
2606 : : {
2607 : 8217 : unsigned int sym[_sym_high+1];
2608 : :
2609 : : /* make a local copy of each unbounded array. */
2610 : 8217 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
2611 : :
2612 : 8217 : if (empty (eb))
2613 : : {
2614 : 858 : OutGlyphS (eb, symDesc (sym[bol]));
2615 : 858 : if (! (empty (eb)))
2616 : : {
2617 : 858 : (*eb).quotes = false;
2618 : : }
2619 : : }
2620 : 8217 : }
2621 : :
2622 : :
2623 : : /*
2624 : : op := {'!'|'a'|'c'|'d'|'k'|'n'|'p'|'q'|'s'|'t'|'u'|
2625 : : 'A'|'B'|'C'|'D'|'E'|'F'|'G'|'H'|'K'|'M'|'N'|
2626 : : 'O'|'P'|'Q'|'R'|'S'|'T'|'U'|'V'|'W'|'X'|'Y'|'Z'} then =:
2627 : : */
2628 : :
2629 : 38962 : static void op (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
2630 : : {
2631 : 38962 : unsigned int sym[_sym_high+1];
2632 : :
2633 : : /* make a local copy of each unbounded array. */
2634 : 38962 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
2635 : :
2636 : 118919 : while (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
2637 : : {
2638 : 79957 : if (Debugging)
2639 : : {
2640 : : M2Printf_printf0 ((const char *) "while loop in op\\n", 18);
2641 : : dump ((*eb));
2642 : : }
2643 : 79957 : switch (DynamicStrings_char ((*eb).in, (*eb).ini))
2644 : : {
2645 : 0 : case '!':
2646 : 0 : (*eb).positive = ! (*eb).positive;
2647 : 0 : break;
2648 : :
2649 : 26218 : case 'a':
2650 : 26218 : doName (eb, (const unsigned int *) sym, _sym_high, bol);
2651 : 26218 : break;
2652 : :
2653 : 0 : case 'c':
2654 : 0 : (*eb).currentCol = readColor (eb);
2655 : 0 : (*eb).ini -= 1;
2656 : 0 : break;
2657 : :
2658 : 8217 : case 'd':
2659 : 8217 : doDesc (eb, (const unsigned int *) sym, _sym_high, bol);
2660 : 8217 : break;
2661 : :
2662 : 582 : case 'k':
2663 : 582 : unquotedKeyword (eb);
2664 : 582 : (*eb).ini -= 1;
2665 : 582 : break;
2666 : :
2667 : 0 : case 'n':
2668 : 0 : doNumber (eb, (const unsigned int *) sym, _sym_high, bol);
2669 : 0 : break;
2670 : :
2671 : 0 : case 'p':
2672 : 0 : popColor (eb);
2673 : 0 : break;
2674 : :
2675 : 0 : case 'q':
2676 : 0 : doQualified (eb, (const unsigned int *) sym, _sym_high, bol);
2677 : 0 : break;
2678 : :
2679 : 9414 : case 's':
2680 : 9414 : doSkipType ((*eb), (const unsigned int *) sym, _sym_high, bol);
2681 : 9414 : break;
2682 : :
2683 : 14273 : case 't':
2684 : 14273 : doType (eb, (const unsigned int *) sym, _sym_high, bol);
2685 : 14273 : break;
2686 : :
2687 : 0 : case 'u':
2688 : 0 : (*eb).quotes = false;
2689 : 0 : break;
2690 : :
2691 : 82 : case 'A':
2692 : 82 : (*eb).type = M2MetaError_aborta;
2693 : 82 : seenAbort = true;
2694 : 82 : break;
2695 : :
2696 : 0 : case 'B':
2697 : 0 : declaredType (eb, (const unsigned int *) sym, _sym_high, bol);
2698 : 0 : break;
2699 : :
2700 : 42 : case 'C':
2701 : 42 : (*eb).chain = true;
2702 : 42 : break;
2703 : :
2704 : 126 : case 'D':
2705 : 126 : declaredDef (eb, (const unsigned int *) sym, _sym_high, bol);
2706 : 126 : break;
2707 : :
2708 : 1642 : case 'E':
2709 : 1642 : (*eb).type = M2MetaError_error;
2710 : 1642 : break;
2711 : :
2712 : 0 : case 'F':
2713 : 0 : filename (eb);
2714 : 0 : (*eb).ini -= 1;
2715 : 0 : break;
2716 : :
2717 : 0 : case 'G':
2718 : 0 : declaredFor (eb, (const unsigned int *) sym, _sym_high, bol);
2719 : 0 : break;
2720 : :
2721 : 36 : case 'H':
2722 : 36 : declaredFull (eb, (const unsigned int *) sym, _sym_high, bol);
2723 : 36 : break;
2724 : :
2725 : 546 : case 'K':
2726 : 546 : keyword (eb);
2727 : 546 : (*eb).ini -= 1;
2728 : 546 : break;
2729 : :
2730 : 52 : case 'M':
2731 : 52 : declaredMod (eb, (const unsigned int *) sym, _sym_high, bol);
2732 : 52 : break;
2733 : :
2734 : 2004 : case 'N':
2735 : 2004 : doCount (eb, (const unsigned int *) sym, _sym_high, bol);
2736 : 2004 : break;
2737 : :
2738 : 15 : case 'O':
2739 : 15 : (*eb).type = M2MetaError_note;
2740 : 15 : break;
2741 : :
2742 : 0 : case 'P':
2743 : 0 : pushColor (eb);
2744 : 0 : break;
2745 : :
2746 : 0 : case 'Q':
2747 : 0 : resetDictionary ();
2748 : 0 : break;
2749 : :
2750 : 42 : case 'R':
2751 : 42 : (*eb).root = true;
2752 : 42 : break;
2753 : :
2754 : 0 : case 'S':
2755 : 0 : doGetSkipType (eb, (unsigned int *) sym, _sym_high, bol);
2756 : 0 : break;
2757 : :
2758 : 0 : case 'T':
2759 : 0 : doGetType (eb, (unsigned int *) sym, _sym_high, bol);
2760 : 0 : break;
2761 : :
2762 : 132 : case 'U':
2763 : 132 : used (eb, (const unsigned int *) sym, _sym_high, bol);
2764 : 132 : break;
2765 : :
2766 : 84 : case 'V':
2767 : 84 : declaredVar (eb, (const unsigned int *) sym, _sym_high, bol);
2768 : 84 : break;
2769 : :
2770 : 10144 : case 'W':
2771 : 10144 : (*eb).type = M2MetaError_warning;
2772 : 10144 : break;
2773 : :
2774 : 0 : case 'X':
2775 : 0 : pushOutput (eb);
2776 : 0 : break;
2777 : :
2778 : 0 : case 'Y':
2779 : 0 : processDefine (eb);
2780 : 0 : break;
2781 : :
2782 : 0 : case 'Z':
2783 : 0 : popOutput (eb);
2784 : 0 : break;
2785 : :
2786 : 6306 : case ':':
2787 : 6306 : ifNonNulThen (eb, (const unsigned int *) sym, _sym_high);
2788 : 6306 : (*eb).ini -= 1;
2789 : 6306 : break;
2790 : :
2791 : 0 : case '1':
2792 : 0 : M2Error_InternalError ((const char *) "incorrect format spec, expecting %1 rather than % spec 1", 56);
2793 : 0 : break;
2794 : :
2795 : 0 : case '2':
2796 : 0 : M2Error_InternalError ((const char *) "incorrect format spec, expecting %2 rather than % spec 2", 56);
2797 : 0 : break;
2798 : :
2799 : 0 : case '3':
2800 : 0 : M2Error_InternalError ((const char *) "incorrect format spec, expecting %3 rather than % spec 3", 56);
2801 : 0 : break;
2802 : :
2803 : 0 : case '4':
2804 : 0 : M2Error_InternalError ((const char *) "incorrect format spec, expecting %4 rather than % spec 4", 56);
2805 : 0 : break;
2806 : :
2807 : :
2808 : 0 : default:
2809 : 0 : InternalFormat ((*eb), (const char *) "expecting one of [akqtdnpsuCDEFGKNOPQRSTUWXYZ:<>%]", 50, 1750);
2810 : : break;
2811 : : }
2812 : 79957 : (*eb).ini += 1;
2813 : : }
2814 : 38962 : if (Debugging)
2815 : : {
2816 : : M2Printf_printf0 ((const char *) "finishing op\\n", 14);
2817 : : dump ((*eb));
2818 : : }
2819 : 38962 : }
2820 : :
2821 : :
2822 : : /*
2823 : : percenttoken := '%' (
2824 : : '1' % doOperand(1) %
2825 : : op
2826 : : | '2' % doOperand(2) %
2827 : : op
2828 : : | '3' % doOperand(3) %
2829 : : op
2830 : : | '4' % doOperand(4) %
2831 : : op
2832 : : )
2833 : : } =:
2834 : : */
2835 : :
2836 : 38962 : static void percenttoken (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high)
2837 : : {
2838 : 38962 : unsigned int sym[_sym_high+1];
2839 : :
2840 : : /* make a local copy of each unbounded array. */
2841 : 38962 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
2842 : :
2843 : 38962 : if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
2844 : : {
2845 : 38962 : (*eb).ini += 1;
2846 : 38962 : switch (DynamicStrings_char ((*eb).in, (*eb).ini))
2847 : : {
2848 : 23021 : case '1':
2849 : 23021 : (*eb).ini += 1;
2850 : 23021 : op (eb, (const unsigned int *) sym, _sym_high, 0);
2851 : 23021 : break;
2852 : :
2853 : 12359 : case '2':
2854 : 12359 : (*eb).ini += 1;
2855 : 12359 : op (eb, (const unsigned int *) sym, _sym_high, 1);
2856 : 12359 : break;
2857 : :
2858 : 1908 : case '3':
2859 : 1908 : (*eb).ini += 1;
2860 : 1908 : op (eb, (const unsigned int *) sym, _sym_high, 2);
2861 : 1908 : break;
2862 : :
2863 : 204 : case '4':
2864 : 204 : (*eb).ini += 1;
2865 : 204 : op (eb, (const unsigned int *) sym, _sym_high, 3);
2866 : 204 : break;
2867 : :
2868 : :
2869 : 1470 : default:
2870 : 1470 : op (eb, (const unsigned int *) sym, _sym_high, 0);
2871 : 1470 : break;
2872 : : }
2873 : 38962 : if (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
2874 : : {
2875 : 0 : InternalFormat ((*eb), (const char *) "expecting to see }", 18, 1797);
2876 : : }
2877 : : }
2878 : 38962 : }
2879 : :
2880 : :
2881 : : /*
2882 : : changeColor - changes to color, c.
2883 : : */
2884 : :
2885 : 1218 : static void changeColor (M2MetaError_errorBlock *eb, M2MetaError_colorType c)
2886 : : {
2887 : 1218 : (*eb).currentCol = c;
2888 : 1128 : }
2889 : :
2890 : :
2891 : : /*
2892 : : shutdownColor - shutdown existing color if it exists.
2893 : : */
2894 : :
2895 : 98038 : static void shutdownColor (M2MetaError_errorBlock *eb)
2896 : : {
2897 : 98038 : if (((*eb).endCol != M2MetaError_unsetColor) && ((*eb).endCol != M2MetaError_noColor))
2898 : : {
2899 : 126266 : (*eb).out = colorEnd ((*eb).out);
2900 : 63133 : (*eb).endCol = M2MetaError_noColor;
2901 : : }
2902 : 98038 : }
2903 : :
2904 : :
2905 : : /*
2906 : : flushColor - flushes any outstanding color change.
2907 : : */
2908 : :
2909 : 1566130 : static void flushColor (M2MetaError_errorBlock *eb)
2910 : : {
2911 : 1566130 : if ((*eb).endCol != (*eb).currentCol)
2912 : : {
2913 : 70248 : shutdownColor (eb);
2914 : 70248 : if ((*eb).endCol != (*eb).currentCol)
2915 : : {
2916 : 72366 : emitColor (eb, (*eb).currentCol);
2917 : 36183 : (*eb).endCol = (*eb).currentCol;
2918 : : }
2919 : 70248 : if ((*eb).beginCol == M2MetaError_unsetColor)
2920 : : {
2921 : 21551 : (*eb).beginCol = (*eb).currentCol;
2922 : : }
2923 : : }
2924 : 1566130 : }
2925 : :
2926 : :
2927 : : /*
2928 : : emitColorGCC -
2929 : : */
2930 : :
2931 : 36183 : static void emitColorGCC (M2MetaError_errorBlock *eb, M2MetaError_colorType c)
2932 : : {
2933 : 36183 : switch (c)
2934 : : {
2935 : : case M2MetaError_unsetColor:
2936 : : break;
2937 : :
2938 : 306 : case M2MetaError_noColor:
2939 : 306 : (*eb).out = M2ColorString_endColor ((*eb).out);
2940 : 306 : break;
2941 : :
2942 : 0 : case M2MetaError_quoteColor:
2943 : 0 : (*eb).out = M2ColorString_quoteColor ((*eb).out);
2944 : 0 : break;
2945 : :
2946 : 0 : case M2MetaError_filenameColor:
2947 : 0 : (*eb).out = M2ColorString_filenameColor ((*eb).out);
2948 : 0 : break;
2949 : :
2950 : 10100 : case M2MetaError_errorColor:
2951 : 10100 : (*eb).out = M2ColorString_errorColor ((*eb).out);
2952 : 10100 : break;
2953 : :
2954 : 24607 : case M2MetaError_warningColor:
2955 : 24607 : (*eb).out = M2ColorString_warningColor ((*eb).out);
2956 : 24607 : break;
2957 : :
2958 : 42 : case M2MetaError_noteColor:
2959 : 42 : (*eb).out = M2ColorString_noteColor ((*eb).out);
2960 : 42 : break;
2961 : :
2962 : 1128 : case M2MetaError_keywordColor:
2963 : 1128 : (*eb).out = M2ColorString_locusColor ((*eb).out);
2964 : 1128 : break;
2965 : :
2966 : 0 : case M2MetaError_locusColor:
2967 : 0 : (*eb).out = M2ColorString_locusColor ((*eb).out);
2968 : 0 : break;
2969 : :
2970 : 0 : case M2MetaError_insertColor:
2971 : 0 : (*eb).out = M2ColorString_insertColor ((*eb).out);
2972 : 0 : break;
2973 : :
2974 : 0 : case M2MetaError_deleteColor:
2975 : 0 : (*eb).out = M2ColorString_deleteColor ((*eb).out);
2976 : 0 : break;
2977 : :
2978 : 0 : case M2MetaError_typeColor:
2979 : 0 : (*eb).out = M2ColorString_typeColor ((*eb).out);
2980 : 0 : break;
2981 : :
2982 : 0 : case M2MetaError_range1Color:
2983 : 0 : (*eb).out = M2ColorString_range1Color ((*eb).out);
2984 : 0 : break;
2985 : :
2986 : 0 : case M2MetaError_range2Color:
2987 : 0 : (*eb).out = M2ColorString_range2Color ((*eb).out);
2988 : 0 : break;
2989 : :
2990 : :
2991 : 0 : default:
2992 : 0 : CaseException ("/home/worker/buildworker/tiber-lcov/build/gcc/m2/gm2-compiler/M2MetaError.def", 20, 1);
2993 : 0 : __builtin_unreachable ();
2994 : : }
2995 : 36183 : }
2996 : :
2997 : :
2998 : : /*
2999 : : emitColorTag -
3000 : : */
3001 : :
3002 : 0 : static void emitColorTag (M2MetaError_errorBlock *eb, M2MetaError_colorType c)
3003 : : {
3004 : 0 : DynamicStrings_String s;
3005 : :
3006 : 0 : switch (c)
3007 : : {
3008 : 0 : case M2MetaError_unsetColor:
3009 : 0 : s = DynamicStrings_InitString ((const char *) "<unset>", 7);
3010 : 0 : break;
3011 : :
3012 : 0 : case M2MetaError_noColor:
3013 : 0 : s = DynamicStrings_InitString ((const char *) "<nocol>", 7);
3014 : 0 : stop ();
3015 : 0 : break;
3016 : :
3017 : 0 : case M2MetaError_quoteColor:
3018 : 0 : s = DynamicStrings_InitString ((const char *) "<quote>", 7);
3019 : 0 : break;
3020 : :
3021 : 0 : case M2MetaError_filenameColor:
3022 : 0 : s = DynamicStrings_InitString ((const char *) "<filename>", 10);
3023 : 0 : break;
3024 : :
3025 : 0 : case M2MetaError_errorColor:
3026 : 0 : s = DynamicStrings_InitString ((const char *) "<error>", 7);
3027 : 0 : break;
3028 : :
3029 : 0 : case M2MetaError_warningColor:
3030 : 0 : s = DynamicStrings_InitString ((const char *) "<warn>", 6);
3031 : 0 : break;
3032 : :
3033 : 0 : case M2MetaError_noteColor:
3034 : 0 : s = DynamicStrings_InitString ((const char *) "<note>", 6);
3035 : 0 : break;
3036 : :
3037 : 0 : case M2MetaError_keywordColor:
3038 : 0 : s = DynamicStrings_InitString ((const char *) "<key>", 5);
3039 : 0 : break;
3040 : :
3041 : 0 : case M2MetaError_locusColor:
3042 : 0 : s = DynamicStrings_InitString ((const char *) "<locus>", 7);
3043 : 0 : break;
3044 : :
3045 : 0 : case M2MetaError_insertColor:
3046 : 0 : s = DynamicStrings_InitString ((const char *) "<insert>", 8);
3047 : 0 : break;
3048 : :
3049 : 0 : case M2MetaError_deleteColor:
3050 : 0 : s = DynamicStrings_InitString ((const char *) "<delete>", 8);
3051 : 0 : break;
3052 : :
3053 : 0 : case M2MetaError_typeColor:
3054 : 0 : s = DynamicStrings_InitString ((const char *) "<type>", 6);
3055 : 0 : break;
3056 : :
3057 : 0 : case M2MetaError_range1Color:
3058 : 0 : s = DynamicStrings_InitString ((const char *) "<range1>", 8);
3059 : 0 : break;
3060 : :
3061 : 0 : case M2MetaError_range2Color:
3062 : 0 : s = DynamicStrings_InitString ((const char *) "<range2>", 8);
3063 : 0 : break;
3064 : :
3065 : :
3066 : 0 : default:
3067 : 0 : CaseException ("/home/worker/buildworker/tiber-lcov/build/gcc/m2/gm2-compiler/M2MetaError.def", 20, 1);
3068 : 0 : __builtin_unreachable ();
3069 : : }
3070 : 0 : (*eb).out = DynamicStrings_ConCat ((*eb).out, DynamicStrings_Mark (s));
3071 : 0 : }
3072 : :
3073 : :
3074 : : /*
3075 : : emitColor - adds the appropriate color string to the output string.
3076 : : */
3077 : :
3078 : 36183 : static void emitColor (M2MetaError_errorBlock *eb, M2MetaError_colorType c)
3079 : : {
3080 : 36183 : if (ColorDebug)
3081 : : {
3082 : : emitColorTag (eb, c);
3083 : : }
3084 : : else
3085 : : {
3086 : 36183 : emitColorGCC (eb, c);
3087 : : }
3088 : 0 : }
3089 : :
3090 : :
3091 : : /*
3092 : : openQuote -
3093 : : */
3094 : :
3095 : 27880 : static DynamicStrings_String openQuote (DynamicStrings_String s)
3096 : : {
3097 : 27880 : if (ColorDebug)
3098 : : {
3099 : : return DynamicStrings_ConCat (s, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "<openquote>", 11)));
3100 : : }
3101 : : else
3102 : : {
3103 : 27790 : return M2ColorString_quoteOpen (s);
3104 : : }
3105 : : /* static analysis guarentees a RETURN statement will be used before here. */
3106 : : __builtin_unreachable ();
3107 : : }
3108 : :
3109 : :
3110 : : /*
3111 : : closeQuote -
3112 : : */
3113 : :
3114 : 27880 : static DynamicStrings_String closeQuote (DynamicStrings_String s)
3115 : : {
3116 : 27880 : if (ColorDebug)
3117 : : {
3118 : : return DynamicStrings_ConCat (s, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "<closequote>", 12)));
3119 : : }
3120 : : else
3121 : : {
3122 : 27790 : return M2ColorString_quoteClose (s);
3123 : : }
3124 : : /* static analysis guarentees a RETURN statement will be used before here. */
3125 : : __builtin_unreachable ();
3126 : : }
3127 : :
3128 : :
3129 : : /*
3130 : : colorEnd -
3131 : : */
3132 : :
3133 : 63133 : static DynamicStrings_String colorEnd (DynamicStrings_String s)
3134 : : {
3135 : 63133 : stop ();
3136 : 63133 : if (ColorDebug)
3137 : : {
3138 : : return DynamicStrings_ConCat (s, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "<nocol>", 7)));
3139 : : }
3140 : : else
3141 : : {
3142 : 63133 : return M2ColorString_endColor (s);
3143 : : }
3144 : : /* static analysis guarentees a RETURN statement will be used before here. */
3145 : : __builtin_unreachable ();
3146 : : }
3147 : :
3148 : :
3149 : : /*
3150 : : copyChar - copies a character from in string to out string.
3151 : : */
3152 : :
3153 : 1428714 : static void copyChar (M2MetaError_errorBlock *eb)
3154 : : {
3155 : 1428714 : if ((*eb).ini < (*eb).len)
3156 : : {
3157 : 1428714 : flushColor (eb);
3158 : 1428714 : checkMe ();
3159 : 1428714 : (*eb).glyph = true;
3160 : 1428714 : (*eb).out = x ((*eb).out, DynamicStrings_ConCatChar ((*eb).out, DynamicStrings_char ((*eb).in, (*eb).ini)));
3161 : : }
3162 : 1428714 : }
3163 : :
3164 : :
3165 : : /*
3166 : : copyKeywordChar - copies a character from in string to out string
3167 : : it will convert the character to lower case if the
3168 : : -fm2-lower-case option was specified.
3169 : : */
3170 : :
3171 : 4902 : static void copyKeywordChar (M2MetaError_errorBlock *eb)
3172 : : {
3173 : 4902 : char ch;
3174 : :
3175 : 4902 : if ((*eb).ini < (*eb).len)
3176 : : {
3177 : 4902 : flushColor (eb);
3178 : 4902 : ch = DynamicStrings_char ((*eb).in, (*eb).ini);
3179 : 4902 : if (M2Options_LowerCaseKeywords)
3180 : : {
3181 : 0 : ch = StrCase_Lower (ch);
3182 : : }
3183 : 4902 : (*eb).glyph = true;
3184 : 4902 : (*eb).out = x ((*eb).out, DynamicStrings_ConCatChar ((*eb).out, ch));
3185 : : }
3186 : 4902 : }
3187 : :
3188 : :
3189 : : /*
3190 : : percent := '%' anych % copy anych %
3191 : : =:
3192 : : */
3193 : :
3194 : 186 : static void percent (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high)
3195 : : {
3196 : 186 : unsigned int sym[_sym_high+1];
3197 : :
3198 : : /* make a local copy of each unbounded array. */
3199 : 186 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
3200 : :
3201 : 186 : if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
3202 : : {
3203 : 186 : (*eb).ini += 1;
3204 : 186 : if ((*eb).ini < (*eb).len)
3205 : : {
3206 : : /* avoid gcc warning by using compound statement even if not strictly necessary. */
3207 : 186 : if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '<')
3208 : : {
3209 : : /* %< is a quotation symbol. */
3210 : 90 : pushColor (eb);
3211 : 90 : (*eb).currentCol = M2MetaError_noColor;
3212 : 90 : flushColor (eb);
3213 : 90 : changeColor (eb, M2MetaError_quoteColor);
3214 : 90 : (*eb).endCol = M2MetaError_quoteColor;
3215 : : /* OutGlyphS performs a flush and we are emitting the open quote glyph. */
3216 : 90 : OutGlyphS (eb, openQuote (DynamicStrings_InitString ((const char *) "", 0)));
3217 : : }
3218 : 96 : else if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '>')
3219 : : {
3220 : : /* avoid dangling else. */
3221 : 90 : OutGlyphS (eb, closeQuote (DynamicStrings_InitString ((const char *) "", 0)));
3222 : 90 : (*eb).endCol = M2MetaError_noColor; /* closeQuote also turns off color. */
3223 : 90 : popColor (eb); /* closeQuote also turns off color. */
3224 : : }
3225 : : else
3226 : : {
3227 : : /* avoid dangling else. */
3228 : 6 : copyChar (eb);
3229 : : }
3230 : : }
3231 : : }
3232 : 186 : }
3233 : :
3234 : :
3235 : : /*
3236 : : lbra := '{' [ '!' ] percenttoken '}' =:
3237 : : */
3238 : :
3239 : 38962 : static void lbra (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high)
3240 : : {
3241 : 38962 : unsigned int sym[_sym_high+1];
3242 : :
3243 : : /* make a local copy of each unbounded array. */
3244 : 38962 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
3245 : :
3246 : 38962 : if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '{')
3247 : : {
3248 : 38962 : (*eb).positive = true;
3249 : 38962 : (*eb).ini += 1;
3250 : 38962 : if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '!')
3251 : : {
3252 : 0 : (*eb).positive = false;
3253 : 0 : (*eb).ini += 1;
3254 : : }
3255 : 38962 : if ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '%')
3256 : : {
3257 : 0 : InternalFormat ((*eb), (const char *) "expecting to see %", 18, 2059);
3258 : : }
3259 : 38962 : percenttoken (eb, (const unsigned int *) sym, _sym_high);
3260 : 38962 : if (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
3261 : : {
3262 : 0 : InternalFormat ((*eb), (const char *) "expecting to see }", 18, 2064);
3263 : : }
3264 : : }
3265 : 38962 : }
3266 : :
3267 : :
3268 : : /*
3269 : : lbra := '{' [ '!' ] percenttoken '}' =:
3270 : : */
3271 : :
3272 : 0 : static void stop (void)
3273 : : {
3274 : 0 : }
3275 : :
3276 : :
3277 : : /*
3278 : : lbra := '{' [ '!' ] percenttoken '}' =:
3279 : : */
3280 : :
3281 : 0 : static void checkMe (void)
3282 : : {
3283 : 0 : }
3284 : :
3285 : :
3286 : : /*
3287 : : dumpErrorType -
3288 : : */
3289 : :
3290 : 0 : static void dumpErrorType (M2MetaError_errorType e)
3291 : : {
3292 : 0 : switch (e)
3293 : : {
3294 : 0 : case M2MetaError_none:
3295 : 0 : M2Printf_printf0 ((const char *) "none", 4);
3296 : 0 : break;
3297 : :
3298 : 0 : case M2MetaError_error:
3299 : 0 : M2Printf_printf0 ((const char *) "error", 5);
3300 : 0 : break;
3301 : :
3302 : 0 : case M2MetaError_warning:
3303 : 0 : M2Printf_printf0 ((const char *) "warning", 7);
3304 : 0 : break;
3305 : :
3306 : 0 : case M2MetaError_note:
3307 : 0 : M2Printf_printf0 ((const char *) "note", 4);
3308 : 0 : break;
3309 : :
3310 : 0 : case M2MetaError_chained:
3311 : 0 : M2Printf_printf0 ((const char *) "chained", 7);
3312 : 0 : break;
3313 : :
3314 : 0 : case M2MetaError_aborta:
3315 : 0 : M2Printf_printf0 ((const char *) "abort", 5);
3316 : 0 : break;
3317 : :
3318 : :
3319 : 0 : default:
3320 : 0 : CaseException ("/home/worker/buildworker/tiber-lcov/build/gcc/m2/gm2-compiler/M2MetaError.def", 20, 1);
3321 : 0 : __builtin_unreachable ();
3322 : : }
3323 : 0 : }
3324 : :
3325 : :
3326 : : /*
3327 : : dumpColorType -
3328 : : */
3329 : :
3330 : 0 : static void dumpColorType (M2MetaError_colorType c)
3331 : : {
3332 : 0 : switch (c)
3333 : : {
3334 : 0 : case M2MetaError_unsetColor:
3335 : 0 : M2Printf_printf0 ((const char *) "unsetColor", 10);
3336 : 0 : break;
3337 : :
3338 : 0 : case M2MetaError_noColor:
3339 : 0 : M2Printf_printf0 ((const char *) "noColor", 7);
3340 : 0 : break;
3341 : :
3342 : 0 : case M2MetaError_quoteColor:
3343 : 0 : M2Printf_printf0 ((const char *) "quoteColor", 10);
3344 : 0 : break;
3345 : :
3346 : 0 : case M2MetaError_filenameColor:
3347 : 0 : M2Printf_printf0 ((const char *) "filenameColor", 13);
3348 : 0 : break;
3349 : :
3350 : 0 : case M2MetaError_errorColor:
3351 : 0 : M2Printf_printf0 ((const char *) "errorColor", 10);
3352 : 0 : break;
3353 : :
3354 : 0 : case M2MetaError_warningColor:
3355 : 0 : M2Printf_printf0 ((const char *) "warningColor", 12);
3356 : 0 : break;
3357 : :
3358 : 0 : case M2MetaError_noteColor:
3359 : 0 : M2Printf_printf0 ((const char *) "noteColor", 9);
3360 : 0 : break;
3361 : :
3362 : 0 : case M2MetaError_keywordColor:
3363 : 0 : M2Printf_printf0 ((const char *) "keywordColor", 12);
3364 : 0 : break;
3365 : :
3366 : 0 : case M2MetaError_locusColor:
3367 : 0 : M2Printf_printf0 ((const char *) "locusColor", 10);
3368 : 0 : break;
3369 : :
3370 : 0 : case M2MetaError_insertColor:
3371 : 0 : M2Printf_printf0 ((const char *) "insertColor", 11);
3372 : 0 : break;
3373 : :
3374 : 0 : case M2MetaError_deleteColor:
3375 : 0 : M2Printf_printf0 ((const char *) "deleteColor", 11);
3376 : 0 : break;
3377 : :
3378 : 0 : case M2MetaError_typeColor:
3379 : 0 : M2Printf_printf0 ((const char *) "typeColor", 9);
3380 : 0 : break;
3381 : :
3382 : 0 : case M2MetaError_range1Color:
3383 : 0 : M2Printf_printf0 ((const char *) "range1Color", 11);
3384 : 0 : break;
3385 : :
3386 : 0 : case M2MetaError_range2Color:
3387 : 0 : M2Printf_printf0 ((const char *) "range2Color", 11);
3388 : 0 : break;
3389 : :
3390 : :
3391 : 0 : default:
3392 : 0 : CaseException ("/home/worker/buildworker/tiber-lcov/build/gcc/m2/gm2-compiler/M2MetaError.def", 20, 1);
3393 : 0 : __builtin_unreachable ();
3394 : : }
3395 : 0 : }
3396 : :
3397 : :
3398 : : /*
3399 : : dump -
3400 : :
3401 : : */
3402 : :
3403 : 0 : static void dump (M2MetaError_errorBlock eb)
3404 : : {
3405 : 0 : char ch;
3406 : 0 : unsigned int l;
3407 : 0 : int i;
3408 : :
3409 : 0 : l = DynamicStrings_Length (eb.out);
3410 : 0 : M2Printf_printf0 ((const char *) "\\n\\nerrorBlock\\n", 16);
3411 : 0 : M2Printf_printf0 ((const char *) "\\ntype = ", 14);
3412 : 0 : dumpErrorType (eb.type);
3413 : 0 : M2Printf_printf1 ((const char *) "\\nout = |%s|", 18, (const unsigned char *) &eb.out, (sizeof (eb.out)-1));
3414 : 0 : M2Printf_printf1 ((const char *) "\\nin = |%s|", 18, (const unsigned char *) &eb.in, (sizeof (eb.in)-1));
3415 : 0 : M2Printf_printf1 ((const char *) "\\nLength (out) = %d", 19, (const unsigned char *) &l, (sizeof (l)-1));
3416 : 0 : M2Printf_printf1 ((const char *) "\\nlen = %d", 16, (const unsigned char *) &eb.len, (sizeof (eb.len)-1));
3417 : 0 : M2Printf_printf1 ((const char *) "\\nhighplus1 = %d", 16, (const unsigned char *) &eb.highplus1, (sizeof (eb.highplus1)-1));
3418 : 0 : M2Printf_printf1 ((const char *) "\\nglyph = %d", 16, (const unsigned char *) &eb.glyph, (sizeof (eb.glyph)-1));
3419 : 0 : M2Printf_printf1 ((const char *) "\\nquotes = %d", 16, (const unsigned char *) &eb.quotes, (sizeof (eb.quotes)-1));
3420 : 0 : M2Printf_printf1 ((const char *) "\\npositive = %d", 16, (const unsigned char *) &eb.positive, (sizeof (eb.positive)-1));
3421 : 0 : M2Printf_printf0 ((const char *) "\\nbeginCol = ", 14);
3422 : 0 : dumpColorType (eb.beginCol);
3423 : 0 : M2Printf_printf0 ((const char *) "\\nendCol = ", 14);
3424 : 0 : dumpColorType (eb.endCol);
3425 : 0 : M2Printf_printf0 ((const char *) "\\ncurrentCol = ", 15);
3426 : 0 : dumpColorType (eb.currentCol);
3427 : 0 : M2Printf_printf1 ((const char *) "\\nini = %d", 17, (const unsigned char *) &eb.ini, (sizeof (eb.ini)-1));
3428 : 0 : if (eb.ini < eb.len)
3429 : : {
3430 : 0 : ch = DynamicStrings_char (eb.in, eb.ini);
3431 : 0 : M2Printf_printf1 ((const char *) "\\ncurrent char = %c", 19, (const unsigned char *) &ch, (sizeof (ch)-1));
3432 : 0 : M2Printf_printf1 ((const char *) "\\n%s\\n", 6, (const unsigned char *) &eb.in, (sizeof (eb.in)-1));
3433 : 0 : i = 0;
3434 : 0 : while (i < eb.ini)
3435 : : {
3436 : 0 : M2Printf_printf0 ((const char *) " ", 1);
3437 : 0 : i += 1;
3438 : : }
3439 : 0 : M2Printf_printf0 ((const char *) "^\\n", 3);
3440 : : }
3441 : 0 : M2Printf_printf0 ((const char *) "\\n", 2);
3442 : 0 : }
3443 : :
3444 : :
3445 : : /*
3446 : : ebnf := { percent
3447 : : | lbra
3448 : : | any % copy ch %
3449 : : }
3450 : : =:
3451 : : */
3452 : :
3453 : 20597 : static void ebnf (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high)
3454 : : {
3455 : 20597 : M2MetaError_errorBlock nb;
3456 : 20597 : unsigned int sym[_sym_high+1];
3457 : :
3458 : : /* make a local copy of each unbounded array. */
3459 : 20597 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
3460 : :
3461 : 20597 : if (Debugging)
3462 : : {
3463 : : M2Printf_printf0 ((const char *) "top of ebnf\\n", 13);
3464 : : dump ((*eb));
3465 : : }
3466 : 1490505 : while ((*eb).ini < (*eb).len)
3467 : : {
3468 : 1475212 : if (Debugging)
3469 : : {
3470 : : M2Printf_printf0 ((const char *) "while loop ebnf\\n", 17);
3471 : : dump ((*eb));
3472 : : }
3473 : 1475212 : switch (DynamicStrings_char ((*eb).in, (*eb).ini))
3474 : : {
3475 : 0 : case '!':
3476 : 0 : (*eb).positive = ! (*eb).positive;
3477 : 0 : break;
3478 : :
3479 : 186 : case '%':
3480 : 186 : percent (eb, (const unsigned int *) sym, _sym_high);
3481 : 186 : break;
3482 : :
3483 : 38962 : case '{':
3484 : 38962 : push (&nb, (*eb));
3485 : 38962 : lbra (&nb, (const unsigned int *) sym, _sym_high);
3486 : 38962 : pop (eb, &nb);
3487 : 38962 : if (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
3488 : : {
3489 : 0 : InternalFormat ((*eb), (const char *) "expecting to see }", 18, 2195);
3490 : : }
3491 : : break;
3492 : :
3493 : 5304 : case '}':
3494 : 5304 : return;
3495 : 1430760 : break;
3496 : :
3497 : :
3498 : 1430760 : default:
3499 : 1430760 : if (((((IsWhite (DynamicStrings_char ((*eb).in, (*eb).ini))) && ((DynamicStrings_Length ((*eb).out)) > 0)) && (! (IsWhite (DynamicStrings_char ((*eb).out, -1))))) || (! (IsWhite (DynamicStrings_char ((*eb).in, (*eb).ini))))) && ((*eb).highplus1 > 0))
3500 : : {
3501 : 1428708 : (*eb).quotes = false; /* copying a normal character, don't quote the result. */
3502 : 1428708 : copyChar (eb); /* copying a normal character, don't quote the result. */
3503 : : }
3504 : : break;
3505 : : }
3506 : 1469908 : (*eb).ini += 1;
3507 : : }
3508 : 15293 : (*eb).currentCol = M2MetaError_noColor;
3509 : 15293 : flushColor (eb);
3510 : 15293 : if (Debugging)
3511 : : {
3512 : : M2Printf_printf0 ((const char *) "finishing ebnf\\n", 16);
3513 : : dump ((*eb));
3514 : : }
3515 : 20597 : }
3516 : :
3517 : :
3518 : : /*
3519 : : wrapErrors -
3520 : : */
3521 : :
3522 : 114 : static void wrapErrors (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, const unsigned int *sym_, unsigned int _sym_high)
3523 : : {
3524 : 114 : M2MetaError_errorBlock eb;
3525 : 114 : char m1[_m1_high+1];
3526 : 114 : char m2[_m2_high+1];
3527 : 114 : unsigned int sym[_sym_high+1];
3528 : :
3529 : : /* make a local copy of each unbounded array. */
3530 : 114 : memcpy (m1, m1_, _m1_high+1);
3531 : 114 : memcpy (m2, m2_, _m2_high+1);
3532 : 114 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
3533 : :
3534 : 114 : initErrorBlock (&eb, DynamicStrings_InitString ((const char *) m1, _m1_high), (const unsigned int *) sym, _sym_high);
3535 : 114 : ebnf (&eb, (const unsigned int *) sym, _sym_high);
3536 : 114 : flushColor (&eb);
3537 : 114 : defaultError (&eb, tok);
3538 : 114 : lastRoot = eb.e;
3539 : 114 : M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
3540 : 114 : killErrorBlock (&eb);
3541 : 114 : initErrorBlock (&eb, DynamicStrings_InitString ((const char *) m2, _m2_high), (const unsigned int *) sym, _sym_high);
3542 : 114 : eb.type = M2MetaError_chained;
3543 : 114 : ebnf (&eb, (const unsigned int *) sym, _sym_high);
3544 : 114 : flushColor (&eb);
3545 : 114 : defaultError (&eb, tok);
3546 : 114 : M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
3547 : 114 : killErrorBlock (&eb);
3548 : 114 : }
3549 : :
3550 : :
3551 : : /*
3552 : : checkAbort - checks to see if the boolean flag seenAbort has been set,
3553 : : if so it flushes all existing errors and terminates.
3554 : : */
3555 : :
3556 : 2773 : static void checkAbort (void)
3557 : : {
3558 : 2773 : if (seenAbort)
3559 : : {
3560 : 82 : M2Error_FlushWarnings ();
3561 : 82 : M2Error_FlushErrors ();
3562 : : }
3563 : 2691 : }
3564 : :
3565 : :
3566 : : /*
3567 : : translate -
3568 : : */
3569 : :
3570 : 0 : static DynamicStrings_String translate (DynamicStrings_String m, DynamicStrings_String s, int *i, NameKey_Name name)
3571 : : {
3572 : 0 : int l;
3573 : 0 : char ch;
3574 : :
3575 : 0 : l = DynamicStrings_Length (m);
3576 : 0 : while (((*i) >= 0) && ((*i) < l))
3577 : : {
3578 : 0 : ch = DynamicStrings_char (m, (*i));
3579 : 0 : if ((ch == '%') && ((*i) < l))
3580 : : {
3581 : 0 : (*i) += 1;
3582 : 0 : ch = DynamicStrings_char (m, (*i));
3583 : 0 : (*i) += 1;
3584 : 0 : if (ch == 'a')
3585 : : {
3586 : 0 : s = DynamicStrings_ConCat (s, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "%<", 2)));
3587 : 0 : s = DynamicStrings_ConCat (s, DynamicStrings_Mark (DynamicStrings_InitStringCharStar (NameKey_KeyToCharStar (name))));
3588 : 0 : s = DynamicStrings_ConCat (s, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "%>", 2)));
3589 : 0 : return s;
3590 : : }
3591 : 0 : s = DynamicStrings_ConCatChar (s, '%');
3592 : : }
3593 : 0 : s = DynamicStrings_ConCatChar (s, ch);
3594 : 0 : (*i) += 1;
3595 : : }
3596 : : return s;
3597 : : /* static analysis guarentees a RETURN statement will be used before here. */
3598 : : __builtin_unreachable ();
3599 : : }
3600 : :
3601 : :
3602 : : /*
3603 : : wrapString - return a string which has been formatted with the specifier codes.
3604 : : Color is disabled. The result string is returned.
3605 : : */
3606 : :
3607 : 12298 : static DynamicStrings_String wrapString (DynamicStrings_String m, const unsigned int *sym_, unsigned int _sym_high)
3608 : : {
3609 : 12298 : M2MetaError_errorBlock eb;
3610 : 12298 : DynamicStrings_String s;
3611 : 12298 : bool old;
3612 : 12298 : unsigned int sym[_sym_high+1];
3613 : :
3614 : : /* make a local copy of each unbounded array. */
3615 : 12298 : memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
3616 : :
3617 : 24596 : old = M2ColorString_SetEnableColor (false);
3618 : 12298 : initErrorBlock (&eb, DynamicStrings_Dup (m), (const unsigned int *) sym, _sym_high);
3619 : 12298 : eb.useError = false;
3620 : 12298 : ebnf (&eb, (const unsigned int *) sym, _sym_high);
3621 : 12298 : flushColor (&eb);
3622 : 12298 : s = DynamicStrings_Dup (eb.out);
3623 : 12298 : killErrorBlock (&eb);
3624 : 12298 : old = M2ColorString_SetEnableColor (old);
3625 : 12298 : return s;
3626 : : /* static analysis guarentees a RETURN statement will be used before here. */
3627 : : __builtin_unreachable ();
3628 : 12298 : }
3629 : :
3630 : 0 : extern "C" void M2MetaError_MetaError0 (const char *m_, unsigned int _m_high)
3631 : : {
3632 : 0 : char m[_m_high+1];
3633 : :
3634 : : /* make a local copy of each unbounded array. */
3635 : 0 : memcpy (m, m_, _m_high+1);
3636 : :
3637 : 0 : M2MetaError_MetaErrorT0 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high);
3638 : 0 : }
3639 : :
3640 : 64 : extern "C" void M2MetaError_MetaError1 (const char *m_, unsigned int _m_high, unsigned int s)
3641 : : {
3642 : 64 : char m[_m_high+1];
3643 : :
3644 : : /* make a local copy of each unbounded array. */
3645 : 64 : memcpy (m, m_, _m_high+1);
3646 : :
3647 : 64 : M2MetaError_MetaErrorT1 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high, s);
3648 : 64 : }
3649 : :
3650 : 18 : extern "C" void M2MetaError_MetaError2 (const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2)
3651 : : {
3652 : 18 : char m[_m_high+1];
3653 : :
3654 : : /* make a local copy of each unbounded array. */
3655 : 18 : memcpy (m, m_, _m_high+1);
3656 : :
3657 : 18 : M2MetaError_MetaErrorT2 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high, s1, s2);
3658 : 18 : }
3659 : :
3660 : 0 : extern "C" void M2MetaError_MetaError3 (const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3)
3661 : : {
3662 : 0 : char m[_m_high+1];
3663 : :
3664 : : /* make a local copy of each unbounded array. */
3665 : 0 : memcpy (m, m_, _m_high+1);
3666 : :
3667 : 0 : M2MetaError_MetaErrorT3 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high, s1, s2, s3);
3668 : 0 : }
3669 : :
3670 : 0 : extern "C" void M2MetaError_MetaError4 (const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
3671 : : {
3672 : 0 : char m[_m_high+1];
3673 : :
3674 : : /* make a local copy of each unbounded array. */
3675 : 0 : memcpy (m, m_, _m_high+1);
3676 : :
3677 : 0 : M2MetaError_MetaErrorT4 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high, s1, s2, s3, s4);
3678 : 0 : }
3679 : :
3680 : :
3681 : : /*
3682 : : wrapErrors -
3683 : : */
3684 : :
3685 : 18 : extern "C" void M2MetaError_MetaErrors1 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s)
3686 : : {
3687 : 18 : char m1[_m1_high+1];
3688 : 18 : char m2[_m2_high+1];
3689 : :
3690 : : /* make a local copy of each unbounded array. */
3691 : 18 : memcpy (m1, m1_, _m1_high+1);
3692 : 18 : memcpy (m2, m2_, _m2_high+1);
3693 : :
3694 : 18 : M2MetaError_MetaErrorsT1 (M2LexBuf_GetTokenNo (), (const char *) m1, _m1_high, (const char *) m2, _m2_high, s);
3695 : 18 : }
3696 : :
3697 : :
3698 : : /*
3699 : : wrapErrors -
3700 : : */
3701 : :
3702 : 6 : extern "C" void M2MetaError_MetaErrors2 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2)
3703 : : {
3704 : 6 : char m1[_m1_high+1];
3705 : 6 : char m2[_m2_high+1];
3706 : :
3707 : : /* make a local copy of each unbounded array. */
3708 : 6 : memcpy (m1, m1_, _m1_high+1);
3709 : 6 : memcpy (m2, m2_, _m2_high+1);
3710 : :
3711 : 6 : M2MetaError_MetaErrorsT2 (M2LexBuf_GetTokenNo (), (const char *) m1, _m1_high, (const char *) m2, _m2_high, s1, s2);
3712 : 6 : }
3713 : :
3714 : :
3715 : : /*
3716 : : wrapErrors -
3717 : : */
3718 : :
3719 : 0 : extern "C" void M2MetaError_MetaErrors3 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3)
3720 : : {
3721 : 0 : char m1[_m1_high+1];
3722 : 0 : char m2[_m2_high+1];
3723 : :
3724 : : /* make a local copy of each unbounded array. */
3725 : 0 : memcpy (m1, m1_, _m1_high+1);
3726 : 0 : memcpy (m2, m2_, _m2_high+1);
3727 : :
3728 : 0 : M2MetaError_MetaErrorsT3 (M2LexBuf_GetTokenNo (), (const char *) m1, _m1_high, (const char *) m2, _m2_high, s1, s2, s3);
3729 : 0 : }
3730 : :
3731 : :
3732 : : /*
3733 : : wrapErrors -
3734 : : */
3735 : :
3736 : 0 : extern "C" void M2MetaError_MetaErrors4 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
3737 : : {
3738 : 0 : char m1[_m1_high+1];
3739 : 0 : char m2[_m2_high+1];
3740 : :
3741 : : /* make a local copy of each unbounded array. */
3742 : 0 : memcpy (m1, m1_, _m1_high+1);
3743 : 0 : memcpy (m2, m2_, _m2_high+1);
3744 : :
3745 : 0 : M2MetaError_MetaErrorsT4 (M2LexBuf_GetTokenNo (), (const char *) m1, _m1_high, (const char *) m2, _m2_high, s1, s2, s3, s4);
3746 : 0 : }
3747 : :
3748 : 48 : extern "C" void M2MetaError_MetaErrorT0 (unsigned int tok, const char *m_, unsigned int _m_high)
3749 : : {
3750 : 48 : char m[_m_high+1];
3751 : :
3752 : : /* make a local copy of each unbounded array. */
3753 : 48 : memcpy (m, m_, _m_high+1);
3754 : :
3755 : 48 : M2MetaError_MetaErrorStringT0 (tok, DynamicStrings_InitString ((const char *) m, _m_high));
3756 : 48 : }
3757 : :
3758 : 940 : extern "C" void M2MetaError_MetaErrorT1 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s)
3759 : : {
3760 : 940 : char m[_m_high+1];
3761 : :
3762 : : /* make a local copy of each unbounded array. */
3763 : 940 : memcpy (m, m_, _m_high+1);
3764 : :
3765 : 940 : M2MetaError_MetaErrorStringT1 (tok, DynamicStrings_InitString ((const char *) m, _m_high), s);
3766 : 940 : }
3767 : :
3768 : 648 : extern "C" void M2MetaError_MetaErrorT2 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2)
3769 : : {
3770 : 648 : char m[_m_high+1];
3771 : :
3772 : : /* make a local copy of each unbounded array. */
3773 : 648 : memcpy (m, m_, _m_high+1);
3774 : :
3775 : 648 : M2MetaError_MetaErrorStringT2 (tok, DynamicStrings_InitString ((const char *) m, _m_high), s1, s2);
3776 : 648 : }
3777 : :
3778 : 36 : extern "C" void M2MetaError_MetaErrorT3 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3)
3779 : : {
3780 : 36 : char m[_m_high+1];
3781 : :
3782 : : /* make a local copy of each unbounded array. */
3783 : 36 : memcpy (m, m_, _m_high+1);
3784 : :
3785 : 36 : M2MetaError_MetaErrorStringT3 (tok, DynamicStrings_InitString ((const char *) m, _m_high), s1, s2, s3);
3786 : 36 : }
3787 : :
3788 : 12 : extern "C" void M2MetaError_MetaErrorT4 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
3789 : : {
3790 : 12 : char m[_m_high+1];
3791 : :
3792 : : /* make a local copy of each unbounded array. */
3793 : 12 : memcpy (m, m_, _m_high+1);
3794 : :
3795 : 12 : M2MetaError_MetaErrorStringT4 (tok, DynamicStrings_InitString ((const char *) m, _m_high), s1, s2, s3, s4);
3796 : 12 : }
3797 : :
3798 : :
3799 : : /*
3800 : : wrapErrors -
3801 : : */
3802 : :
3803 : 18 : extern "C" void M2MetaError_MetaErrorsT1 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s)
3804 : : {
3805 : 18 : typedef struct MetaErrorsT1__T4_a MetaErrorsT1__T4;
3806 : :
3807 : 18 : struct MetaErrorsT1__T4_a { unsigned int array[0+1]; };
3808 : 18 : MetaErrorsT1__T4 sym;
3809 : 18 : char m1[_m1_high+1];
3810 : 18 : char m2[_m2_high+1];
3811 : :
3812 : : /* make a local copy of each unbounded array. */
3813 : 18 : memcpy (m1, m1_, _m1_high+1);
3814 : 18 : memcpy (m2, m2_, _m2_high+1);
3815 : :
3816 : 18 : sym.array[0] = s;
3817 : 18 : wrapErrors (tok, (const char *) m1, _m1_high, (const char *) m2, _m2_high, (const unsigned int *) &sym.array[0], 0);
3818 : 18 : }
3819 : :
3820 : :
3821 : : /*
3822 : : wrapErrors -
3823 : : */
3824 : :
3825 : 96 : extern "C" void M2MetaError_MetaErrorsT2 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2)
3826 : : {
3827 : 96 : typedef struct MetaErrorsT2__T5_a MetaErrorsT2__T5;
3828 : :
3829 : 96 : struct MetaErrorsT2__T5_a { unsigned int array[1+1]; };
3830 : 96 : MetaErrorsT2__T5 sym;
3831 : 96 : char m1[_m1_high+1];
3832 : 96 : char m2[_m2_high+1];
3833 : :
3834 : : /* make a local copy of each unbounded array. */
3835 : 96 : memcpy (m1, m1_, _m1_high+1);
3836 : 96 : memcpy (m2, m2_, _m2_high+1);
3837 : :
3838 : 96 : sym.array[0] = s1;
3839 : 96 : sym.array[1] = s2;
3840 : 96 : wrapErrors (tok, (const char *) m1, _m1_high, (const char *) m2, _m2_high, (const unsigned int *) &sym.array[0], 1);
3841 : 96 : }
3842 : :
3843 : :
3844 : : /*
3845 : : wrapErrors -
3846 : : */
3847 : :
3848 : 0 : extern "C" void M2MetaError_MetaErrorsT3 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3)
3849 : : {
3850 : 0 : typedef struct MetaErrorsT3__T6_a MetaErrorsT3__T6;
3851 : :
3852 : 0 : struct MetaErrorsT3__T6_a { unsigned int array[2+1]; };
3853 : 0 : MetaErrorsT3__T6 sym;
3854 : 0 : char m1[_m1_high+1];
3855 : 0 : char m2[_m2_high+1];
3856 : :
3857 : : /* make a local copy of each unbounded array. */
3858 : 0 : memcpy (m1, m1_, _m1_high+1);
3859 : 0 : memcpy (m2, m2_, _m2_high+1);
3860 : :
3861 : 0 : sym.array[0] = s1;
3862 : 0 : sym.array[1] = s2;
3863 : 0 : sym.array[2] = s3;
3864 : 0 : wrapErrors (tok, (const char *) m1, _m1_high, (const char *) m2, _m2_high, (const unsigned int *) &sym.array[0], 2);
3865 : 0 : }
3866 : :
3867 : :
3868 : : /*
3869 : : wrapErrors -
3870 : : */
3871 : :
3872 : 0 : extern "C" void M2MetaError_MetaErrorsT4 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
3873 : : {
3874 : 0 : typedef struct MetaErrorsT4__T7_a MetaErrorsT4__T7;
3875 : :
3876 : 0 : struct MetaErrorsT4__T7_a { unsigned int array[3+1]; };
3877 : 0 : MetaErrorsT4__T7 sym;
3878 : 0 : char m1[_m1_high+1];
3879 : 0 : char m2[_m2_high+1];
3880 : :
3881 : : /* make a local copy of each unbounded array. */
3882 : 0 : memcpy (m1, m1_, _m1_high+1);
3883 : 0 : memcpy (m2, m2_, _m2_high+1);
3884 : :
3885 : 0 : sym.array[0] = s1;
3886 : 0 : sym.array[1] = s2;
3887 : 0 : sym.array[2] = s3;
3888 : 0 : sym.array[3] = s4;
3889 : 0 : wrapErrors (tok, (const char *) m1, _m1_high, (const char *) m2, _m2_high, (const unsigned int *) &sym.array[0], 3);
3890 : 0 : }
3891 : :
3892 : :
3893 : : /*
3894 : : wrapErrors -
3895 : : */
3896 : :
3897 : 0 : extern "C" void M2MetaError_MetaErrorString0 (DynamicStrings_String m)
3898 : : {
3899 : 0 : M2MetaError_MetaErrorStringT0 (M2LexBuf_GetTokenNo (), m);
3900 : 0 : }
3901 : :
3902 : :
3903 : : /*
3904 : : wrapErrors -
3905 : : */
3906 : :
3907 : 0 : extern "C" void M2MetaError_MetaErrorString1 (DynamicStrings_String m, unsigned int s)
3908 : : {
3909 : 0 : M2MetaError_MetaErrorStringT1 (M2LexBuf_GetTokenNo (), m, s);
3910 : 0 : }
3911 : :
3912 : :
3913 : : /*
3914 : : wrapErrors -
3915 : : */
3916 : :
3917 : 0 : extern "C" void M2MetaError_MetaErrorString2 (DynamicStrings_String m, unsigned int s1, unsigned int s2)
3918 : : {
3919 : 0 : M2MetaError_MetaErrorStringT2 (M2LexBuf_GetTokenNo (), m, s1, s2);
3920 : 0 : }
3921 : :
3922 : :
3923 : : /*
3924 : : wrapErrors -
3925 : : */
3926 : :
3927 : 120 : extern "C" void M2MetaError_MetaErrorString3 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3)
3928 : : {
3929 : 120 : M2MetaError_MetaErrorStringT3 (M2LexBuf_GetTokenNo (), m, s1, s2, s3);
3930 : 120 : }
3931 : :
3932 : :
3933 : : /*
3934 : : wrapErrors -
3935 : : */
3936 : :
3937 : 0 : extern "C" void M2MetaError_MetaErrorString4 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
3938 : : {
3939 : 0 : M2MetaError_MetaErrorStringT4 (M2LexBuf_GetTokenNo (), m, s1, s2, s3, s4);
3940 : 0 : }
3941 : :
3942 : 504 : extern "C" void M2MetaError_MetaErrorStringT0 (unsigned int tok, DynamicStrings_String m)
3943 : : {
3944 : 504 : typedef struct MetaErrorStringT0__T8_a MetaErrorStringT0__T8;
3945 : :
3946 : 504 : struct MetaErrorStringT0__T8_a { unsigned int array[0+1]; };
3947 : 504 : M2MetaError_errorBlock eb;
3948 : 504 : MetaErrorStringT0__T8 sym;
3949 : :
3950 : 504 : sym.array[0] = SymbolTable_NulSym;
3951 : 504 : initErrorBlock (&eb, m, (const unsigned int *) &sym.array[0], 0);
3952 : 504 : ebnf (&eb, (const unsigned int *) &sym.array[0], 0);
3953 : 504 : flushColor (&eb);
3954 : 504 : defaultError (&eb, tok);
3955 : 504 : M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
3956 : 504 : killErrorBlock (&eb);
3957 : 504 : checkAbort ();
3958 : 492 : }
3959 : :
3960 : 1374 : extern "C" void M2MetaError_MetaErrorStringT1 (unsigned int tok, DynamicStrings_String m, unsigned int s)
3961 : : {
3962 : 1374 : typedef struct MetaErrorStringT1__T9_a MetaErrorStringT1__T9;
3963 : :
3964 : 1374 : struct MetaErrorStringT1__T9_a { unsigned int array[0+1]; };
3965 : 1374 : M2MetaError_errorBlock eb;
3966 : 1374 : MetaErrorStringT1__T9 sym;
3967 : :
3968 : 1374 : sym.array[0] = s;
3969 : 1374 : initErrorBlock (&eb, m, (const unsigned int *) &sym.array[0], 0);
3970 : 1374 : ebnf (&eb, (const unsigned int *) &sym.array[0], 0);
3971 : 1374 : flushColor (&eb);
3972 : 1374 : defaultError (&eb, tok);
3973 : 1374 : M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
3974 : 1374 : killErrorBlock (&eb);
3975 : 1374 : checkAbort ();
3976 : 1304 : }
3977 : :
3978 : 727 : extern "C" void M2MetaError_MetaErrorStringT2 (unsigned int tok, DynamicStrings_String m, unsigned int s1, unsigned int s2)
3979 : : {
3980 : 727 : typedef struct MetaErrorStringT2__T10_a MetaErrorStringT2__T10;
3981 : :
3982 : 727 : struct MetaErrorStringT2__T10_a { unsigned int array[1+1]; };
3983 : 727 : M2MetaError_errorBlock eb;
3984 : 727 : MetaErrorStringT2__T10 sym;
3985 : :
3986 : 727 : sym.array[0] = s1;
3987 : 727 : sym.array[1] = s2;
3988 : 727 : initErrorBlock (&eb, m, (const unsigned int *) &sym.array[0], 1);
3989 : 727 : ebnf (&eb, (const unsigned int *) &sym.array[0], 1);
3990 : 727 : flushColor (&eb);
3991 : 727 : defaultError (&eb, tok);
3992 : 727 : M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
3993 : 727 : killErrorBlock (&eb);
3994 : 727 : checkAbort ();
3995 : 727 : }
3996 : :
3997 : 156 : extern "C" void M2MetaError_MetaErrorStringT3 (unsigned int tok, DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3)
3998 : : {
3999 : 156 : typedef struct MetaErrorStringT3__T11_a MetaErrorStringT3__T11;
4000 : :
4001 : 156 : struct MetaErrorStringT3__T11_a { unsigned int array[2+1]; };
4002 : 156 : M2MetaError_errorBlock eb;
4003 : 156 : MetaErrorStringT3__T11 sym;
4004 : :
4005 : 156 : sym.array[0] = s1;
4006 : 156 : sym.array[1] = s2;
4007 : 156 : sym.array[2] = s3;
4008 : 156 : initErrorBlock (&eb, m, (const unsigned int *) &sym.array[0], 2);
4009 : 156 : eb.highplus1 = 2+1;
4010 : 156 : ebnf (&eb, (const unsigned int *) &sym.array[0], 2);
4011 : 156 : flushColor (&eb);
4012 : 156 : defaultError (&eb, tok);
4013 : 156 : M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
4014 : 156 : killErrorBlock (&eb);
4015 : 156 : checkAbort ();
4016 : 156 : }
4017 : :
4018 : 12 : extern "C" void M2MetaError_MetaErrorStringT4 (unsigned int tok, DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
4019 : : {
4020 : 12 : typedef struct MetaErrorStringT4__T12_a MetaErrorStringT4__T12;
4021 : :
4022 : 12 : struct MetaErrorStringT4__T12_a { unsigned int array[3+1]; };
4023 : 12 : M2MetaError_errorBlock eb;
4024 : 12 : MetaErrorStringT4__T12 sym;
4025 : :
4026 : 12 : sym.array[0] = s1;
4027 : 12 : sym.array[1] = s2;
4028 : 12 : sym.array[2] = s3;
4029 : 12 : sym.array[3] = s4;
4030 : 12 : initErrorBlock (&eb, m, (const unsigned int *) &sym.array[0], 3);
4031 : 12 : ebnf (&eb, (const unsigned int *) &sym.array[0], 3);
4032 : 12 : flushColor (&eb);
4033 : 12 : defaultError (&eb, tok);
4034 : 12 : M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
4035 : 12 : killErrorBlock (&eb);
4036 : 12 : checkAbort ();
4037 : 12 : }
4038 : :
4039 : :
4040 : : /*
4041 : : MetaErrorN1 -
4042 : : */
4043 : :
4044 : 0 : extern "C" void M2MetaError_MetaErrorN1 (const char *m_, unsigned int _m_high, NameKey_Name n)
4045 : : {
4046 : 0 : char m[_m_high+1];
4047 : :
4048 : : /* make a local copy of each unbounded array. */
4049 : 0 : memcpy (m, m_, _m_high+1);
4050 : :
4051 : 0 : M2MetaError_MetaErrorNT1 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high, n);
4052 : 0 : }
4053 : :
4054 : :
4055 : : /*
4056 : : MetaErrorN2 -
4057 : : */
4058 : :
4059 : 0 : extern "C" void M2MetaError_MetaErrorN2 (const char *m_, unsigned int _m_high, NameKey_Name n1, NameKey_Name n2)
4060 : : {
4061 : 0 : char m[_m_high+1];
4062 : :
4063 : : /* make a local copy of each unbounded array. */
4064 : 0 : memcpy (m, m_, _m_high+1);
4065 : :
4066 : 0 : M2MetaError_MetaErrorNT2 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high, n1, n2);
4067 : 0 : }
4068 : :
4069 : :
4070 : : /*
4071 : : MetaErrorNT0 - generate an error message at tok using format.
4072 : : */
4073 : :
4074 : 0 : extern "C" void M2MetaError_MetaErrorNT0 (unsigned int tok, const char *format_, unsigned int _format_high)
4075 : : {
4076 : 0 : char format[_format_high+1];
4077 : :
4078 : : /* make a local copy of each unbounded array. */
4079 : 0 : memcpy (format, format_, _format_high+1);
4080 : :
4081 : 0 : M2MetaError_MetaErrorStringT0 (tok, DynamicStrings_InitString ((const char *) format, _format_high));
4082 : 0 : }
4083 : :
4084 : :
4085 : : /*
4086 : : MetaErrorNT1 - generate an error message at tok using format and name.
4087 : : The format should contain %a for name substitution.
4088 : : */
4089 : :
4090 : 0 : extern "C" void M2MetaError_MetaErrorNT1 (unsigned int tok, const char *format_, unsigned int _format_high, NameKey_Name name)
4091 : : {
4092 : 0 : int i;
4093 : 0 : DynamicStrings_String s;
4094 : 0 : DynamicStrings_String fmt;
4095 : 0 : char format[_format_high+1];
4096 : :
4097 : : /* make a local copy of each unbounded array. */
4098 : 0 : memcpy (format, format_, _format_high+1);
4099 : :
4100 : 0 : i = 0;
4101 : 0 : fmt = DynamicStrings_InitString ((const char *) format, _format_high);
4102 : 0 : s = DynamicStrings_InitString ((const char *) "", 0);
4103 : 0 : s = translate (fmt, s, &i, name);
4104 : 0 : M2MetaError_MetaErrorStringT0 (tok, s);
4105 : 0 : fmt = DynamicStrings_KillString (fmt);
4106 : 0 : }
4107 : :
4108 : 0 : extern "C" void M2MetaError_MetaErrorNT2 (unsigned int tok, const char *format_, unsigned int _format_high, NameKey_Name name1, NameKey_Name name2)
4109 : : {
4110 : 0 : int i;
4111 : 0 : DynamicStrings_String s;
4112 : 0 : DynamicStrings_String fmt;
4113 : 0 : char format[_format_high+1];
4114 : :
4115 : : /* make a local copy of each unbounded array. */
4116 : 0 : memcpy (format, format_, _format_high+1);
4117 : :
4118 : : /*
4119 : : MetaErrorNT1 - generate an error message at tok using format, name1
4120 : : and name2. The format should contain two occurances of %a
4121 : : for name substitution.
4122 : : */
4123 : 0 : i = 0;
4124 : 0 : fmt = DynamicStrings_InitString ((const char *) format, _format_high);
4125 : 0 : s = DynamicStrings_InitString ((const char *) "", 0);
4126 : 0 : s = translate (fmt, s, &i, name1);
4127 : 0 : s = translate (fmt, s, &i, name2);
4128 : 0 : M2MetaError_MetaErrorStringT0 (tok, s);
4129 : 0 : fmt = DynamicStrings_KillString (fmt);
4130 : 0 : }
4131 : :
4132 : :
4133 : : /*
4134 : : wrapString - return a string which has been formatted with the specifier codes.
4135 : : Color is disabled. The result string is returned.
4136 : : */
4137 : :
4138 : 6 : extern "C" DynamicStrings_String M2MetaError_MetaString0 (DynamicStrings_String m)
4139 : : {
4140 : 6 : typedef struct MetaString0__T13_a MetaString0__T13;
4141 : :
4142 : 6 : struct MetaString0__T13_a { unsigned int array[0+1]; };
4143 : 6 : MetaString0__T13 sym;
4144 : :
4145 : 6 : sym.array[0] = SymbolTable_NulSym;
4146 : 6 : return wrapString (m, (const unsigned int *) &sym.array[0], 0);
4147 : : /* static analysis guarentees a RETURN statement will be used before here. */
4148 : : __builtin_unreachable ();
4149 : : }
4150 : :
4151 : :
4152 : : /*
4153 : : wrapString - return a string which has been formatted with the specifier codes.
4154 : : Color is disabled. The result string is returned.
4155 : : */
4156 : :
4157 : 0 : extern "C" DynamicStrings_String M2MetaError_MetaString1 (DynamicStrings_String m, unsigned int s)
4158 : : {
4159 : 0 : typedef struct MetaString1__T14_a MetaString1__T14;
4160 : :
4161 : 0 : struct MetaString1__T14_a { unsigned int array[0+1]; };
4162 : 0 : MetaString1__T14 sym;
4163 : :
4164 : 0 : sym.array[0] = s;
4165 : 0 : return wrapString (m, (const unsigned int *) &sym.array[0], 0);
4166 : : /* static analysis guarentees a RETURN statement will be used before here. */
4167 : : __builtin_unreachable ();
4168 : : }
4169 : :
4170 : :
4171 : : /*
4172 : : wrapString - return a string which has been formatted with the specifier codes.
4173 : : Color is disabled. The result string is returned.
4174 : : */
4175 : :
4176 : 372 : extern "C" DynamicStrings_String M2MetaError_MetaString2 (DynamicStrings_String m, unsigned int s1, unsigned int s2)
4177 : : {
4178 : 372 : typedef struct MetaString2__T15_a MetaString2__T15;
4179 : :
4180 : 372 : struct MetaString2__T15_a { unsigned int array[1+1]; };
4181 : 372 : MetaString2__T15 sym;
4182 : :
4183 : 372 : sym.array[0] = s1;
4184 : 372 : sym.array[1] = s2;
4185 : 372 : return wrapString (m, (const unsigned int *) &sym.array[0], 1);
4186 : : /* static analysis guarentees a RETURN statement will be used before here. */
4187 : : __builtin_unreachable ();
4188 : : }
4189 : :
4190 : :
4191 : : /*
4192 : : wrapString - return a string which has been formatted with the specifier codes.
4193 : : Color is disabled. The result string is returned.
4194 : : */
4195 : :
4196 : 11824 : extern "C" DynamicStrings_String M2MetaError_MetaString3 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3)
4197 : : {
4198 : 11824 : typedef struct MetaString3__T16_a MetaString3__T16;
4199 : :
4200 : 11824 : struct MetaString3__T16_a { unsigned int array[2+1]; };
4201 : 11824 : MetaString3__T16 sym;
4202 : :
4203 : 11824 : sym.array[0] = s1;
4204 : 11824 : sym.array[1] = s2;
4205 : 11824 : sym.array[2] = s3;
4206 : 11824 : return wrapString (m, (const unsigned int *) &sym.array[0], 2);
4207 : : /* static analysis guarentees a RETURN statement will be used before here. */
4208 : : __builtin_unreachable ();
4209 : : }
4210 : :
4211 : :
4212 : : /*
4213 : : wrapString - return a string which has been formatted with the specifier codes.
4214 : : Color is disabled. The result string is returned.
4215 : : */
4216 : :
4217 : 96 : extern "C" DynamicStrings_String M2MetaError_MetaString4 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
4218 : : {
4219 : 96 : typedef struct MetaString4__T17_a MetaString4__T17;
4220 : :
4221 : 96 : struct MetaString4__T17_a { unsigned int array[3+1]; };
4222 : 96 : MetaString4__T17 sym;
4223 : :
4224 : 96 : sym.array[0] = s1;
4225 : 96 : sym.array[1] = s2;
4226 : 96 : sym.array[2] = s3;
4227 : 96 : sym.array[3] = s4;
4228 : 96 : return wrapString (m, (const unsigned int *) &sym.array[0], 3);
4229 : : /* static analysis guarentees a RETURN statement will be used before here. */
4230 : : __builtin_unreachable ();
4231 : : }
4232 : :
4233 : :
4234 : : /*
4235 : : MetaErrorDecl - if sym is a variable or parameter then generate a
4236 : : declaration error or warning message. If error is
4237 : : FALSE then a warning is issued.
4238 : : */
4239 : :
4240 : 528 : extern "C" void M2MetaError_MetaErrorDecl (unsigned int sym, bool error)
4241 : : {
4242 : 528 : if ((sym != SymbolTable_NulSym) && (SymbolTable_IsVar (sym)))
4243 : : {
4244 : : /* avoid gcc warning by using compound statement even if not strictly necessary. */
4245 : 408 : if (error)
4246 : : {
4247 : 408 : if (SymbolTable_IsVarAParam (sym))
4248 : : {
4249 : 0 : M2MetaError_MetaErrorT1 (SymbolTable_GetVarDeclFullTok (sym), (const char *) "parameter declaration for {%1ad}", 32, sym);
4250 : : }
4251 : : else
4252 : : {
4253 : 408 : M2MetaError_MetaErrorT1 (SymbolTable_GetVarDeclFullTok (sym), (const char *) "variable declaration for {%1ad}", 31, sym);
4254 : : }
4255 : : }
4256 : : else
4257 : : {
4258 : 0 : if (SymbolTable_IsVarAParam (sym))
4259 : : {
4260 : 0 : M2MetaError_MetaErrorT1 (SymbolTable_GetVarDeclFullTok (sym), (const char *) "parameter declaration for {%1Wad}", 33, sym);
4261 : : }
4262 : : else
4263 : : {
4264 : 0 : M2MetaError_MetaErrorT1 (SymbolTable_GetVarDeclFullTok (sym), (const char *) "variable declaration for {%1Wad}", 32, sym);
4265 : : }
4266 : : }
4267 : : }
4268 : 528 : }
4269 : :
4270 : 14232 : extern "C" void _M2_M2MetaError_init (__attribute__((unused)) int argc, __attribute__((unused)) char *argv[], __attribute__((unused)) char *envp[])
4271 : : {
4272 : 14232 : lastRoot = static_cast<M2Error_Error> (NULL);
4273 : 14232 : lastColor = M2MetaError_noColor;
4274 : 14232 : seenAbort = false;
4275 : 14232 : outputStack = Indexing_InitIndex (1);
4276 : 14232 : dictionary = Indexing_InitIndex (1);
4277 : 14232 : freeEntry = NULL;
4278 : 14232 : }
4279 : :
4280 : 0 : extern "C" void _M2_M2MetaError_fini (__attribute__((unused)) int argc, __attribute__((unused)) char *argv[], __attribute__((unused)) char *envp[])
4281 : : {
4282 : 0 : }
|