src/Headers/mtreader.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** mtreader.h
   8 */
   9
  10 # ifndef MTREADER_H
  11 # define MTREADER_H
  12
  13 extern void mtreader_readFile (/*@only@*/ cstring p_infile)
  14      /*@modifies internalState@*/ ;
  15
  16 extern void mtreader_processDeclaration (/*@only@*/ mtDeclarationNode p_decl)
  17      /*@modifies internalState@*/ ;
  18
  19 extern void mtreader_processGlobalDeclaration (/*@only@*/ mtDeclarationNode p_decl)
  20      /*@modifies internalState@*/ ;
  21
  22 # else
  23 # error "Multiple include"
  24 # endif