]> andersk Git - splint.git/blob - src/Headers/scan.h
Initial revision
[splint.git] / src / Headers / scan.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
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
14 extern ltoken LSLScanNextToken(void) /*@modifies internalState@*/ ;            
15 extern void LSLScanFreshToken(ltoken p_tok) /*@modifies internalState@*/ ;
16 extern /*@exposed@*/ tsource *LSLScanSource (void) /*@*/ ;         
17 extern void LSLScanInit (void) /*@modifies internalState@*/ ;
18 extern void LSLScanReset (tsource *p_s) /*@modifies internalState@*/ ;
19 extern void LSLScanCleanup (void) /*@modifies internalState@*/ ;
20
21
22
23
24
25
This page took 0.065945 seconds and 5 git commands to generate.