src/qual.c

   1 /*
   2 ** LCLint - annotation-assisted static program checker
   3 ** Copyright (C) 1994-2000 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 lclint: lclint-request@cs.virginia.edu
  21 ** To report a bug: lclint-bug@cs.virginia.edu
  22 ** For more information: http://lclint.cs.virginia.edu
  23 */
  24 /*
  25 ** qual.c
  26 **
  27 ** representation of type qualifiers
  28 */
  29
  30 # include "lclintMacros.nf"
  31 # include "basic.h"
  32
  33 static bool qual_isValid (int q)
  34 {
  35   return ((qual)q >= QU_UNKNOWN
  36           && ((qual)q < QU_LAST));
  37 }
  38
  39 qual qual_fromInt (int q)
  40 {
  41   llassertprint (qual_isValid (q), ("Invalid qual: %d", q));
  42   return (qual) q;
  43 }
  44
  45 cstring qual_unparse (qual q)
  46 {
  47   switch (q)
  48     {
  49     case QU_UNKNOWN:    return cstring_makeLiteralTemp ("unknown");
  50     case QU_ABSTRACT:   return cstring_makeLiteralTemp ("abstract");
  51     case QU_CONCRETE:   return cstring_makeLiteralTemp ("concrete");
  52     case QU_MUTABLE:    return cstring_makeLiteralTemp ("mutable");
  53     case QU_IMMUTABLE:  return cstring_makeLiteralTemp ("immutable");
  54     case QU_SHORT:      return cstring_makeLiteralTemp ("short");
  55     case QU_LONG:       return cstring_makeLiteralTemp ("long");
  56     case QU_SIGNED:     return cstring_makeLiteralTemp ("signed");
  57     case QU_UNSIGNED:   return cstring_makeLiteralTemp ("unsigned");
  58     case QU_CONST:      return cstring_makeLiteralTemp ("const");
  59     case QU_VOLATILE:   return cstring_makeLiteralTemp ("volatile");
  60     case QU_INLINE:     return cstring_makeLiteralTemp ("inline");
  61     case QU_EXTERN:     return cstring_makeLiteralTemp ("extern");
  62     case QU_STATIC:     return cstring_makeLiteralTemp ("static");
  63     case QU_AUTO:       return cstring_makeLiteralTemp ("auto");
  64     case QU_REGISTER:   return cstring_makeLiteralTemp ("register");
  65     case QU_OUT:        return cstring_makeLiteralTemp ("out");
  66     case QU_IN:         return cstring_makeLiteralTemp ("in");
  67     case QU_RELDEF:     return cstring_makeLiteralTemp ("reldef");
  68     case QU_ONLY:       return cstring_makeLiteralTemp ("only");
  69     case QU_IMPONLY:    return cstring_makeLiteralTemp ("only");
  70     case QU_PARTIAL:    return cstring_makeLiteralTemp ("partial");
  71     case QU_SPECIAL:    return cstring_makeLiteralTemp ("special");
  72     case QU_KEEP:       return cstring_makeLiteralTemp ("keep");
  73     case QU_KEPT:       return cstring_makeLiteralTemp ("kept");
  74     case QU_YIELD:      return cstring_makeLiteralTemp ("yield");
  75     case QU_TEMP:       return cstring_makeLiteralTemp ("temp");
  76     case QU_SHARED:     return cstring_makeLiteralTemp ("shared");
  77     case QU_UNIQUE:     return cstring_makeLiteralTemp ("unique");
  78     case QU_UNCHECKED:  return cstring_makeLiteralTemp ("unchecked");
  79     case QU_CHECKED:    return cstring_makeLiteralTemp ("checked");
  80     case QU_CHECKMOD:   return cstring_makeLiteralTemp ("checkmod");
  81     case QU_CHECKEDSTRICT: return cstring_makeLiteralTemp ("checkedstrict");
  82     case QU_TRUENULL:   return cstring_makeLiteralTemp ("truenull");
  83     case QU_FALSENULL:  return cstring_makeLiteralTemp ("falsenull");
  84     case QU_NULL:       return cstring_makeLiteralTemp ("null");
  85     case QU_RELNULL:    return cstring_makeLiteralTemp ("relnull");
  86     case QU_NOTNULL:    return cstring_makeLiteralTemp ("notnull");
  87     case QU_NULLTERMINATED: return cstring_makeLiteralTemp ("nullterminated");
  88     case QU_RETURNED:   return cstring_makeLiteralTemp ("  returned");
  89     case QU_EXPOSED:    return cstring_makeLiteralTemp ("exposed");
  90     case QU_EXITS:      return cstring_makeLiteralTemp ("exits");
  91     case QU_MAYEXIT:    return cstring_makeLiteralTemp ("mayexit");
  92     case QU_UNUSED:     return cstring_makeLiteralTemp ("unused");
  93     case QU_EXTERNAL:   return cstring_makeLiteralTemp ("external");
  94     case QU_SEF:        return cstring_makeLiteralTemp ("sef");
  95     case QU_OBSERVER:   return cstring_makeLiteralTemp ("observer");
  96     case QU_REFCOUNTED: return cstring_makeLiteralTemp ("refcounted");
  97     case QU_REFS:       return cstring_makeLiteralTemp ("refs");
  98     case QU_NEWREF:     return cstring_makeLiteralTemp ("newref");
  99     case QU_KILLREF:    return cstring_makeLiteralTemp ("killref");
 100     case QU_TEMPREF:    return cstring_makeLiteralTemp ("tempref");
 101     case QU_OWNED:      return cstring_makeLiteralTemp ("owned");
 102     case QU_DEPENDENT:  return cstring_makeLiteralTemp ("dependent");
 103     case QU_NEVEREXIT:  return cstring_makeLiteralTemp ("neverexit");
 104     case QU_TRUEEXIT:   return cstring_makeLiteralTemp ("trueexit");
 105     case QU_FALSEEXIT:  return cstring_makeLiteralTemp ("falseexit");
 106     case QU_UNDEF:      return cstring_makeLiteralTemp ("undef");
 107     case QU_KILLED:     return cstring_makeLiteralTemp ("killed");
 108     case QU_PRINTFLIKE: return cstring_makeLiteralTemp ("printflike");
 109     case QU_SCANFLIKE:  return cstring_makeLiteralTemp ("scanflike");
 110     case QU_MESSAGELIKE:return cstring_makeLiteralTemp ("messagelike");
 111     case QU_LAST:       return cstring_makeLiteralTemp ("< last >");
 112     }
 113
 114   BADEXIT;
 115 }
 116