2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
7 ** invariant: line1 <= line2
8 ** if line1 == line2, col1 <= col2.
36 extern bool flagMarker_isLocalSet (flagMarker p_c) /*@*/ ;
37 # define flagMarker_isLocalSet(c) ((c)->kind == FMK_LOCALSET)
39 extern bool flagMarker_isSuppress (flagMarker p_c) /*@*/ ;
40 # define flagMarker_isSuppress(c) ((c)->kind == FMK_SUPPRESS)
42 extern bool flagMarker_isIgnoreOn (flagMarker p_c) /*@*/ ;
43 # define flagMarker_isIgnoreOn(c) ((c)->kind == FMK_IGNOREON)
45 extern bool flagMarker_isIgnoreOff (flagMarker p_c) /*@*/ ;
46 # define flagMarker_isIgnoreOff(c) ((c)->kind == FMK_IGNOREOFF)
48 extern bool flagMarker_isIgnoreCount (flagMarker p_c) /*@*/ ;
49 # define flagMarker_isIgnoreCount(c) ((c)->kind == FMK_IGNORECOUNT)
52 flagMarker_createLocalSet (flagcode p_code, ynm p_set, fileloc p_loc) /*@*/ ;
55 flagMarker_createIgnoreOn (fileloc p_loc) /*@*/ ;
58 flagMarker_createIgnoreOff (fileloc p_loc) /*@*/ ;
61 flagMarker_createIgnoreCount (int p_count, fileloc p_loc) /*@*/ ;
64 flagMarker_createSuppress (flagcode p_code, fileloc p_loc) /*@*/ ;
66 extern void flagMarker_free (/*@only@*/ flagMarker p_c) ;
68 extern bool flagMarker_sameFile (flagMarker p_c, fileloc p_loc) /*@*/ ;
69 extern /*@only@*/ cstring flagMarker_unparse (flagMarker p_c) /*@*/ ;
71 extern bool flagMarker_beforeMarker (flagMarker p_c, fileloc p_loc) /*@*/ ;
73 extern ynm flagMarker_getSet (flagMarker p_f) /*@*/ ;
74 extern flagcode flagMarker_getCode (flagMarker p_f) /*@*/ ;
75 extern int flagMarker_getCount (flagMarker p_f) /*@*/ ;
77 extern /*@observer@*/ fileloc flagMarker_getLoc (flagMarker p_f) /*@*/ ;
79 # define flagMarker_getLoc(f) ((f)->loc)
82 # error "Multiple include"