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 /*@-declundef@*/ /* Don't always check cscanner.c */
  11 extern void cscanner_swallowMacro (void) /*@modifies internalState, fileSystem@*/ ;
  12
  13 extern int cscanner_input (void) /*@modifies internalState, fileSystem@*/ ;
  14 extern void cscanner_unput (int) /*@modifies internalState, fileSystem@*/ ;
  15
  16 extern int cscanner_returnFloat (ctype p_ct, double p_f) /*@modifies internalState@*/ ;
  17 extern int cscanner_returnInt (ctype p_ct, long p_i) /*@modifies internalState@*/ ;
  18 extern int cscanner_returnChar (char p_c) /*@modifies internalState@*/ ;
  19
  20 /*
  21 ** These are all exported by bison, but not declared:
  22 */
  23
  24 /*@-namechecks@*/
  25 typedef struct yy_buffer_state *YY_BUFFER_STATE;
  26
  27 extern /*@unused@*/ void yy_switch_to_buffer (YY_BUFFER_STATE);
  28 extern /*@unused@*/ void yy_load_buffer_state (void);
  29 extern /*@unused@*/ YY_BUFFER_STATE yy_create_buffer (FILE *, int);
  30 extern /*@unused@*/ void yy_delete_buffer (YY_BUFFER_STATE);
  31 extern /*@unused@*/ void yy_init_buffer (YY_BUFFER_STATE, FILE *);
  32 extern /*@unused@*/ void yy_flush_buffer (YY_BUFFER_STATE);
  33
  34 extern /*@unused@*/ YY_BUFFER_STATE yy_scan_buffer (char *, size_t);
  35 extern /*@unused@*/ YY_BUFFER_STATE yy_scan_string (const char *);
  36 extern /*@unused@*/ YY_BUFFER_STATE yy_scan_bytes (const char *, int);
  37
  38 extern /*@unused@*/ char *yytext;
  39 extern /*@unused@*/ void yyerror (char *);
  40 extern /*@unused@*/ int yychar;
  41 extern /*@unused@*/ int yynerrs;
  42 /*@=namechecks@*/
  43 /*@=declundef@*/
  44