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

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

extern void lhCleanup (void) /*@modifies internalState, fileSystem@*/ ;
extern void lhIncludeBool (void) /*@modifies internalState@*/ ;
extern void lhInit (inputStream p_f) /*@modifies internalState@*/ ;
extern void lhOutLine (/*@only@*/ cstring p_s) /*@modifies internalState@*/ ;
extern void lhExternals (interfaceNodeList p_x) /*@modifies internalState@*/ ;

extern  cstring 
  lhVarDecl (lclTypeSpecNode p_lclTypeSpec, initDeclNodeList p_initDecls, 
	     qualifierKind p_qualifier); 
extern cstring lhType (typeNode) ;
extern cstring 
  lhFunction (lclTypeSpecNode p_lclTypeSpec, declaratorNode p_declarator);
extern void lhForwardStruct (ltoken p_t) /*@modifies internalState@*/ ;
extern void lhForwardUnion (ltoken p_t) /*@modifies internalState@*/ ;
Commit	Line	Data
885824d3	1	/*
28bf4b0b	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
885824d3	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6	/*
	7	** lh.h
	8	*/
	9
	10	extern void lhCleanup (void) /@modifies internalState, fileSystem@/ ;
	11	extern void lhIncludeBool (void) /@modifies internalState@/ ;
d5047b91	12	extern void lhInit (inputStream p_f) /@modifies internalState@/ ;
885824d3	13	extern void lhOutLine (/@only@/ cstring p_s) /@modifies internalState@/ ;
	14	extern void lhExternals (interfaceNodeList p_x) /@modifies internalState@/ ;
	15
	16	extern cstring
	17	lhVarDecl (lclTypeSpecNode p_lclTypeSpec, initDeclNodeList p_initDecls,
	18	qualifierKind p_qualifier);
	19	extern cstring lhType (typeNode) ;
	20	extern cstring
	21	lhFunction (lclTypeSpecNode p_lclTypeSpec, declaratorNode p_declarator);
	22	extern void lhForwardStruct (ltoken p_t) /@modifies internalState@/ ;
	23	extern void lhForwardUnion (ltoken p_t) /@modifies internalState@/ ;