/**
 * eatdoxygen.l
 *
 * Copyright (C) 2003 - 2008 Bojan Smojver, Rexursive
 *
 * This program is free software: you can redistribute it and/or modify it
 * under the terms of the GNU Lesser General Public License as published by
 * the Free Software Foundation, either version 2.1 of the License, or (at
 * your option) any later version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License
 * for more details.
 *
 * You should have received a copy of the GNU Lesser General Public License
 * along with this program. If not, see <http://www.gnu.org/licenses/>.
 *
 */

%{
#define YY_NO_INPUT
%}

%option 8bit
%option warn nodefault
%option never-interactive
%option full
%option noyywrap
%option backup
%option nounput noyy_top_state

%x comment
%%

"/**"         BEGIN(comment);

\n{3,}        printf("\n\n");

.|\n|\n\n|"/"|"/*" ECHO;

<comment>{
  [^*\n]*
  [^*\n]*\n
  "*"+[^*/\n]*
  "*"+[^*/\n]*\n
  "*"+"/"         BEGIN(INITIAL);
}

%%

int main(int argc,char **argv){
  yyin=stdin;

  yylex();

  exit(0);
}