]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
28bf4b0b | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. |
885824d3 | 3 | ** See ../LICENSE for license information. |
4 | ** | |
5 | */ | |
6 | /* | |
7 | ** scan.h | |
8 | */ | |
9 | ||
10 | /*@-redecl@*/ /*@-type@*/ /*@-incondefs@*/ | |
11 | extern unsigned int lsllex (YYSTYPE *p_lval); | |
12 | /*@=redecl@*/ /*@=type@*/ /*@=incondefs@*/ | |
13 | ||
3120b462 | 14 | extern /*@only@*/ ltoken LSLScanNextToken(void) /*@modifies internalState@*/ ; |
885824d3 | 15 | extern void LSLScanFreshToken(ltoken p_tok) /*@modifies internalState@*/ ; |
28bf4b0b | 16 | extern /*@exposed@*/ inputStream LSLScanSource (void) /*@*/ ; |
885824d3 | 17 | extern void LSLScanInit (void) /*@modifies internalState@*/ ; |
28bf4b0b | 18 | extern void LSLScanReset (inputStream p_s) /*@modifies internalState@*/ ; |
885824d3 | 19 | extern void LSLScanCleanup (void) /*@modifies internalState@*/ ; |
20 | ||
21 | ||
22 | ||
23 | ||
24 | ||
25 |