/*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
extern flagcode flags_identifyFlag (cstring p_s) /*@modifies g_warningstream@*/ ;
extern flagcode flags_identifyFlagQuiet (cstring p_s) /*@modifies nothing@*/ ;
-extern void setValueFlag (flagcode p_opt, cstring p_arg);
-extern void setStringFlag (flagcode p_opt, /*@only@*/ cstring p_arg);
+extern void flags_setValueFlag (flagcode p_opt, /*@only@*/ cstring p_arg);
+extern void flags_setStringFlag (flagcode p_opt, /*@only@*/ cstring p_arg);
extern /*@observer@*/ cstring flagcode_unparse (flagcode p_code) /*@*/ ;
extern int flagcode_valueIndex (flagcode p_f) /*@*/ ;
extern int flagcode_stringIndex (flagcode p_f) /*@*/ ;
+extern int flagcode_priority (flagcode p_code) /*@*/ ;
+
extern bool flagcode_equal (flagcode p_code1, flagcode p_code2) /*@*/ ;
# define flagcode_equal(c1, c2) ((c1) == (c2))
extern bool flags_isModeName (cstring p_s) /*@*/ ;
extern /*@only@*/ cstring describeModes (void) /*@modifies g_messagestream@*/ ;
+extern /*@only@*/ cstring describeMode (/*@temp@*/ cstring p_mode) /*@*/ ;
extern void summarizeErrors (void) /*@modifies g_messagestream@*/ ;
extern bool flagcode_isNameChecksFlag (flagcode p_f) /*@*/ ;
fileIdList p_cfiles,
fileIdList p_lclfiles,
fileIdList p_mtfiles,
- cstringSList *p_passThroughArgs,
- int p_argc, /*@null@*/ char **p_argv)
+ cstringList *p_passThroughArgs,
+ int p_argc,
+ /*@null@*/ char **p_argv)
/*@requires maxRead(p_argv) >= (p_argc - 1) @*/
/* returns true if normal, false if execution should exit */ ;