src/Headers/mtscanner.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** mtscanner.h
   8 */
   9
  10 # ifndef MTSCANNER_H
  11 # define MTSCANNER_H
  12
  13 extern void mtscanner_reset (inputStream p_sourceFile)
  14      /*@modifies internalState@*/ ;
  15
  16 /*@-redecl@*/
  17 extern int mtlex (YYSTYPE *p_mtlval)
  18      /*@modifies internalState, p_mtlval@*/ ;
  19 /*@=redecl@*/
  20
  21 extern ctype mtscanner_lookupType (mttok p_tok) /*@modifies p_tok@*/ ;
  22    /* Can steal p_tok's location. */
  23
  24 # else
  25 # error "Multiple include"
  26 # endif