src/Headers/flagMarkerList.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** flagMarkerList.h
   8 */
   9
  10 # ifndef flagMarkerList_H
  11 # define flagMarkerList_H
  12
  13 typedef /*@only@*/ flagMarker o_flagMarker;
  14
  15 abst_typedef struct
  16 {
  17   int nelements;
  18   int nspace;
  19   /*@reldef@*/ /*@relnull@*/ o_flagMarker  *elements;
  20 } *flagMarkerList ;
  21
  22 extern /*@only@*/ flagMarkerList flagMarkerList_new (void) /*@*/ ;
  23
  24 extern /*@unused@*/ /*@only@*/ cstring
  25   flagMarkerList_unparse (flagMarkerList p_s) /*@*/ ;
  26 extern void flagMarkerList_free (/*@only@*/ flagMarkerList p_s) ;
  27
  28 extern bool flagMarkerList_add (flagMarkerList p_s, /*@only@*/ flagMarker p_fm)
  29      /*@modifies p_s@*/ ;
  30
  31 extern ynm
  32   flagMarkerList_suppressError (flagMarkerList p_s, flagcode p_code, fileloc p_loc) /*@*/ ;
  33
  34 extern void flagMarkerList_checkSuppressCounts (flagMarkerList p_s)
  35    /*@modifies g_warningstream@*/ ;
  36
  37 extern bool
  38   flagMarkerList_inIgnore (flagMarkerList p_s, fileloc p_loc) /*@*/ ;
  39
  40 /*@constant int flagMarkerListBASESIZE;@*/
  41 # define flagMarkerListBASESIZE SMALLBASESIZE
  42
  43 # else
  44 # error "Multiple include"
  45 # endif
  46
  47
  48
  49