src/Headers/cscanner.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** cscanner.h
   8 */
   9
  10 extern int cscanner_input (void) /*@modifies internalState, fileSystem@*/ ;
  11 extern void cscanner_unput (int) /*@modifies internalState, fileSystem@*/ ;
  12
  13 /*
  14 ** These are all exported by flex, but not declared:
  15 */
  16
  17 /* Don't always check cscanner.c */
  18
  19 /*@-declundef@*/
  20 /*@-namechecks@*/
  21 extern char *c_text;
  22 extern /*@dependent@*/ /*@open@*/ FILE *c_in;
  23 extern void c_restart (/*@dependent@*/ FILE *);
  24
  25 /*
  26 ** All bellow are unused.
  27 ** TODO: convince flex to not generate them and not declare them here.
  28 */
  29
  30 typedef struct c__buffer_state *C__BUFFER_STATE;
  31
  32 extern /*@unused@*/ void c__switch_to_buffer (C__BUFFER_STATE);
  33 extern /*@unused@*/ void c__load_buffer_state (void);
  34 extern /*@unused@*/ C__BUFFER_STATE c__create_buffer (FILE *, int);
  35 extern /*@unused@*/ void c__delete_buffer (C__BUFFER_STATE);
  36 extern /*@unused@*/ void c__init_buffer (C__BUFFER_STATE, FILE *);
  37 extern /*@unused@*/ void c__flush_buffer (C__BUFFER_STATE);
  38
  39 extern /*@unused@*/ C__BUFFER_STATE c__scan_buffer (char *, size_t);
  40 extern /*@unused@*/ C__BUFFER_STATE c__scan_string (const char *);
  41 extern /*@unused@*/ C__BUFFER_STATE c__scan_bytes (const char *, int);
  42
  43 extern /*@dependent@*/ /*@open@*/ /*@unused@*/ FILE *c_out;
  44 extern /*@unused@*/ int c_char;
  45 extern /*@unused@*/ int c_nerrs;
  46 /*@=namechecks@*/
  47 /*@=declundef@*/