Wicri:Dilib source, module MediaWiki, MediaWikiExtractSources

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>