[bpt/coccinelle.git] / parsing_cocci / main.ml

(* ----------------------------------------------------------------------- *)
(* Entry point *)

let file = ref ""
let isofile = ref None
let verbose = ref true

let anonymous s = if !file = "" then file := s else isofile := Some s

let speclist = [("-v", Arg.Set verbose, "print parse result")]

let usage =
  Printf.sprintf "Usage: %s [options] <filename> \nOptions are:"
    (Filename.basename Sys.argv.(0))

let main _ =
  begin
  Arg.parse speclist anonymous usage;
  (* Parse_cocci.parse_and_merge !file; *)
  if !file = "" then failwith "filename required";
  Parse_cocci.process !file !isofile !verbose
  end

let _ = main ()
Commit	Line	Data
34e49164 C	1	(* ----------------------------------------------------------------------- *)
	2	(* Entry point *)
	3
	4	let file = ref ""
	5	let isofile = ref None
	6	let verbose = ref true
	7
	8	let anonymous s = if !file = "" then file := s else isofile := Some s
	9
	10	let speclist = [("-v", Arg.Set verbose, "print parse result")]
	11
	12	let usage =
	13	Printf.sprintf "Usage: %s [options] <filename> \nOptions are:"
	14	(Filename.basename Sys.argv.(0))
	15
	16	let main _ =
	17	begin
	18	Arg.parse speclist anonymous usage;
	19	(* Parse_cocci.parse_and_merge !file; *)
	20	if !file = "" then failwith "filename required";
	21	Parse_cocci.process !file !isofile !verbose
	22	end
	23
	24	let _ = main ()