src/Headers/scan.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
** See ../LICENSE for license information.
**
*/
/*
** scan.h
*/

/*@-redecl@*/ /*@-type@*/ /*@-incondefs@*/
extern unsigned int lsllex (YYSTYPE *p_lval);
/*@=redecl@*/ /*@=type@*/ /*@=incondefs@*/

extern /*@only@*/ ltoken LSLScanNextToken(void) /*@modifies internalState@*/ ;
extern void LSLScanFreshToken(ltoken p_tok) /*@modifies internalState@*/ ;
extern /*@exposed@*/ inputStream LSLScanSource (void) /*@*/ ;
extern void LSLScanInit (void) /*@modifies internalState@*/ ;
extern void LSLScanReset (inputStream p_s) /*@modifies internalState@*/ ;
extern void LSLScanCleanup (void) /*@modifies internalState@*/ ;
Commit	Line	Data
	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
	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 /@only@/ ltoken LSLScanNextToken(void) /@modifies internalState@/ ;
	15	extern void LSLScanFreshToken(ltoken p_tok) /@modifies internalState@/ ;
	16	extern /@exposed@/ inputStream LSLScanSource (void) /@/ ;
	17	extern void LSLScanInit (void) /@modifies internalState@/ ;
	18	extern void LSLScanReset (inputStream p_s) /@modifies internalState@/ ;
	19	extern void LSLScanCleanup (void) /@modifies internalState@/ ;
	20
	21
	22
	23
	24
	25