helm/ocaml/metadata/table_creator/table_creator.ml

   1
   2 let map =
   3   (MetadataTypes.library_obj_tbl,`RefObj) ::
   4   (MetadataTypes.library_sort_tbl,`RefSort) ::
   5   (MetadataTypes.library_rel_tbl,`RefRel) ::
   6   (MetadataTypes.library_name_tbl,`ObjectName) ::
   7 (*  (MetadataTypes.library_???_tbl,`Owners) :: *)
   8   (MetadataTypes.library_count_tbl,`Count) :: []
   9
  10 let usage argv_o =
  11   prerr_string "\nusage:";
  12   prerr_string ("\t" ^ argv_o ^ " [-index] tablename[=rename]\n");
  13   prerr_string ("\t" ^ argv_o ^ " [-index] all\n\n");
  14   prerr_string "known tables:";
  15   List.iter (fun (n,_) -> prerr_string (" " ^ n)) map;
  16   prerr_endline "\n"
  17
  18 let eq_RE = Str.regexp "="
  19
  20 let parse_args l =
  21   List.map (fun s ->
  22     let parts = Str.split eq_RE s in
  23     let len = List.length parts in
  24     assert (len = 1 || len = 2);
  25     if len = 1 then (s,s) else (List.nth parts 0, List.nth parts 1))
  26   l
  27
  28 let destructor_RE = Str.regexp "table_destructor\\(\\|\\.opt\\)$"
  29
  30 let am_i_destructor () =
  31   try
  32     let _ = Str.search_forward destructor_RE Sys.argv.(0) 0 in true
  33   with Not_found -> false
  34
  35 let main () =
  36   let len = Array.length Sys.argv in
  37   if len < 2 then
  38     begin
  39     usage Sys.argv.(0);
  40     exit 1
  41     end
  42   else
  43     begin
  44       let tab,idx =
  45         if am_i_destructor () then
  46           (SqlStatements.drop_tables,SqlStatements.drop_indexes)
  47         else
  48           (SqlStatements.create_tables,SqlStatements.create_indexes)
  49       in
  50       let from, index = if Sys.argv.(1) = "-index" then 2,true else 1,false in
  51       let todo = Array.to_list (Array.sub Sys.argv from (len - from)) in
  52       let todo = match todo with ["all"] -> List.map fst map | todo -> todo in
  53       let todo = parse_args todo in
  54       let todo = List.map (fun (x,name) -> name, (List.assoc x map)) todo in
  55       print_endline (String.concat "\n" (tab todo));
  56       if index then
  57         print_endline (String.concat "\n" (idx todo))
  58     end
  59
  60 let _ = main ()
  61