Wicri:Dilib source, module MediaWiki, MediaWikiImportClean

De Wicri Outils
Révision datée du 7 septembre 2013 à 22:02 par imported>Jacques Ducloy

Fichier MediaWikiImportClean.lex

/*   -*- coding: utf-8 -*-  */
/*
  Fichier source géré par Wicri/Outils, page : Wicri:Dilib source, module MediaWiki, MediaWikiImportClean
*/

%START JUMP
%START HEAD_PAGE
%START JUMP_PAGE
%START PAGE
%%
<JUMP>.                        ;
<JUMP>\n                       ;
<JUMP>"<page>"                 {ECHO; BEGIN HEAD_PAGE;}
<HEAD_PAGE>"</title>"          {ECHO; BEGIN JUMP_PAGE;}
<HEAD_PAGE>.                   ECHO;
<HEAD_PAGE>\n                  ECHO;
<JUMP_PAGE>.                   ;
<JUMP_PAGE>\n                  ;
<JUMP_PAGE>"<text"[^>]+">"     {putchar('\n'); BEGIN PAGE;}
<PAGE>.                        ECHO;
<PAGE>\n                       ECHO;
<PAGE>&lt;                     putchar('<');
<PAGE>&gt;                     putchar('>');
<PAGE>&quot;                   putchar('\"');
<PAGE>"</text>"                {printf("\n</page>"); BEGIN JUMP;}
%%
main()
{
  BEGIN JUMP;
  yylex();
}