From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 13 May 2005 13:00:35 +0000 (+0000)
Subject: support hits table
X-Git-Tag: single_binding~66
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3a16d37ce8835643d974e8c0e9bf924e77692333;p=helm.git

support hits table
---

diff --git a/helm/ocaml/metadata/extractor/extractor_manager.ml b/helm/ocaml/metadata/extractor/extractor_manager.ml
index dc8fcb7e7..3200a2600 100644
--- a/helm/ocaml/metadata/extractor/extractor_manager.ml
+++ b/helm/ocaml/metadata/extractor/extractor_manager.ml
@@ -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