2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3 ** See ../LICENSE for license information.
13 extern ltokenCode yllex (void) /*@modifies internalState@*/ ;
15 extern bool g_inTypeDef;
17 extern /*@dependent@*/ /*@exposed@*/ ltoken LCLScanNextToken(void)
18 /*@modifies internalState@*/ ;
19 extern void LCLScanFreshToken(/*@only@*/ ltoken p_tok)
20 /*@modifies internalState@*/ ;
22 extern /*@exposed@*/ tsource *LCLScanSource(void) /*@*/ ;
23 extern void LCLScanInit(void) /*@modifies internalState@*/ ;
24 extern void LCLScanReset(tsource *p_s) /*@modifies internalState@*/ ;
25 extern void LCLScanCleanup(void) /*@modifies internalState@*/ ;
28 # error "Multiple include"