src/Headers/lclscan.h

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

# ifndef LCLSCAN_H
# define LCLSCAN_H

extern ltokenCode yllex (void) /*@modifies internalState@*/ ;

/*@-declundef@*/
extern bool g_inTypeDef;
/*@=declundef@*/

extern /*@dependent@*/ /*@exposed@*/ ltoken LCLScanNextToken(void)
   /*@modifies internalState@*/ ;
extern void LCLScanFreshToken(/*@only@*/ ltoken p_tok)
   /*@modifies internalState@*/ ;

extern /*@exposed@*/ inputStream LCLScanSource(void) /*@*/ ;
extern void LCLScanInit(void) /*@modifies internalState@*/ ;
extern void LCLScanReset(inputStream p_s) /*@modifies internalState@*/ ;
extern void LCLScanCleanup(void) /*@modifies internalState@*/ ;

# else
# error "Multiple include"
# endif
Commit	Line	Data
	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6	/*
	7	** lclscan.h
	8	*/
	9
	10	# ifndef LCLSCAN_H
	11	# define LCLSCAN_H
	12
	13	extern ltokenCode yllex (void) /@modifies internalState@/ ;
	14
	15	/@-declundef@/
	16	extern bool g_inTypeDef;
	17	/@=declundef@/
	18
	19	extern /@dependent@/ /@exposed@/ ltoken LCLScanNextToken(void)
	20	/@modifies internalState@/ ;
	21	extern void LCLScanFreshToken(/@only@/ ltoken p_tok)
	22	/@modifies internalState@/ ;
	23
	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@/ ;
	28
	29	# else
	30	# error "Multiple include"
	31	# endif
	32
	33