2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
13 extern bool isHeaderFile (cstring
) /*@*/ ;
15 extern bool fileLib_isLCLFile (cstring p_s
) /*@*/ ;
16 extern bool fileLib_isCExtension (cstring p_ext
) /*@*/ ;
18 extern cstring
fileLib_addExtension (cstring p_s
, cstring p_suffix
);
19 extern cstring
fileLib_withoutExtension (cstring p_s
, cstring p_suffix
) /*@*/ ;
21 extern cstring
fileLib_removePath (cstring p_s
) /*@*/ ;
22 extern cstring
fileLib_removePathFree (/*@only@*/ cstring p_s
) /*@*/ ;
23 extern cstring
fileLib_removeAnyExtension (cstring p_s
) /*@*/ ;
24 extern /*@only@*/ cstring
fileLib_cleanName (/*@only@*/ cstring p_s
) /*@*/ ;
26 extern /*@observer@*/ cstring
27 fileLib_getExtension (/*@returned@*/ cstring p_s
) /*@*/ ;
29 /*@constant observer cstring MTS_EXTENSION;@*/
30 # define MTS_EXTENSION cstring_makeLiteralTemp (".mts")
32 /*@constant observer cstring LCL_EXTENSION;@*/
33 # define LCL_EXTENSION cstring_makeLiteralTemp (".lcl")
35 /*@constant observer cstring LH_EXTENSION; @*/
36 # define LH_EXTENSION cstring_makeLiteralTemp (".lh")
38 /*@constant observer cstring C_EXTENSION; @*/
39 # define C_EXTENSION cstring_makeLiteralTemp (".c")
41 /*@constant observer cstring XH_EXTENSION;@*/
42 # define XH_EXTENSION cstring_makeLiteralTemp (".xh")
44 /* C files that have already been preprocessed */
45 /*@constant observer cstring PP_EXTENSION;@*/
46 # define PP_EXTENSION cstring_makeLiteralTemp (".pp")