skip.ml

(**************************************************************************)
(*                                                                        *)
(*                               Headache                                 *)
(*                                                                        *)
(*          Vincent Simonet, Projet Cristal, INRIA Rocquencourt           *)
(*                                                                        *)
(*  Copyright 2002                                                        *)
(*  Institut National de Recherche en Informatique et en Automatique.     *)
(*  All rights reserved.  This file is distributed under the terms of     *)
(*  the GNU Library General Public License.                               *)
(*                                                                        *)
(*  Vincent.Simonet@inria.fr           http://cristal.inria.fr/~simonet/  *)
(*                                                                        *)
(**************************************************************************)


type regexp_filename = Str.regexp
;;

type regexp_skip = Str.regexp
;;

type param_skip = bool * regexp_skip
;;


let skip ~verbose skip_lst ic oc =
  let multiple_skip_lst,simple_skip_lst =
    List.partition (fun (_,(multiple,_)) -> multiple) skip_lst
  in
  let rec skip_aux () =
    let initial_pos =
      LargeFile.pos_in ic
    in
    try
      let line =
        input_line ic
      in
      let match_line skip_lst =
        let (_,(multiple,_)) =
          List.find
            (fun (_, (_,rg_skip)) -> Str.string_match rg_skip line 0)
            skip_lst
        in multiple
      in
      try
        let multiple =
          try
            match_line multiple_skip_lst;
          with Not_found ->
            match_line simple_skip_lst;
        in
        if verbose then
          prerr_endline
            ("Line : "^line^" skipped");
        (match oc with
         | None -> ()
         | Some oc ->
           output_string oc line;
           output_string oc "\n");
        if multiple then skip_aux ()
      with Not_found ->
        LargeFile.seek_in ic initial_pos
    with End_of_file ->
      ()
  in
    skip_aux ()
;;