[splint.git] / src / Headers / lclscan.h

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

# ifndef LCLSCAN_H
# define LCLSCAN_H

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

extern bool g_inTypeDef;

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

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

# else
# error "Multiple include"
# endif
Commit	Line	Data
885824d3	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
	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	extern bool g_inTypeDef;
	16
	17	extern /@dependent@/ /@exposed@/ ltoken LCLScanNextToken(void)
	18	/@modifies internalState@/ ;
	19	extern void LCLScanFreshToken(/@only@/ ltoken p_tok)
	20	/@modifies internalState@/ ;
	21
	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@/ ;
	26
	27	# else
	28	# error "Multiple include"
	29	# endif
	30
	31