Commits

Dmitry Grebeniuk  committed f513aa4

.

  • Participants
  • Parent commits 28f02ae

Comments (0)

Files changed (1)

File src/cadastr.ml

 
     class type map_rws ['k, 'v] =
       object
+        method is_empty : bool;
         method get_exn : 'k -> 'v;
         method get_opt : 'k -> option 'v;
         method mem : 'k -> bool;
       object
         inherit map_rws ['k, 'v];
         method add : 'k -> 'v -> unit;
+        method get_all : 'k -> list 'v;
       end
     ;
 
 
         value mutable cur = fu;
 
+        method is_empty = cur#is_empty;
+
         method get_exn k = cur#get_exn k;
         method get_opt k = cur#get_opt k;
         method mem k = cur#mem k;
     ;
 
     class map_rwm_of_Sfun ['k, 'v] (fu : Tfun.map_rwm 'k 'v)
+    : Timp.map_rwm ['k, 'v]
     =
       object (_self)
 
         value mutable cur = fu;
 
-        method empty = cur#empty;
         method is_empty = cur#is_empty;
         method get_all = cur#get_all;
 
 
         method add k v = cur := cur#add k v;
 
-        method repr_kind = fu#repr_kind;
+        (* method repr_kind = fu#repr_kind; *)
 
       end
     ;
 
 
+    class map_rws_assoc ['k, 'v] tkey
+    =
+      map_rws_of_Sfun ['k, 'v] (new Sfun.map_rws_assoc tkey [])
+    ;
+
     class map_rwm_assoc ['k, 'v] tkey
     =
       map_rwm_of_Sfun ['k, 'v] (new Sfun.map_rwm_assoc tkey [])