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 /* Builds "scanner.c". */ 26 /* The scanner itself is a no-op. A successful compilation is all we want. */ 27 #include <stdio.h> 28 #include <stdlib.h> 29 #include "config.h" 30 31 %} 32 %option reentrant 33 %option 8bit prefix="FOO" 34 %option nounput nomain noyywrap noinput 35 %option warn 36 37 38 %% 39 40 41 .|\n|\r { 42 43 /* Compile, but do not execute the following code. */ 44 if( 0 ) { 45 FOO_create_buffer( (FILE*)0, 0, yyscanner); 46 FOO_delete_buffer( (YY_BUFFER_STATE)0, yyscanner); 47 FOO_flush_buffer( (YY_BUFFER_STATE)0, yyscanner); 48 FOO_init_buffer( (YY_BUFFER_STATE)0, (FILE*)0, yyscanner); 49 FOO_load_buffer_state( yyscanner); 50 FOO_scan_buffer( (char*)0, (yy_size_t)0, yyscanner); 51 FOO_scan_bytes( (yyconst char*)0, 0, yyscanner); 52 FOO_scan_string( (yyconst char*)0, yyscanner); 53 FOO_switch_to_buffer( (YY_BUFFER_STATE)0, yyscanner); 54 FOOrestart( (FILE*)0, (yyscan_t )0); 55 56 FOOget_extra( (yyscan_t )0 ); 57 FOOget_in( (yyscan_t )0 ); 58 FOOget_leng( (yyscan_t )0 ); 59 FOOget_out( (yyscan_t )0 ); 60 FOOget_text( (yyscan_t )0 ); 61 FOOlex( (yyscan_t )0 ); 62 FOOlex_destroy( (yyscan_t )0 ); 63 FOOlex_init( (yyscan_t *)0 ); 64 FOOset_extra( (void *)0, (yyscan_t )0 ); 65 FOOset_in( (FILE*)0, (yyscan_t )0 ); 66 FOOset_out( (FILE*)0, (yyscan_t )0 ); 67 } 68 } 69 %% 70 71 int main(void); 72 73 int 74 main (void) 75 { 76 yyscan_t scanner; 77 FOOlex_init( &scanner); 78 FOOlex( scanner); 79 FOOlex_destroy( scanner); 80 printf( "TEST RETURNING OK.\n"); 81 return 0; 82 } 83 84