src/Headers/warnClause.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** warnClause.h
   8 */
   9
  10 # ifndef WARNCLAUSE_H
  11 # define WARNCLAUSE_H
  12
  13 struct s_warnClause
  14 {
  15   /*@only@*/ fileloc loc;
  16   /*@only@*/ flagSpec flag;
  17   /*@only@*/ cstring msg;
  18 } ;
  19
  20 /*@constant null warnClause warnClause_undefined; @*/
  21 # define warnClause_undefined    ((warnClause) NULL)
  22
  23 extern /*@falsewhennull@*/ bool warnClause_isDefined (/*@null@*/ warnClause p_f) /*@*/ ;
  24 extern /*@nullwhentrue@*/ bool warnClause_isUndefined (/*@null@*/ warnClause p_f) /*@*/ ;
  25
  26 # define warnClause_isDefined(f)   ((f) != warnClause_undefined)
  27 # define warnClause_isUndefined(f) ((f) == warnClause_undefined)
  28
  29 extern warnClause warnClause_create (/*@only@*/ lltok,
  30                                      /*@only@*/ flagSpec p_flag,
  31                                      /*@only@*/ cstring p_msg) /*@*/ ;
  32
  33 extern /*@only@*/ warnClause warnClause_copy (warnClause) /*@*/ ;
  34
  35 extern /*@observer@*/ flagSpec warnClause_getFlag (warnClause p_w) /*@*/ ;
  36
  37 extern /*@only@*/ cstring warnClause_dump (warnClause p_wc) /*@*/ ;
  38 extern /*@only@*/ warnClause warnClause_undump (char **p_s) /*@modifies p_s@*/ ;
  39
  40 extern /*@falsewhennull@*/ bool warnClause_hasMessage (warnClause p_w) /*@*/ ;
  41
  42 extern /*@observer@*/ cstring warnClause_getMessage (warnClause p_w) /*@*/ ;
  43 extern /*@only@*/ cstring warnClause_unparse (warnClause p_w) /*@*/ ;
  44
  45 extern void warnClause_free (/*@only@*/ warnClause p_w);
  46
  47 # else
  48 # error "Multiple include"
  49 # endif
  50
  51
  52
  53
  54
  55
  56
  57
  58
  59
  60
  61
  62