]> andersk Git - splint.git/blob - src/Headers/lh.h
b7445b06fd1674d9b075effaf57d52ea2b211b72
[splint.git] / src / Headers / lh.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
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@*/ ;
12 extern void lhInit (inputStream p_f) /*@modifies internalState@*/ ;
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@*/ ;
This page took 0.098825 seconds and 3 git commands to generate.