]> matita.cs.unibo.it Git - helm.git/commitdiff
added a generic (yet rather trivial) module for reference counting
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 24 Feb 2006 00:15:53 +0000 (00:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 24 Feb 2006 00:15:53 +0000 (00:15 +0000)
components/extlib/.depend
components/extlib/Makefile
components/extlib/refCounter.ml [new file with mode: 0644]
components/extlib/refCounter.mli [new file with mode: 0644]

index e2c9fc2b880185f06badbb75ffefea721ffe3b58..82a9d39d62fd592fa7f016d1af2966a92b8e39a6 100644 (file)
@@ -10,3 +10,5 @@ hLog.cmo: hLog.cmi
 hLog.cmx: hLog.cmi 
 trie.cmo: trie.cmi 
 trie.cmx: trie.cmi 
+refCounter.cmo: refCounter.cmi 
+refCounter.cmx: refCounter.cmi 
index 4e5c9b5a91525b0b809a2e49b1c9ac83e634349f..8caad1fca7d9b7aebff68eac61f26bd1ddbed1c0 100644 (file)
@@ -6,8 +6,9 @@ INTERFACE_FILES =               \
         hExtlib.mli            \
        hMarshal.mli            \
        patternMatcher.mli      \
-       hLog.mli \
-       trie.mli \
+       hLog.mli                \
+       trie.mli                \
+       refCounter.mli          \
        $(NULL)
 IMPLEMENTATION_FILES = \
        $(INTERFACE_FILES:%.mli=%.ml)
diff --git a/components/extlib/refCounter.ml b/components/extlib/refCounter.ml
new file mode 100644 (file)
index 0000000..f5edb69
--- /dev/null
@@ -0,0 +1,49 @@
+(* Copyright (C) 2006, HELM Team.
+ * 
+ * This file is part of HELM, an Hypertextual, Electronic
+ * Library of Mathematics, developed at the Computer Science
+ * Department, University of Bologna, Italy.
+ * 
+ * HELM is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ * 
+ * HELM is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with HELM; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
+ * MA  02111-1307, USA.
+ * 
+ * For details, see the HELM World-Wide-Web page,
+ * http://helm.cs.unibo.it/
+ *)
+
+type 'a t = ('a, int ref) Hashtbl.t
+
+let create () = Hashtbl.create 113
+
+let incr ~create_cb counters item =
+  try
+    let counter = Hashtbl.find counters item in
+    incr counter
+  with Not_found ->
+    Hashtbl.add counters item (ref 1);
+    create_cb item
+
+let decr ~delete_cb counters item =
+  try
+    let counter = Hashtbl.find counters item in
+    decr counter;
+    if !counter = 0 then begin
+      Hashtbl.remove counters item;
+      delete_cb item
+    end
+  with Not_found ->
+    prerr_endline "RefCounter: attempt to decrease unexistent counter";
+    assert false
+
diff --git a/components/extlib/refCounter.mli b/components/extlib/refCounter.mli
new file mode 100644 (file)
index 0000000..fc52166
--- /dev/null
@@ -0,0 +1,31 @@
+(* Copyright (C) 2006, HELM Team.
+ * 
+ * This file is part of HELM, an Hypertextual, Electronic
+ * Library of Mathematics, developed at the Computer Science
+ * Department, University of Bologna, Italy.
+ * 
+ * HELM is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ * 
+ * HELM is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with HELM; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
+ * MA  02111-1307, USA.
+ * 
+ * For details, see the HELM World-Wide-Web page,
+ * http://helm.cs.unibo.it/
+ *)
+
+type 'a t
+
+val create: unit -> 'a t
+val incr: create_cb:('a -> unit) -> 'a t -> 'a -> unit
+val decr: delete_cb:('a -> unit) -> 'a t -> 'a -> unit
+