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 ** Deliver tokens one at a time
30 ** The input arrives via LSLScanFreshToken ().
31 ** The output is reported via LSLScanNextToken ().
33 ** The tokens are built in module ScanLine.
34 ** The tokens are delivered from this module.
35 ** Meantimes, they are saved in a static array.
37 ** The tokenizing is split off from the delivery of tokens
38 ** to facilitate incremental scanning at a later date.
39 ** The essential is that scanline () can be called or not
40 ** if the input text is dirty or not. Clean lines cause
41 ** tokens to be played out from the saved token list (not
42 ** yet implemented in this version).
45 # include "splintMacros.nf"
48 /*@-redecl@*/ /* from llgrammar.y */
49 extern bool g_inTypeDef;
53 # include "llgrammar2.h" /* hack to force real include */
57 # include "scanline.h"
58 # include "lclscanline.h"
59 # include "lcltokentable.h"
61 static inputStream scanFile; /* file to scan */
62 static o_ltoken TokenList[MAXLINE]; /* available tokens */
63 static bool restore = FALSE; /* wasn't static! */
64 static YYSTYPE restoretok;
65 static int nextToken; /* next available token */
66 static int lastToken; /* next available slot */
68 static /*@dependent@*/ /*@null@*/ char *line; /* input text */
69 static unsigned int lineNumber; /* current line number */
71 ltokenCode yllex (void)
72 /*@globals killed restoretok@*/
83 yllval.ltok = ltoken_copy (LCLScanNextToken ());
86 tokenSym = ltoken_getText (yllval.ltok);
88 if (ltoken_getCode (yllval.ltok) == simpleId)
92 ltoken_setCode (yllval.ltok, LLT_TYPEDEF_NAME);
93 LCLUpdateToken (LLT_TYPEDEF_NAME, tokenSym,
94 ltoken_isStateDefined (yllval.ltok));
98 /* or if it is already declared as a type, so
99 typedef int foo; typedef foo bar; works*/
100 if (symtable_exists (g_symtab, tokenSym))
102 if (typeInfo_exists (symtable_typeInfo (g_symtab, tokenSym)))
104 ltoken_setCode (yllval.ltok, LLT_TYPEDEF_NAME);
105 LCLUpdateToken (LLT_TYPEDEF_NAME, tokenSym,
106 ltoken_isStateDefined (yllval.ltok));
112 return (ltoken_getCode (yllval.ltok));
115 /* useful for scanning LCL init files and LSL init files ? */
117 /*@dependent@*/ ltoken
118 LCLScanNextToken (void)
122 if (nextToken < lastToken)
124 ret = TokenList[nextToken++];
130 line = inputStream_nextLine (scanFile);
132 if (line != (char *) 0)
137 ret = LCLScanNextToken ();
142 ret = LCLScanEofToken ();
150 static /*@exposed@*/ /*@dependent@*/ ltoken
151 LCLScanLookAhead (void)
153 if (nextToken < lastToken)
155 return TokenList[nextToken];
160 line = inputStream_nextLine (scanFile);
161 if (line != (char *) 0)
165 return LCLScanLookAhead ();
169 return LCLScanEofToken ();
175 LCLScanFreshToken (/*@only@*/ ltoken tok)
177 if (lastToken < MAXLINE)
179 TokenList[lastToken++] = tok;
183 llbugexitlit ("LCLScanFreshToken: out of range");
187 inputStream LCLScanSource (void)
199 LCLScanReset (inputStream s)
203 nextToken = lastToken + 1;
208 LCLScanCleanup (void)