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 33%option 8bit prefix="FOO" 34%option nounput nomain noyywrap noinput 35%option warn 36 37 38%% 39 40.|\n|\r { 41 42 /* Compile, but do not execute the following code. */ 43 if( 0) { 44 FOO_create_buffer((FILE*)0,0); 45 FOO_delete_buffer((YY_BUFFER_STATE)0); 46 FOO_flush_buffer((YY_BUFFER_STATE)0); 47 FOO_init_buffer((YY_BUFFER_STATE)0,(FILE*)0); 48 FOO_load_buffer_state(); 49 FOO_scan_buffer((char*)0,(yy_size_t)0); 50 FOO_scan_bytes((yyconst char*)0, 0); 51 FOO_scan_string((yyconst char*)0); 52 FOO_switch_to_buffer((YY_BUFFER_STATE)0); 53 yyin = (FILE*)0; 54 yyout = (FILE*)0; 55 yyleng = 0; 56 yylex(); 57 yyrestart((FILE*)0); 58 yytext = (char*)0; 59 } 60 } 61%% 62 63 64int main(void); 65 66int 67main (void) 68{ 69 yyin = stdin; 70 yyout = stdout; 71 FOOlex(); 72 printf("TEST RETURNING OK.\n"); 73 return 0; 74} 75 76