1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
(***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* Pierre Weis, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 2001 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* only by permission. *)
(* *)
(***********************************************************************)
open Expr;;
open Auto;;
open Determ;;
let ligne_trouve = ref false;;
let grep_sur_canal auto nom_fich canal =
try
while true do
let ligne = input_line canal in
if Fastrec.reconnat auto ligne then begin
ligne_trouve := true;
print_string nom_fich;
print_string": ";
print_endline ligne
end
done
with End_of_file -> ();;
let grep_sur_fichier auto nom_fich =
try
let canal = open_in nom_fich in
try grep_sur_canal auto nom_fich canal; close_in canal
with exc -> close_in canal; raise exc
with Sys_error message ->
prerr_string "Erreur sur le fichier ";
prerr_string nom_fich;
prerr_string ": ";
prerr_endline message;;
let construire_auto expr =
dterminise(expr_vers_automate(lire(Stream.of_string expr)));;
let grep expr fichier =
grep_sur_fichier (construire_auto expr) fichier;;
if !Sys.interactive then () else
if Array.length Sys.argv < 2 then begin
prerr_endline "Utilisation: grep <motif> <fichiers>";
exit 2
end else begin
let auto =
try construire_auto Sys.argv.(1) with
| Stream.Error s ->
prerr_endline ("Erreur de syntaxe dans l'expression: " ^ s);
exit 2
| Stream.Failure ->
prerr_endline "Erreur de syntaxe dans l'expression";
exit 2 in
if Array.length Sys.argv >= 3 then
for i = 2 to Array.length Sys.argv - 1 do
grep_sur_fichier auto Sys.argv.(i)
done
else
grep_sur_canal auto "(entre standard)" stdin;
exit (if !ligne_trouve then 0 else 1)
end;;
|
