2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
10 extern bool /*@alt void@*/ check (bool p_x);
11 # define check(p_x) doCheck (p_x, cstring_fromChars (#p_x), cstring_makeLiteralTemp (__FILE__), __LINE__)
13 extern bool doCheck (bool p_x, cstring p_pred, cstring p_file, int p_line);
15 extern /*@falseexit@*/ void llassert (/*@sef@*/ bool p_test);
17 # define llassert(tst) \
19 if (context_getFlag (FLG_TRYTORECOVER)) checkParseError (); \
20 lldiagmsg (message ("%s:%d: at source point", \
21 cstring_makeLiteralTemp (__FILE__), __LINE__)); \
22 llbuglit ("llassert failed: " #tst); \
26 extern /*@falseexit@*/ void llassertretnull (/*@sef@*/ bool p_test);
27 # define llassertretnull(tst) \
29 if (context_getFlag (FLG_TRYTORECOVER)) checkParseError (); \
30 lldiagmsg (message ("%s:%d: at source point", \
31 cstring_makeLiteralTemp (__FILE__), __LINE__)); \
32 llbuglit ("llassert failed: " #tst); \
37 ** Use this for assertions in error-generation code (that
38 ** might lead to infinite loops of failed assertions if
39 ** the normal error generation routines are used).
42 extern /*@falseexit@*/ void llassertprotect (/*@sef@*/ bool p_test);
43 # define llassertprotect(tst) \
45 fprintf (stderr, "%s:%d: at source point: ", __FILE__, __LINE__); \
46 fprintf (stderr, "protected fatal llassert failed: " #tst "\n"); \
47 llexit (EXIT_FAILURE); \
50 extern /*@falseexit@*/ void llassertfatal (/*@sef@*/ bool p_test);
51 # define llassertfatal(tst) \
53 llfatalbug (message("%s:%d: fatal llassert failed: " #tst, \
54 cstring_makeLiteralTemp (__FILE__), __LINE__)); \
58 ** llassertprint and llassertprintret are in lclintMacros.nf
61 extern void llmsg (/*@only@*/ cstring p_s) /*@modifies g_msgstream@*/ ;
63 extern void lldiagmsg (/*@only@*/ cstring p_s) /*@modifies stderr@*/ ;
64 extern void llmsgplain (/*@only@*/ cstring p_s) /*@modifies g_msgstream@*/ ;
65 extern void llhint (/*@only@*/ cstring p_s)
66 /*@globals g_currentloc, g_msgstream;@*/
67 /*@modifies g_msgstream@*/ ;
69 extern /*@private@*/ /*@exits@*/ void xllfatalbug (char *p_srcFile, int p_srcLine,
70 /*@only@*/ cstring p_s)
71 /*@globals g_currentloc@*/
72 /*@modifies stderr@*/ ;
74 extern /*@exits@*/ void llfatalbug (/*@only@*/ cstring p_s)
75 /*@globals g_currentloc@*/
76 /*@modifies stderr@*/ ;
77 # define llfatalbug(p_s) \
78 xllfatalbug (__FILE__, __LINE__, p_s)
80 extern /*@private@*/ bool xllgenerror (char *p_srcFile, int p_srcLine, flagcode p_o,
81 /*@only@*/ cstring p_s, fileloc p_fl)
82 /*@modifies g_msgstream@*/ ;
84 extern bool llgenerror (flagcode p_o, /*@only@*/ cstring p_s, fileloc p_fl)
85 /*@modifies g_msgstream@*/ ;
86 # define llgenerror(p_o, p_s, p_fl) \
87 xllgenerror (__FILE__, __LINE__, p_o, p_s, p_fl)
89 extern /*@private@*/ bool
90 xllgenhinterror (char *p_srcFile, int p_srcLine,
91 flagcode p_o, /*@only@*/ cstring p_s, /*@only@*/ cstring p_hint,
93 /*@modifies g_msgstream@*/ ;
95 extern bool llgenhinterror (flagcode p_o, /*@only@*/ cstring p_s, /*@only@*/ cstring p_hint,
96 fileloc p_fl) /*@modifies g_msgstream@*/ ;
98 # define llgenhinterror(p_o, p_s, p_hint, p_fl) \
99 xllgenhinterror (__FILE__, __LINE__, p_o, p_s, p_hint, p_fl)
102 extern void llerror (flagcode p_o, /*@only@*/ cstring p_s)
103 /*@globals g_msgstream, g_currentloc@*/
104 /*@modifies g_msgstream@*/ ;
105 # define llerror(p_o, p_s) \
106 ((void) llgenerror (p_o, p_s, g_currentloc))
108 extern void llgenmsg (/*@only@*/ cstring p_s, fileloc p_fl) /*@modifies g_msgstream@*/ ;
109 extern /*@exits@*/ void llfatalerror (/*@only@*/ cstring p_s) /*@modifies g_msgstream@*/ ;
110 extern /*@exits@*/ void llfatalerrorLoc (/*@only@*/ cstring p_s)
111 /*@globals g_currentloc@*/
112 /*@modifies stderr@*/ ;
113 extern void llparseerror (/*@only@*/ cstring p_s)
114 /*@globals g_msgstream, g_currentloc@*/
115 /*@modifies g_msgstream@*/ ;
118 extern /*@exits@*/ void lclplainfatalerror (/*@only@*/ cstring p_msg) /*@modifies g_msgstream@*/ ;
119 extern /*@exits@*/ void lclfatalbug (/*@temp@*/ char *p_msg) /*@modifies g_msgstream@*/ ;
120 extern int lclNumberErrors (void) /*@*/ ;
121 extern bool lclHadNewError (void) /*@modifies internalState@*/ ;
122 extern /*@exits@*/ void lclfatalerror (ltoken p_t, /*@only@*/ cstring p_msg);
124 extern void xlclerror (char *p_srcFile, int p_srcLine, ltoken p_t, /*@only@*/ cstring p_msg) ;
126 extern void lclerror (ltoken p_t, /*@only@*/ cstring p_msg);
127 # define lclerror(p_t,p_msg) \
128 xlclerror (__FILE__, __LINE__, p_t, p_msg)
130 extern void lclbug (/*@only@*/ cstring p_s);
131 extern void lclplainerror (/*@only@*/ cstring p_msg);
132 extern bool lclHadError (void);
133 extern void lclRedeclarationError (ltoken p_id);
136 extern void llerror_flagWarning (/*@only@*/ cstring p_s) /*@modifies g_msgstream@*/ ;
138 extern /*@exits@*/ void llbugaux (cstring p_file, int p_line, /*@only@*/ cstring p_s)
139 /*@globals g_msgstream, g_currentloc@*/
140 /*@modifies *g_msgstream@*/ ;
142 extern /*@exits@*/ void llbug (/*@only@*/ cstring p_s)
143 /*@globals g_msgstream, g_currentloc@*/
144 /*@modifies *g_msgstream@*/ ;
146 /* doesn't really exit, but don't mind errors if it doesn't */
147 # define llbug(s) llbugaux (cstring_makeLiteralTemp (__FILE__), __LINE__, s)
149 extern void llquietbugaux (/*@only@*/ cstring p_s, cstring, int) /*@modifies *g_msgstream@*/ ;
150 extern void llquietbug (/*@only@*/ cstring) /*@modifies *g_msgstream@*/ ;
151 # define llquietbug(s) llquietbugaux (s, cstring_makeLiteralTemp (__FILE__), __LINE__)
153 extern void llcontbug (/*@only@*/ cstring p_s) /*@modifies *g_msgstream@*/ ;
154 /* doesn't really exit, but don't mind errors if it doesn't */
155 # define llcontbug(s) (llbug (s))
157 extern void cleanupMessages (void)
158 /*@globals g_msgstream, g_currentloc;@*/
159 /*@modifies g_msgstream, internalState@*/ ;
162 ** Report error iff f1 and f2 are set.
166 xoptgenerror2 (char *p_srcFile, int p_srcLine,
167 flagcode p_f1, flagcode p_f2, /*@only@*/ cstring p_s, fileloc p_loc)
168 /*@modifies *g_msgstream, internalState@*/ ;
171 optgenerror2 (flagcode p_f1, flagcode p_f2, /*@only@*/ cstring p_s, fileloc p_loc)
172 /*@modifies *g_msgstream, internalState@*/ ;
173 # define optgenerror2(p_f1, p_f2, p_s, p_loc) \
174 (xoptgenerror2 (__FILE__, __LINE__, p_f1, p_f2, p_s, p_loc))
177 ** Report error if f1 is set and f2 is not set.
181 xoptgenerror2n (char *p_srcFile, int p_srcLine,
182 flagcode p_f1, flagcode p_f2, /*@only@*/ cstring p_s, fileloc p_loc)
183 /*@modifies *g_msgstream, internalState@*/ ;
186 optgenerror2n (flagcode p_f1, flagcode p_f2, /*@only@*/ cstring p_s, fileloc p_loc)
187 /*@modifies *g_msgstream, internalState@*/ ;
188 # define optgenerror2n(p_f1, p_f2, p_s, p_loc) \
189 (xoptgenerror2n (__FILE__, __LINE__, p_f1, p_f2, p_s, p_loc))
191 extern /*@private@*/ bool xlloptgenerror (char *p_srcFile, int p_srcLine, flagcode p_o, /*@only@*/ cstring p_s, fileloc p_loc)
192 /*@modifies *g_msgstream, internalState@*/ ;
194 extern bool lloptgenerror (flagcode p_o, /*@only@*/ cstring p_s, fileloc p_loc)
195 /*@modifies *g_msgstream, internalState@*/ ;
196 # define lloptgenerror(p_o, p_s, p_loc) \
197 (xlloptgenerror (__FILE__, __LINE__, p_o, p_s, p_loc))
199 extern bool xllnoptgenerror (char *p_srcFile, int p_srcLine,
200 flagcode p_o, /*@only@*/ cstring p_s, fileloc p_loc)
201 /*@modifies *g_msgstream, internalState@*/ ;
203 extern bool llnoptgenerror (flagcode p_o, /*@only@*/ cstring p_s, fileloc p_loc)
204 /*@modifies *g_msgstream, internalState@*/ ;
205 # define llnoptgenerror(p_o, p_s, p_loc) \
206 (xllnoptgenerror (__FILE__, __LINE__, p_o, p_s, p_loc))
208 extern /*@private@*/ bool
209 xllgenformattypeerror (char *p_srcFile, int p_srcLine,
210 ctype p_t1, exprNode p_e1,
211 ctype p_t2, exprNode p_e2,
212 /*@only@*/ cstring p_s, fileloc p_fl)
213 /*@modifies *g_msgstream, internalState@*/ ;
215 extern bool llgenformattypeerror (ctype p_t1, exprNode p_e1,
216 ctype p_t2, exprNode p_e2,
217 /*@only@*/ cstring p_s, fileloc p_fl)
218 /*@modifies *g_msgstream, internalState@*/ ;
219 # define llgenformattypeerror(p_t1, p_e1, p_t2, p_e2, p_s, p_fl) \
220 xllgenformattypeerror (__FILE__, __LINE__, p_t1, p_e1, p_t2, p_e2, p_s, p_fl)
222 extern bool xllgentypeerror (char *p_srcFile, int p_srcLine,
223 ctype p_t1, exprNode p_e1,
224 ctype p_t2, exprNode p_e2,
225 /*@only@*/ cstring p_s,
227 /*@modifies *g_msgstream, internalState@*/ ;
229 extern bool llgentypeerror (ctype p_t1, exprNode p_e1,
230 ctype p_t2, exprNode p_e2,
231 /*@only@*/ cstring p_s,
233 /*@modifies *g_msgstream, internalState@*/ ;
234 # define llgentypeerror(p_t1, p_e1, p_t2, p_e2, p_s, p_fl) \
235 xllgentypeerror (__FILE__, __LINE__, p_t1, p_e1, p_t2, p_e2, p_s, p_fl)
237 extern bool gentypeerror (/*@sef@*/ ctype p_t1,
238 /*@sef@*/ exprNode p_e1,
239 /*@sef@*/ ctype p_t2,
240 /*@sef@*/ exprNode p_e2,
241 /*@sef@*/ /*@only@*/ cstring p_s,
242 /*@sef@*/ fileloc p_loc)
243 /*@modifies *g_msgstream, internalState@*/ ;
245 /*@-branchstate@*/ /* sef only s is freed on one branch */
246 #define gentypeerror(t1, e1, t2, e2, s, loc) \
247 (context_suppressFlagMsg (FLG_TYPE,loc) \
248 ? (flagcode_recordSuppressed (FLG_TYPE), FALSE) \
249 : llgentypeerror (t1, e1, t2, e2, s, loc))
253 ** These are macros to save evaluating s (which may be some expensive
254 ** message generation function).
258 optgenerror (/*@sef@*/ flagcode p_o, /*@sef@*/ /*@only@*/ cstring p_s,
259 /*@sef@*/ fileloc p_loc)
260 /*@modifies *g_msgstream, internalState@*/ ;
262 /*@-branchstate@*/ /* sef only s is freed on one branch */
263 #define optgenerror(o,s,loc) \
264 (context_suppressFlagMsg(o,loc) ? (flagcode_recordSuppressed(o), FALSE) \
265 : lloptgenerror (o, s, loc))
269 voptgenerror (/*@sef@*/ flagcode p_o, /*@sef@*/ /*@only@*/ cstring p_s,
270 /*@sef@*/ fileloc p_loc)
271 /*@modifies *g_msgstream, internalState@*/ ;
272 #define voptgenerror(o, s, loc) ((void) optgenerror(o,s,loc))
274 extern /*@private@*/ bool
275 xfsgenerror (char *p_srcFile, int p_srcLine,
276 flagSpec p_fs, /*@only@*/ cstring p_s, fileloc p_fl)
277 /*@modifies g_msgstream, internalState@*/ ;
279 extern bool fsgenerror (flagSpec p_fs, /*@only@*/ cstring p_s, fileloc p_fl)
280 /*@modifies g_msgstream, internalState@*/ ;
281 # define fsgenerror(p_fs, p_s, p_fl) \
282 xfsgenerror (__FILE__, __LINE__, p_fs, p_s, p_fl)
285 vfsgenerror (/*@sef@*/ flagSpec p_fs, /*@sef@*/ /*@only@*/ cstring p_s,
286 /*@sef@*/ fileloc p_loc)
287 /*@modifies *g_msgstream, internalState@*/ ;
288 #define vfsgenerror(fs, s, loc) ((void) fsgenerror(fs,s,loc))
291 ** Reports a warning when f1 is ON and f2 is ON
295 voptgenerror2 (/*@sef@*/ flagcode p_f1, /*@sef@*/ flagcode p_f2,
296 /*@sef@*/ /*@only@*/ cstring p_s, /*@sef@*/ fileloc p_loc);
297 #define voptgenerror2(f1, f2, s, loc) ((void) optgenerror2 (f1, f2, s, loc))
300 ** Reports a warning when f1 is ON and f2 is OFF
304 voptgenerror2n (/*@sef@*/ flagcode p_f1, /*@sef@*/ flagcode p_f2,
305 /*@sef@*/ /*@only@*/ cstring p_s, /*@sef@*/ fileloc p_loc);
306 #define voptgenerror2n(f1, f2, s, loc) ((void) optgenerror2n (f1, f2, s, loc))
308 extern void noptgenerror (/*@sef@*/ flagcode p_code,
309 /*@sef@*/ /*@only@*/ cstring p_s,
310 /*@sef@*/ fileloc p_loc);
311 /*@-branchstate@*/ /* sef only s is freed on one branch */
312 #define noptgenerror(o,s,loc) \
313 (context_suppressNotFlagMsg (o, loc) \
314 ? (flagcode_recordSuppressed(o), FALSE) \
315 : llnoptgenerror (o, s, loc))
319 vnoptgenerror (/*@sef@*/ flagcode p_code, /*@sef@*/ /*@only@*/ cstring p_msg,
320 /*@sef@*/ fileloc p_loc);
321 # define vnoptgenerror(o, s, loc) ((void) noptgenerror(o, s, loc))
324 vgenhinterror (flagcode p_code, /*@only@*/ cstring p_mst,
325 /*@only@*/ cstring p_hint, /*@sef@*/ fileloc p_loc);
326 # define vgenhinterror(o, s, h, loc) \
327 ((void) llgenhinterror(o, s, h, loc))
330 extern /*@private@*/ bool /*@alt void@*/ xllforceerror (char *p_srcFile, int p_srcLine, flagcode p_code, /*@only@*/ cstring p_s, fileloc p_fl)
331 /*@modifies g_msgstream@*/ ;
333 extern bool /*@alt void@*/ llforceerror (flagcode p_code, /*@only@*/ cstring p_s, fileloc p_fl)
334 /*@modifies g_msgstream@*/ ;
335 # define llforceerror(p_code, p_s, p_fl) \
336 (xllforceerror (__FILE__, __LINE__, p_code, p_s, p_fl))
338 extern /*@private@*/ bool xcppoptgenerror (char *p_srcFile, int p_srcLine, flagcode p_o,
339 /*@only@*/ cstring p_s, cppReader *p_pfile)
340 /*@modifies g_msgstream, p_pfile@*/ ;
342 extern bool cppoptgenerror (flagcode p_code, /*@only@*/ cstring p_s, cppReader *p_pfile)
343 /*@modifies g_msgstream, p_pfile@*/ ;
344 # define cppoptgenerror(p_code, p_s, p_pfile) \
345 (xcppoptgenerror (__FILE__, __LINE__, p_code, p_s, p_pfile))
347 extern void llerrorlit (flagcode p_o, char *p_s);
348 # define llerrorlit(o, s) ((void) llerror (o, cstring_makeLiteral (s)))
350 extern void llgenindentmsg (/*@only@*/ cstring p_s, fileloc p_fl) /*@modifies g_msgstream@*/ ;
352 extern /*@exits@*/ void llbugexitlit (char *p_s);
353 # define llbugexitlit(s) (llbug (cstring_makeLiteral (s)))
355 extern void llbuglit (char *p_s);
356 # define llbuglit(s) (llbug (cstring_makeLiteral (s)))
358 extern void llcontbuglit (char *p_s);
359 # define llcontbuglit(s) (llbug (cstring_makeLiteral (s)))
361 extern void checkParseError (void);
363 extern void llmsglit (char *p_s);
364 # define llmsglit(s) (llmsg (cstring_makeLiteral (s)))
366 extern void ppllerror (/*@only@*/ cstring p_s);
367 extern void genppllerrorhint (flagcode p_code, /*@only@*/ cstring p_s,
368 /*@only@*/ cstring p_hint);
369 extern void genppllerror (flagcode p_code, /*@only@*/ cstring p_s);
370 extern /*@unused@*/ void pplldiagmsg (/*@only@*/ cstring p_s);
371 extern void loadllmsg (/*@only@*/ cstring p_s);
373 extern void llgenindentmsgnoloc (/*@only@*/ cstring p_s);
375 extern /*@observer@*/ cstring lldecodeerror (int) /*@*/ ;
377 extern void prepareMessage (void) /*@modifies internalState, g_msgstream@*/ ;
378 extern void closeMessage (void) /*@modifies internalState, g_msgstream@*/ ;
380 extern void llflush (void) /*@modifies systemState@*/ ;
383 # error "Multiple include"