scripts/extract_examples.pl

   1 # Copyright 2012, INRIA
   2 # Julia Lawall, Gilles Muller
   3 # Copyright 2010-2011, INRIA, University of Copenhagen
   4 # Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
   5 # Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
   6 # Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
   7 # This file is part of Coccinelle.
   8 #
   9 # Coccinelle is free software: you can redistribute it and/or modify
  10 # it under the terms of the GNU General Public License as published by
  11 # the Free Software Foundation, according to version 2 of the License.
  12 #
  13 # Coccinelle is distributed in the hope that it will be useful,
  14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16 # GNU General Public License for more details.
  17 #
  18 # You should have received a copy of the GNU General Public License
  19 # along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
  20 #
  21 # The authors reserve the right to distribute this or future versions of
  22 # Coccinelle under other licenses.
  23
  24
  25 #!/usr/bin/perl
  26 #usage:  ./extract_examples.pl ~/week-end/working-documents/examples.tex
  27
  28 my $ex = 0;
  29 my $are_in = 0;
  30 while(<>) {
  31
  32     if(/\\section{/) {
  33         $ex++;
  34         open TMP, ">$ex.cocci" or die "$!";
  35     }
  36
  37     if(/begin{verbatim}/) {
  38         $are_in = 1;
  39         #old: open TMP, ">$ex.cocci" or die "$!";
  40     } elsif(/end{verbatim}/) {
  41         $are_in = 0;
  42         #old: $ex++;
  43     } else {
  44         if($are_in) {  print TMP "$_"; }
  45     }
  46 }