1 files changed, 96 insertions, 0 deletions
diff --git a/tests/string_nr.l b/tests/string_nr.l
new file mode 100644
index 0000000..e909b2d
--- /dev/null
+++ b/tests/string_nr.l
@@ -0,0 +1,96 @@
+/*
+ * This file is part of flex.
+ * 
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in the
+ *    documentation and/or other materials provided with the distribution.
+ * 
+ * Neither the name of the University nor the names of its contributors
+ * may be used to endorse or promote products derived from this software
+ * without specific prior written permission.
+ * 
+ * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
+ * IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
+ * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
+ */
+
+%{
+/* A template scanner file to build "scanner.c". */
+#include <stdio.h>
+#include <stdlib.h>
+#include "config.h"
+
+#define NUMBER 200
+#define WORD   201
+
+%}
+
+%option 8bit prefix="test"
+%option nounput nomain nodefault noyywrap noinput
+%option warn 
+
+
+%%
+
+[[:space:]]+   { }
+[[:digit:]]+   { printf("NUMBER "); fflush(stdout);}
+[[:alpha:]]+   { printf("WORD "); fflush(stdout);}
+.              {
+    fprintf(stderr,"*** Error: Unrecognized character '%c' while scanning.\n",
+         yytext[0]);
+    yyterminate();
+    }
+
+<<EOF>>  { printf("<<EOF>>\n"); yyterminate();}
+
+%%
+
+
+#define INPUT_STRING_1  "1234 foo bar"
+#define INPUT_STRING_2  "1234 foo bar *@&@&###@^$#&#*"
+
+int main(void);
+
+int
+main ()
+{
+    char * buf;
+    int len;
+    YY_BUFFER_STATE state;
+
+
+    /* Scan a good string. */
+    printf("Testing: yy_scan_string(%s): ",INPUT_STRING_1); fflush(stdout);
+    state = yy_scan_string ( INPUT_STRING_1 );
+    yylex();
+    yy_delete_buffer(state);
+
+    /* Scan only the first 12 chars of a string. */
+    printf("Testing: yy_scan_bytes(%s): ",INPUT_STRING_2); fflush(stdout);
+    state = yy_scan_bytes  ( INPUT_STRING_2, 12 );
+    yylex();
+    yy_delete_buffer(state);
+
+    /* Scan directly from a buffer.
+       We make a copy, since the buffer will be modified by flex.*/
+    printf("Testing: yy_scan_buffer(%s): ",INPUT_STRING_1); fflush(stdout);
+    len = strlen(INPUT_STRING_1) + 2;
+    buf = malloc(len);
+    strcpy( buf, INPUT_STRING_1);
+    buf[ len -2 ]  = 0; /* Flex requires two NUL bytes at end of buffer. */
+    buf[ len -1 ] =0;
+
+    state = yy_scan_buffer( buf, len );
+    yylex();
+    yy_delete_buffer(state);
+    
+    printf("TEST RETURNING OK.\n");
+    return 0;
+}