/*

 * 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 file to build "scanner.c". */

/* This tests that we can use "yyextra". 

   We buffer all input into a growable array, then print it.

   We run diff on the input and output.

*/

#include <stdio.h>

#include <stdlib.h>

#include "config.h"

/* We'll store the entire input in this buffer, growing as necessary. */

struct Check {

    char foo;

    char *bar;

    char qux;

};

/* Save char into junk array at next position. */

static void check_extra ( yyscan_t  scanner );

/* Special yyalloc */

void *yyalloc ( size_t size, yyscan_t  scanner );

%}

%option 8bit  prefix="test"

%option nounput nomain noyywrap nodefault noinput

%option warn

%option extra-type="struct Check *"

%option reentrant

%option noyyalloc

%%

.|\r|\n  { check_extra (yyscanner); }

%%

int main(void);

int

main ()

{   

    yyscan_t scanner;

    struct Check check;

    check.foo = 'a';

    check.bar = NULL;

    check.qux = 'z';

    testlex_init_extra(&check, &scanner);

    testset_in(stdin, scanner);

    testset_out(stdout, scanner);

    /* Test to confirm that yyalloc was called from

     * yylex_init_extra with the yyextra argument.

     */

    check_extra(scanner);

    testlex(scanner);

    testlex_destroy(scanner);

    return 0;

}

void *yyalloc(size_t size, yyscan_t scanner)

{

    struct Check *check;

    check = testget_extra(scanner);

    if (!check->bar)

        check->bar = "Hello World";

    check_extra(scanner);

    return malloc(size);

}

/* Save char into junk array at next position. */

static void check_extra(yyscan_t  scanner)

{

    struct Check *check;

    check = testget_extra(scanner);

    if (check->foo != 'a') {

        fprintf(stderr, "foo is not 'a'\n");

        exit(1);

    }

    if (strcmp(check->bar, "Hello World") != 0) {

        fprintf(stderr, "bar is not Hello World\n");

        exit(1);

    }

    if (check->qux != 'z') {

        fprintf(stderr, "qux is not 'z'\n");

        exit(1);

    }

}