5 extern void cppReader_fatalError (cppReader *p_pfile, /*@only@*/ cstring p_str);
7 extern /*@exits@*/ void cppReader_pfatalWithName (cppReader *p_pfile,
10 extern void cppReader_errorLit (cppReader *p_pfile, /*@observer@*/ cstring p_msg);
13 cppReader_pedwarnWithLine (cppReader *p_pfile, int p_line, int p_column,
14 /*@only@*/ cstring p_msg);
16 extern void cppReader_error (cppReader *p_pfile, /*@only@*/ cstring p_msg);
17 extern void cppReader_warning (cppReader *p_pfile, /*@only@*/ cstring p_msg);
19 extern void cppReader_printContainingFiles (cppReader *p_pfile) /*@modifies g_msgstream, p_pfile@*/ ;
20 extern void cppReader_warningLit (cppReader *p_pfile, /*@observer@*/ cstring p_msg);
22 extern void cppReader_pedwarn (cppReader *p_pfile, /*@only@*/ cstring p_msg);
24 extern void cppReader_pedwarnLit (cppReader *p_pfile, /*@observer@*/ cstring p_msg);
26 extern void cppReader_errorWithLine (cppReader *p_pfile,
27 long p_line, long p_column,
28 /*@only@*/ cstring p_msg);
30 extern void cppReader_perrorWithName (cppReader *p_pfile, cstring p_name);
33 # error "Multiple include"