src/Headers/mtscanner.h

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