Wicri:Dilib source, module MediaWiki, MediaWikiExtractSources
De Wicri Outils
Révision datée du 7 septembre 2013 à 22:55 par imported>Jacques Ducloy (→Fichier MediaWikiImportClean.lex=)
Cette page introduit les sources relatifs à la commande MMediaWikiExtractSources du module MediaWiki.
Fichier MediaWikiExtractSources.lex
Code source
/* -*- coding: utf-8 -*- */
/*
Dilib Version :
Date : V0.5.46 (7 septembre 2013
Module MediaWiki,
Commande : MediaWikiExtractSources
Fichier source géré par Wicri/Outils, page :
Wicri:Dilib source, module MediaWiki, MediaWikiExtractSources
*/
%START JUMP
%START WIKI
%START SOURCE_TAG
%START FILE_NAME
%START COPY
cher *root;
%%
<JUMP>. ;
<JUMP>\n ;
<JUMP>"\n<?dilib start wiki ?>\n" {BEGIN WIKI;}
<WIKI>. ;
<WIKI>\n ;
<WIKI>"\n<source" {BEGIN SOURCE_TAG;}
<WIKI>"<?dilib start wiki ?>" BEGIN JUMP;
<SOURCE_TAG>">" BEGIN WIKI;
<SOURCE_TAG>. ;
<SOURCE_TAG>"dilib:file=\"" {printf("<?dilib file=\"%s\"", root); BEGIN FILE_NAME;}
<FILE_NAME>"\"".+\n {printf("\" ?>\n"); BEGIN COPY;
<FILE_NAME>. ECHO;
<COPY>^"
"[ ]*\n" BEGIN WIKI;
<COPY>. ECHO; <COPY>\n ECHO; %% main() {
root="testImport/"; BEGIN JUMP; yylex();
} </source>