src/fileLib.c

   1 /*
   2 ** Splint - annotation-assisted static program checker
   3 ** Copyright (C) 1994-2002 University of Virginia,
   4 **         Massachusetts Institute of Technology
   5 **
   6 ** This program is free software; you can redistribute it and/or modify it
   7 ** under the terms of the GNU General Public License as published by the
   8 ** Free Software Foundation; either version 2 of the License, or (at your
   9 ** option) any later version.
  10 **
  11 ** This program is distributed in the hope that it will be useful, but
  12 ** WITHOUT ANY WARRANTY; without even the implied warranty of
  13 ** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14 ** General Public License for more details.
  15 **
  16 ** The GNU General Public License is available from http://www.gnu.org/ or
  17 ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
  18 ** MA 02111-1307, USA.
  19 **
  20 ** For information on splint: info@splint.org
  21 ** To report a bug: splint-bug@splint.org
  22 ** For more information: http://www.splint.org
  23 */
  24 /*
  25 ** fileLib.c
  26 */
  27
  28 # include "splintMacros.nf"
  29 # include "basic.h"
  30 # include "portab.h"
  31
  32 bool
  33 fileLib_isCExtension (cstring ext)
  34 {
  35   return (cstring_equalLit (ext, ".c")
  36           || cstring_equalLit (ext, ".C")
  37           || cstring_equalLit (ext, ".h")
  38           || cstring_equalLit (ext, ".lh")
  39           || cstring_equalLit (ext, ".xh")
  40           || cstring_equalLit (ext, ".H")
  41           || cstring_equalLit (ext, ".y")
  42           || cstring_equalLit (ext, ".l"));
  43 }
  44
  45 bool
  46 fileLib_isLCLFile (cstring s)
  47 {
  48   return (fileLib_hasExtension (s, LCL_EXTENSION));
  49 }
  50
  51 /*@only@*/ cstring fileLib_withoutExtension (/*@temp@*/ cstring s, cstring suffix)
  52 {
  53   /*@access cstring@*/
  54   char *t;
  55   char *s2;
  56
  57   if (cstring_isUndefined (s)) {
  58     return cstring_undefined;
  59   }
  60
  61   t = strrchr (s, '.');
  62   if (t == (char *) 0 || !mstring_equal (t, suffix))
  63     {
  64       return mstring_copy (s);
  65     }
  66
  67   /*@-mods@*/
  68   *t = '\0';
  69   s2 = mstring_copy (s);
  70   *t = '.';
  71   /*@=mods@*/  /* Modification is undone. */
  72   return s2;
  73   /*@noaccess cstring@*/
  74 }
  75
  76 # ifndef NOLCL
  77 /*@only@*/ cstring fileLib_removePath (cstring s)
  78 {
  79   /*@access cstring@*/
  80   char *t;
  81
  82   if (cstring_isUndefined (s)) {
  83     return cstring_undefined;
  84   }
  85
  86   t = strrchr (s, CONNECTCHAR);
  87
  88   if (t == NULL) return (mstring_copy (s));
  89   else return (mstring_copy (t + 1));
  90   /*@noaccess cstring@*/
  91 }
  92 # endif
  93
  94 /*@only@*/ cstring
  95 fileLib_removePathFree (/*@only@*/ cstring s)
  96 {
  97   /*@access cstring@*/
  98   char *t;
  99
 100
 101   if (cstring_isUndefined (s)) {
 102     return cstring_undefined;
 103   }
 104
 105   t = strrchr (s, CONNECTCHAR);
 106
 107 # ifdef ALTCONNECTCHAR
 108   {
 109     char *at = strrchr (s, ALTCONNECTCHAR);
 110     if (t == NULL || (at > t)) {
 111       t = at;
 112     }
 113   }
 114 # endif
 115
 116   if (t == NULL)
 117     {
 118       return (s);
 119     }
 120   else
 121     {
 122       char *res = mstring_copy (t + 1);
 123       mstring_free (s);
 124       return res;
 125     }
 126   /*@noaccess cstring@*/
 127 }
 128
 129 /*@only@*/ cstring
 130 fileLib_removeAnyExtension (cstring s)
 131 {
 132   /*@access cstring@*/
 133   char *ret;
 134   char *t;
 135
 136
 137   if (cstring_isUndefined (s)) {
 138     return cstring_undefined;
 139   }
 140
 141   t = strrchr (s, '.');
 142
 143   if (t == (char *) 0)
 144     {
 145       return mstring_copy (s);
 146     }
 147
 148   /*@-mods@*/
 149   *t = '\0';
 150   ret = mstring_copy (s);
 151   *t = '.';
 152   /*@=mods@*/ /* modification is undone */
 153
 154   return ret;
 155   /*@noaccess cstring@*/
 156 }
 157
 158 /*@only@*/ cstring
 159 fileLib_addExtension (/*@temp@*/ cstring s, cstring suffix)
 160 {
 161   /*@access cstring@*/
 162   llassert (cstring_isDefined (s));
 163
 164   if (strrchr (s, '.') == (char *) 0)
 165     {
 166       /* <<< was mstring_concatFree1 --- bug detected by splint >>> */
 167       return (cstring_concat (s, suffix));
 168     }
 169   else
 170     {
 171       return cstring_copy (s);
 172     }
 173 }
 174
 175 bool fileLib_hasExtension (cstring s, cstring ext)
 176 {
 177   return cstring_equal (fileLib_getExtension (s), ext);
 178 }
 179
 180 /*@observer@*/ cstring fileLib_getExtension (/*@returned@*/ cstring s)
 181 {
 182   llassert (cstring_isDefined (s));
 183
 184   /*@access cstring@*/
 185   return (strrchr(s, '.'));
 186   /*@noaccess cstring@*/
 187 }
 188
 189 cstring removePreDirs (cstring s)
 190 {
 191   /*@access cstring@*/
 192
 193   llassert (cstring_isDefined (s));
 194
 195   while (*s == '.' && *(s + 1) == CONNECTCHAR)
 196     {
 197       s += 2;
 198     }
 199
 200 # if defined(OS2) || defined(MSDOS)
 201   /* remove remainders from double path delimiters... */
 202   while (*s == CONNECTCHAR)
 203     {
 204       ++s;
 205     }
 206 # endif /* !defined(OS2) && !defined(MSDOS) */
 207
 208   return s;
 209   /*@noaccess cstring@*/
 210 }
 211
 212 bool isHeaderFile (cstring fname)
 213 {
 214   cstring ext = fileLib_getExtension (fname);
 215
 216   return (cstring_equalLit (ext, ".h")
 217           || cstring_equalLit (ext, ".H")
 218           || cstring_equal (ext, LH_EXTENSION));
 219 }
 220
 221 cstring fileLib_cleanName (cstring s)
 222 {
 223   if (cstring_equalPrefixLit (s, "./"))
 224     {
 225       return cstring_copySegment (s, 2, cstring_length (s) - 1);
 226     }
 227
 228
 229
 230   return cstring_copy (s);
 231 }