2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
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@*/ ;
17 lhVarDecl (lclTypeSpecNode p_lclTypeSpec, initDeclNodeList p_initDecls,
18 qualifierKind p_qualifier);
19 extern cstring lhType (typeNode) ;
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@*/ ;