]> matita.cs.unibo.it Git - helm.git/commitdiff
support hits table
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 May 2005 13:00:35 +0000 (13:00 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 May 2005 13:00:35 +0000 (13:00 +0000)
helm/ocaml/metadata/extractor/extractor_manager.ml

index dc8fcb7e72ad9908f517ec8ace552c876ffca7b3..3200a2600df54cc9904670aa4ad3383575c2572f 100644 (file)
@@ -203,6 +203,7 @@ let main () =
       let rel_tbl = MetadataTypes.library_rel_tbl in
       let name_tbl =  MetadataTypes.library_name_tbl in
       let count_tbl = MetadataTypes.library_count_tbl in
+      let hits_tbl = MetadataTypes.library_hits_tbl in
       let obj_tbl_b = obj_tbl ^ "_BACKUP" in     
       let sort_tbl_b = sort_tbl ^ "_BACKUP" in     
       let rel_tbl_b = rel_tbl ^ "_BACKUP" in
@@ -243,12 +244,16 @@ let main () =
           (rel_tbl_c,rel_tbl);
           (name_tbl_c,name_tbl);
           (count_tbl_c,count_tbl) ] @
+        SqlStatements.create_tables [
+          (hits_tbl,`Hits) ] @
+        SqlStatements.fill_hits obj_tbl hits_tbl @
         SqlStatements.create_indexes [
           (obj_tbl,`RefObj);
           (sort_tbl,`RefSort);
           (rel_tbl,`RefRel);
           (name_tbl,`ObjectName);
-          (count_tbl,`Count) ]
+          (count_tbl,`Count);
+          (hits_tbl,`Hits) ]
       in
         List.iter (fun statement -> 
           try