]>
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@*/ ; | |
28bf4b0b | 12 | extern void lhInit (inputStream p_f) /*@modifies internalState, fileSystem@*/ ; |
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@*/ ; |