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