]>
Commit | Line | Data |
---|---|---|
08eb3d0e | 1 | /* |
c0de361f | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003. |
08eb3d0e | 3 | ** See ../LICENSE for license information. |
4 | ** | |
5 | */ | |
6 | /* | |
7 | ** cscanner.h | |
8 | */ | |
9 | ||
c3be2604 | 10 | /*@-declundef@*/ /* Don't always check cscanner.c */ |
6fcd0b1e | 11 | extern void cscanner_swallowMacro (void) /*@modifies internalState, fileSystem@*/ ; |
2f2892c2 | 12 | |
16c024b5 | 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 | ||
2f2892c2 | 20 | /* |
21 | ** These are all exported by bison, but not declared: | |
22 | */ | |
23 | ||
c3be2604 | 24 | /*@-namechecks@*/ |
2f2892c2 | 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; | |
c3be2604 | 42 | /*@=namechecks@*/ |
43 | /*@=declundef@*/ | |
2f2892c2 | 44 |