(* ----------------------------------------------------------------------- *) (* Entry point *) let in_file = ref "" let out_file = ref "" let anonymous s = if !in_file = "" then in_file := s else out_file := s let speclist = [] let usage = Printf.sprintf "Usage: %s [options] \nOptions are:" (Filename.basename Sys.argv.(0)) let main _ = Arg.parse speclist anonymous usage; if !in_file = "" then failwith "in_filename required"; let (ast_lists,ua) = Parse_cocci.process !in_file None false in Ctltotex.totex !out_file ast_lists (List.map2 Asttoctl.asttoctl ast_lists ua) let _ = main ()