/*

 * 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 reentrant

%%

[[: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;

    yyscan_t  scanner=NULL;

    /* Scan a good string. */

    printf("Testing: yy_scan_string(%s): ",INPUT_STRING_1); fflush(stdout);

    yylex_init(&scanner);

    state = yy_scan_string ( INPUT_STRING_1 ,scanner);

    yylex(scanner);

    yy_delete_buffer(state, scanner);

    yylex_destroy(scanner);

    /* Scan only the first 12 chars of a string. */

    printf("Testing: yy_scan_bytes(%s): ",INPUT_STRING_2); fflush(stdout);

    yylex_init(&scanner);

    state = yy_scan_bytes  ( INPUT_STRING_2, 12 ,scanner);

    yylex(scanner);

    yy_delete_buffer(state,scanner);

    yylex_destroy(scanner);

    /* 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;

    yylex_init(&scanner);

    state = yy_scan_buffer( buf, len ,scanner);

    yylex(scanner);

    yy_delete_buffer(state,scanner);

    yylex_destroy(scanner);

    printf("TEST RETURNING OK.\n");

    return 0;

}