Created html faq file to replace the faq.txt

[splint.git] / src / Headers / cscanner.h

diff --git a/src/Headers/cscanner.h b/src/Headers/cscanner.h
index efc30c0a024842346dd1168c08615e64af72f7d5..994125f768221b4815d10f84ebff503885a7f75e 100644 (file)
--- a/src/Headers/cscanner.h
+++ b/src/Headers/cscanner.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -7,17 +7,21 @@
 ** cscanner.h
 */
 
-extern /*@observer@*/ cstring cscanner_observeLastIdentifier (void) ;
-extern void cscanner_expectingMetaStateName (void) /*@modifies internalState@*/ ;
-extern void cscanner_clearExpectingMetaStateName (void) /*@modifies internalState@*/ ;
+/*@-declundef@*/ /* Don't always check cscanner.c */
 extern void cscanner_swallowMacro (void) /*@modifies internalState, fileSystem@*/ ;
 
+extern int cscanner_input (void) /*@modifies internalState, fileSystem@*/ ;
+extern void cscanner_unput (int) /*@modifies internalState, fileSystem@*/ ;
+
+extern int cscanner_returnFloat (ctype p_ct, double p_f) /*@modifies internalState@*/ ;
+extern int cscanner_returnInt (ctype p_ct, long p_i) /*@modifies internalState@*/ ;
+extern int cscanner_returnChar (char p_c) /*@modifies internalState@*/ ;
+
 /*
 ** These are all exported by bison, but not declared:
 */
 
-# ifdef S_SPLINT_S
-
+/*@-namechecks@*/
 typedef struct yy_buffer_state *YY_BUFFER_STATE;
 
 extern /*@unused@*/ void yy_switch_to_buffer (YY_BUFFER_STATE);
@@ -35,5 +39,6 @@ extern /*@unused@*/ char *yytext;
 extern /*@unused@*/ void yyerror (char *);
 extern /*@unused@*/ int        yychar; 
 extern /*@unused@*/ int yynerrs;
+/*@=namechecks@*/
+/*@=declundef@*/
 
-# endif