]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/metadata/table_creator/table_creator.ml
added DROP statements to sqlStatements
[helm.git] / 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\n");
13   prerr_string "known tables:";
14   List.iter (fun (n,_) -> prerr_string (" " ^ n)) map;
15   prerr_endline "\n"
16
17 let eq_RE = Str.regexp "="
18   
19 let parse_args l =
20   List.map (fun s -> 
21     let parts = Str.split eq_RE s in
22     let len = List.length parts in
23     assert (len = 1 || len = 2);
24     if len = 1 then (s,s) else (List.nth parts 0, List.nth parts 1)) 
25   l
26
27 let destructor_RE = Str.regexp "table_destructor\\(\\|\\.opt\\)$"
28   
29 let am_i_destructor () = 
30   try 
31     let _ = Str.search_forward destructor_RE Sys.argv.(0) 0 in true
32   with Not_found -> false
33   
34 let main () =
35   let len = Array.length Sys.argv in
36   if len < 2 then 
37     begin
38     usage Sys.argv.(0);
39     exit 1
40     end
41   else
42     begin
43       let tab,idx =
44         if am_i_destructor () then
45           (SqlStatements.drop_tables,SqlStatements.drop_indexes) 
46         else
47           (SqlStatements.create_tables,SqlStatements.create_indexes)
48       in
49       let from, index = if Sys.argv.(1) = "-index" then 2,true else 1,false in
50       let todo = Array.to_list (Array.sub Sys.argv from (len - from)) in
51       let todo = parse_args todo in
52       let todo = List.map (fun (x,name) -> name, (List.assoc x map)) todo in
53       print_endline (String.concat "\n" (tab todo));
54       if index then 
55         print_endline (String.concat "\n" (idx todo))
56     end
57
58 let _ = main ()
59