Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git] / src / Headers / lh.h
blob9f31c9b70b76b0a875ddfad691bc9c7b26d0f7ab
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 **
5 */
6 /*
7 ** lh.h
8 */
10 extern void lhCleanup (void) /*@modifies internalState, fileSystem@*/ ;
11 extern void lhInit (inputStream p_f) /*@modifies internalState@*/ ;
12 extern void lhOutLine (/*@only@*/ cstring p_s) /*@modifies internalState@*/ ;
13 extern void lhExternals (interfaceNodeList p_x) /*@modifies internalState@*/ ;
15 extern cstring
16 lhVarDecl (lclTypeSpecNode p_lclTypeSpec, initDeclNodeList p_initDecls,
17 qualifierKind p_qualifier);
18 extern cstring lhType (typeNode) ;
19 extern cstring
20 lhFunction (lclTypeSpecNode p_lclTypeSpec, declaratorNode p_declarator);
21 extern void lhForwardStruct (ltoken p_t) /*@modifies internalState@*/ ;
22 extern void lhForwardUnion (ltoken p_t) /*@modifies internalState@*/ ;