2 ** Splint - annotation-assisted static program checker
3 ** Copyright (C) 1994-2003 University of Virginia,
4 ** Massachusetts Institute of Technology
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.
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.
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.
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
27 ** Controls reading of .mts files.
30 # include "splintMacros.nf"
32 # include "mtgrammar.h"
33 # include "mtscanner.h"
35 void mtreader_readFile (cstring infile)
37 inputStream sourceFile;
41 sourceFile = inputStream_create (infile, cstring_undefined, FALSE);
43 if (!inputStream_getPath (context_getLarchPath (), sourceFile))
46 (message ("Cannot find metastate file: %s", inputStream_fileName (sourceFile)));
47 inputStream_free (sourceFile);
51 if (!inputStream_open (sourceFile))
54 (message ("Cannot open metastate file: %s",
55 inputStream_fileName (sourceFile)));
56 inputStream_free (sourceFile);
62 fname = inputStream_fileName (sourceFile);
64 if (fileTable_exists (context_fileTable (), fname))
66 fid = fileTable_lookup (context_fileTable (), fname);
70 fid = fileTable_addMetastateFile (context_fileTable (), fname);
73 context_setFileId (fid);
74 displayScan (message ("reading metastate %s", fname));
76 mtscanner_reset (sourceFile);
77 context_enterMTfile ();
79 context_exitMTfile ();
81 check (inputStream_close (sourceFile));
82 inputStream_free (sourceFile);
85 void mtreader_processDeclaration (mtDeclarationNode decl)
87 DPRINTF (("Processing state %s", mtDeclarationNode_unparse (decl)));
88 mtDeclarationNode_process (decl, FALSE);
89 mtDeclarationNode_free (decl);
92 void mtreader_processGlobalDeclaration (mtDeclarationNode decl)
94 DPRINTF (("Processing state %s", mtDeclarationNode_unparse (decl)));
95 mtDeclarationNode_process (decl, TRUE);
96 mtDeclarationNode_free (decl);