2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
10 # ifndef flagMarkerList_H
11 # define flagMarkerList_H
13 typedef /*@only@*/ flagMarker o_flagMarker;
19 /*@reldef@*/ /*@relnull@*/ o_flagMarker *elements;
22 extern /*@only@*/ flagMarkerList flagMarkerList_new (void) /*@*/ ;
24 extern /*@unused@*/ /*@only@*/ cstring
25 flagMarkerList_unparse (flagMarkerList p_s) /*@*/ ;
26 extern void flagMarkerList_free (/*@only@*/ flagMarkerList p_s) ;
28 extern void flagMarkerList_add (flagMarkerList p_s, /*@only@*/ flagMarker p_fm)
32 flagMarkerList_suppressError (flagMarkerList p_s, flagcode p_code, fileloc p_loc) /*@*/ ;
34 extern void flagMarkerList_checkSuppressCounts (flagMarkerList p_s)
35 /*@modifies g_msgstream@*/ ;
38 flagMarkerList_inIgnore (flagMarkerList p_s, fileloc p_loc) /*@*/ ;
40 /*@constant int flagMarkerListBASESIZE;@*/
41 # define flagMarkerListBASESIZE SMALLBASESIZE
44 # error "Multiple include"