src/Headers/cpperror.h

   1 # ifndef CPPERROR_H
   2 # define CPPERROR_H
   3
   4 /* doesn't exit! */
   5 extern void cppReader_fatalError (cppReader *p_pfile, /*@only@*/ cstring p_str);
   6
   7 extern /*@exits@*/ void cppReader_pfatalWithName (cppReader *p_pfile,
   8                                                   cstring p_name);
   9
  10 extern void cppReader_errorLit (cppReader *p_pfile, /*@observer@*/ cstring p_msg);
  11
  12 extern void
  13 cppReader_pedwarnWithLine (cppReader *p_pfile, int p_line, int p_column,
  14                            /*@only@*/ cstring p_msg);
  15
  16 extern void cppReader_error (cppReader *p_pfile, /*@only@*/ cstring p_msg);
  17 extern void cppReader_warning (cppReader *p_pfile, /*@only@*/ cstring p_msg);
  18
  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);
  21
  22 extern void cppReader_pedwarn (cppReader *p_pfile, /*@only@*/ cstring p_msg);
  23
  24 extern void cppReader_pedwarnLit (cppReader *p_pfile, /*@observer@*/ cstring p_msg);
  25
  26 extern void cppReader_errorWithLine (cppReader *p_pfile,
  27                                      long p_line, long p_column,
  28                                      /*@only@*/ cstring p_msg);
  29
  30 extern void cppReader_perrorWithName (cppReader *p_pfile, cstring p_name);
  31
  32 # else
  33 # error "Multiple include"
  34 # endif
  35
  36