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 45