src/Headers/lclscan.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** lclscan.h
   8 */
   9
  10 # ifndef LCLSCAN_H
  11 # define LCLSCAN_H
  12
  13 extern ltokenCode yllex (void) /*@modifies internalState@*/ ;
  14
  15 /*@-declundef@*/
  16 extern bool g_inTypeDef;
  17 /*@=declundef@*/
  18
  19 extern /*@dependent@*/ /*@exposed@*/ ltoken LCLScanNextToken(void)
  20    /*@modifies internalState@*/ ;
  21 extern void LCLScanFreshToken(/*@only@*/ ltoken p_tok)
  22    /*@modifies internalState@*/ ;
  23
  24 extern /*@exposed@*/ inputStream LCLScanSource(void) /*@*/ ;
  25 extern void LCLScanInit(void) /*@modifies internalState@*/ ;
  26 extern void LCLScanReset(inputStream p_s) /*@modifies internalState@*/ ;
  27 extern void LCLScanCleanup(void) /*@modifies internalState@*/ ;
  28
  29 # else
  30 # error "Multiple include"
  31 # endif
  32
  33