1 /*
2  * This file is part of flex.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  *
8  * 1. Redistributions of source code must retain the above copyright
9  *    notice, this list of conditions and the following disclaimer.
10  * 2. Redistributions in binary form must reproduce the above copyright
11  *    notice, this list of conditions and the following disclaimer in the
12  *    documentation and/or other materials provided with the distribution.
13  *
14  * Neither the name of the University nor the names of its contributors
15  * may be used to endorse or promote products derived from this software
16  * without specific prior written permission.
17  *
18  * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
19  * IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
20  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
21  * PURPOSE.
22  */
23 
24 %{
25 /* A template scanner file to build "scanner.c". */
26 #include <stdio.h>
27 #include <stdlib.h>
28 %}
29 
30 %option 8bit prefix="test"
31 %option nounput nomain noyywrap noinput
32 %option warn stack never-interactive
33 %x STATE_1
34 
35 %%
36 
37 <INITIAL>{
38 0              yy_push_state (STATE_1);
39 .|\n           return 1;
40 }
41 <STATE_1>{
42 1              yy_pop_state();
43 .|\n           return yy_top_state() + 1;
44 }
45 
46 %%
47 
48 int
49 main (int argc, char* const argv[])
50 {
51     FILE* fp;
52     int i;
53 
54     (void)argc;
55 
56     if ((fp = fopen(argv[1],"r")) == NULL){
57         perror("Failed to open input file.");
58         return 1;
59     }
60 
61     testset_out ( stdout);
62 
63     for (i=0; i <  4; ++i){
64         rewind(fp);
65         testset_in  ( fp);
66         while( testlex() )
67             ;
68         testlex_destroy();
69     }
70     printf("TEST RETURNING OK.\n");
71     return 0;
72 }
73