]> andersk Git - splint.git/blob - src/metaStateSpecifier.c
*** empty log message ***
[splint.git] / src / metaStateSpecifier.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 ** metaStateSpecifier.c
26 */
27
28 # include "lclintMacros.nf"
29 # include "basic.h"
30
31 metaStateSpecifier 
32 metaStateSpecifier_create (/*@only@*/ sRef sr, /*@observer@*/ metaStateInfo msinfo)
33 {
34   metaStateSpecifier res = (metaStateSpecifier) dmalloc (sizeof (*res));
35   res->sr = sr;
36   res->msinfo = msinfo;
37   return res;
38 }
39
40 sRef
41 metaStateSpecifier_getSref (metaStateSpecifier m)
42 {
43   return m->sr;
44 }
45
46 metaStateInfo
47 metaStateSpecifier_getMetaStateInfo (metaStateSpecifier m)
48 {
49   return m->msinfo;
50 }
51
52 metaStateSpecifier 
53 metaStateSpecifier_copy (metaStateSpecifier m)
54 {
55   return metaStateSpecifier_create (sRef_saveCopy (m->sr), m->msinfo);
56 }
57
58 cstring metaStateSpecifier_unparse (metaStateSpecifier m) 
59 {
60   return message ("%q:%s", 
61                   sRef_unparse (m->sr),
62                   metaStateInfo_getName (m->msinfo));
63 }
64
65 void metaStateSpecifier_free (/*@only@*/ metaStateSpecifier m) 
66 {
67   sRef_free (m->sr);
68   sfree (m);
69 }
70
This page took 0.048042 seconds and 5 git commands to generate.