src/Headers/scan.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** scan.h
   8 */
   9
  10 /*@-redecl@*/ /*@-type@*/ /*@-incondefs@*/
  11 extern unsigned int lsllex (YYSTYPE *p_lval);
  12 /*@=redecl@*/ /*@=type@*/ /*@=incondefs@*/
  13
  14 extern /*@only@*/ ltoken LSLScanNextToken(void) /*@modifies internalState@*/ ;
  15 extern void LSLScanFreshToken(ltoken p_tok) /*@modifies internalState@*/ ;
  16 extern /*@exposed@*/ inputStream LSLScanSource (void) /*@*/ ;
  17 extern void LSLScanInit (void) /*@modifies internalState@*/ ;
  18 extern void LSLScanReset (inputStream p_s) /*@modifies internalState@*/ ;
  19 extern void LSLScanCleanup (void) /*@modifies internalState@*/ ;
  20
  21
  22
  23
  24
  25