2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
13 extern void mtreader_readFile (/*@only@*/ cstring p_infile)
14 /*@modifies internalState@*/ ;
16 extern void mtreader_processDeclaration (/*@only@*/ mtDeclarationNode p_decl)
17 /*@modifies internalState@*/ ;
19 extern void mtreader_processGlobalDeclaration (/*@only@*/ mtDeclarationNode p_decl)
20 /*@modifies internalState@*/ ;
23 # error "Multiple include"