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

 char *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>^"</"source">"[ ]*\n          BEGIN WIKI;
<COPY>.                             ECHO;
<COPY>\n                            ECHO;            
%%
main()
{
  root="testImport/";
  BEGIN JUMP;
  yylex();
}