Wicri:Dilib source, module MediaWiki, MediaWikiImportClean
De Wicri Outils
Révision datée du 7 septembre 2013 à 21:47 par imported>Jacques Ducloy (Page créée avec « <source lang="lex"> →-*- coding: utf-8 -*- : %START JUMP %START HEAD_PAGE %START JUMP_PAGE %START PAGE %% <JUMP>. ; <JUMP>\n ... »)
/* -*- coding: utf-8 -*- */
%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>< putchar('<');
<PAGE>> putchar('>');
<PAGE>" putchar('\"');
<PAGE>"</text>" {printf("\n</page>"); BEGIN JUMP;}
%%
main()
{
BEGIN JUMP;
yylex();
}