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 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@*/ ;
16 lhVarDecl (lclTypeSpecNode p_lclTypeSpec
, initDeclNodeList p_initDecls
,
17 qualifierKind p_qualifier
);
18 extern cstring
lhType (typeNode
) ;
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@*/ ;