2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
13 extern bool fileLib_isLCLFile (cstring p_s) /*@*/ ;
14 extern bool fileLib_isCExtension (cstring p_ext) /*@*/ ;
16 extern cstring fileLib_addExtension (cstring p_s, cstring p_suffix);
17 extern cstring fileLib_withoutExtension (cstring p_s, cstring p_suffix) /*@*/ ;
20 extern cstring fileLib_removePath (cstring p_s) /*@*/ ;
23 extern cstring fileLib_removePathFree (/*@only@*/ cstring p_s) /*@*/ ;
24 extern cstring fileLib_removeAnyExtension (cstring p_s) /*@*/ ;
25 extern cstring fileLib_cleanName (cstring p_s) /*@*/ ;
26 extern bool fileLib_hasExtension (cstring p_s, cstring p_ext) /*@*/ ;
28 extern /*@observer@*/ cstring
29 fileLib_getExtension (/*@returned@*/ cstring p_s) /*@*/ ;
31 /*@constant observer cstring MTS_EXTENSION;@*/
32 # define MTS_EXTENSION cstring_makeLiteralTemp (".mts")
34 /*@constant observer cstring LCL_EXTENSION;@*/
35 # define LCL_EXTENSION cstring_makeLiteralTemp (".lcl")
37 /*@constant observer cstring LH_EXTENSION; @*/
38 # define LH_EXTENSION cstring_makeLiteralTemp (".lh")
40 /*@constant observer cstring C_EXTENSION; @*/
41 # define C_EXTENSION cstring_makeLiteralTemp (".c")
43 /*@constant observer cstring LHTMP_EXTENSION; @*/
44 # define LHTMP_EXTENSION cstring_makeLiteralTemp (".lh_tmp")
46 /*@constant observer cstring XH_EXTENSION;@*/
47 # define XH_EXTENSION cstring_makeLiteralTemp (".xh")