src/Headers/fileLib.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** fileLib.h
   8 */
   9
  10 # ifndef FILELIB_H
  11 # define FILELIB_H
  12
  13 extern bool fileLib_isLCLFile (cstring p_s) /*@*/ ;
  14 extern bool fileLib_isCExtension (cstring p_ext) /*@*/ ;
  15
  16 extern cstring fileLib_addExtension (cstring p_s, cstring p_suffix);
  17 extern cstring fileLib_withoutExtension (cstring p_s, cstring p_suffix) /*@*/ ;
  18
  19 # ifndef NOLCL
  20 extern cstring fileLib_removePath (cstring p_s) /*@*/ ;
  21 # endif
  22
  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) /*@*/ ;
  27
  28 extern /*@observer@*/ cstring
  29   fileLib_getExtension (/*@returned@*/ cstring p_s) /*@*/ ;
  30
  31 /*@constant observer cstring MTS_EXTENSION;@*/
  32 # define MTS_EXTENSION cstring_makeLiteralTemp (".mts")
  33
  34 /*@constant observer cstring LCL_EXTENSION;@*/
  35 # define LCL_EXTENSION cstring_makeLiteralTemp (".lcl")
  36
  37 /*@constant observer cstring LH_EXTENSION; @*/
  38 # define LH_EXTENSION cstring_makeLiteralTemp (".lh")
  39
  40 /*@constant observer cstring C_EXTENSION; @*/
  41 # define C_EXTENSION cstring_makeLiteralTemp (".c")
  42
  43 /*@constant observer cstring LHTMP_EXTENSION; @*/
  44 # define LHTMP_EXTENSION cstring_makeLiteralTemp (".lh_tmp")
  45
  46 /*@constant observer cstring XH_EXTENSION;@*/
  47 # define XH_EXTENSION cstring_makeLiteralTemp (".xh")
  48
  49 /* C files that have already been preprocessed */
  50 /*@constant observer cstring PP_EXTENSION;@*/
  51 # define PP_EXTENSION cstring_makeLiteralTemp (".pp")
  52
  53 # endif