src/annotationInfo.c

   1 /*
   2 ** LCLint - annotation-assisted static program checker
   3 ** Copyright (C) 1994-2001 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 ** annotationInfo.c
  26 */
  27
  28 # include "lclintMacros.nf"
  29 # include "basic.h"
  30 # include "mtContextNode.h"
  31
  32 annotationInfo annotationInfo_create (cstring name,
  33                                       metaStateInfo state, mtContextNode context,
  34                                       int value, fileloc loc)
  35 {
  36   annotationInfo res = (annotationInfo) dmalloc (sizeof (*res));
  37
  38   res->name = name;
  39   res->state = state;
  40   res->context = context;
  41   res->value = value;
  42   res->loc = loc;
  43
  44   return res;
  45 }
  46
  47 void annotationInfo_free (annotationInfo ainfo)
  48 {
  49   if (annotationInfo_isDefined (ainfo))
  50     {
  51       cstring_free (ainfo->name);
  52       fileloc_free (ainfo->loc);
  53       sfree (ainfo);
  54     }
  55 }
  56
  57 cstring annotationInfo_getName (annotationInfo ainfo)
  58 {
  59   llassert (annotationInfo_isDefined (ainfo));
  60   return ainfo->name;
  61 }
  62
  63 /*@observer@*/ cstring annotationInfo_unparse (annotationInfo ainfo)
  64 {
  65   return annotationInfo_getName (ainfo);
  66 }
  67
  68 /*@observer@*/ metaStateInfo annotationInfo_getState (annotationInfo a) /*@*/
  69 {
  70   llassert (annotationInfo_isDefined (a));
  71   return a->state;
  72 }
  73
  74 /*@observer@*/ fileloc annotationInfo_getLoc (annotationInfo ainfo) /*@*/
  75 {
  76   llassert (annotationInfo_isDefined (ainfo));
  77   return ainfo->loc;
  78 }
  79
  80 int annotationInfo_getValue (annotationInfo a) /*@*/
  81 {
  82   llassert (annotationInfo_isDefined (a));
  83   return a->value;
  84 }
  85
  86
  87 bool annotationInfo_matchesContext (annotationInfo a, uentry ue)
  88 {
  89   /*
  90   ** Returns true iff the annotation context matches the uentry.
  91   */
  92
  93   mtContextNode mcontext;
  94
  95   llassert (annotationInfo_isDefined (a));
  96   mcontext = a->context;
  97
  98   if (mtContextNode_matchesEntry (mcontext, ue))
  99     {
 100       /* Matches annotation context, must also match meta state context. */
 101       metaStateInfo minfo = a->state;
 102
 103       if (mtContextNode_matchesEntry (metaStateInfo_getContext (minfo), ue))
 104         {
 105           return TRUE;
 106         }
 107       else
 108         {
 109           return FALSE;
 110         }
 111     }
 112   else
 113     {
 114       return FALSE;
 115     }
 116 }
 117
 118 bool annotationInfo_matchesContextRef (annotationInfo a, sRef sr)
 119 {
 120   /*
 121   ** Returns true iff the annotation context matches the uentry.
 122   */
 123
 124   mtContextNode mcontext;
 125
 126   llassert (annotationInfo_isDefined (a));
 127   mcontext = a->context;
 128
 129   if (mtContextNode_matchesRef (mcontext, sr))
 130     {
 131       /* Matches annotation context, must also match meta state context. */
 132       metaStateInfo minfo = a->state;
 133
 134       if (mtContextNode_matchesRef (metaStateInfo_getContext (minfo), sr))
 135         {
 136           return TRUE;
 137         }
 138       else
 139         {
 140           return FALSE;
 141         }
 142     }
 143   else
 144     {
 145       return FALSE;
 146     }
 147 }
 148
 149 cstring annotationInfo_dump (annotationInfo ainfo)
 150 {
 151   llassert (annotationInfo_isDefined (ainfo));
 152   return ainfo->name;
 153 }
 154
 155 /*@observer@*/ annotationInfo annotationInfo_undump (char **s)
 156 {
 157   cstring mname = reader_readUntil (s, '.');
 158   annotationInfo ainfo;
 159
 160   llassert (cstring_isDefined (mname));
 161   ainfo = context_lookupAnnotation (mname);
 162
 163   if (annotationInfo_isUndefined (ainfo))
 164     {
 165       llfatalerrorLoc
 166         (message ("Library uses undefined annotation %s.  Must use same -mts flags as when library was created.",
 167                   mname));
 168     }
 169   else
 170     {
 171       cstring_free (mname);
 172       return ainfo;
 173     }
 174
 175   BADBRANCH;
 176 }