[bpt/coccinelle.git] / commons / ocollection / oassocdbm.mli

(* !!take care!!: this class does side effect, not a pure oassoc *)
class ['a, 'b] oassocdbm :
  'd ->
  Dbm.t ->
  ('b -> 'e) ->
  ('e -> 'b) ->
object ('o)
  inherit ['a,'b] Oassoc.oassoc

  (* ocollection concrete instantiation of virtual methods *)
  method empty : 'o
  method add : 'a * 'b -> 'o

  method iter : ('a * 'b -> unit) -> unit
  method view : ('a * 'b, 'o) Ocollection.view

  method del : 'a * 'b -> 'o
  method mem : 'a * 'b -> bool
  method null : bool

  (* oassoc concrete instantiation of virtual methods *)
  method assoc : 'a -> 'b
  method delkey : 'a -> 'o

  method keys: 'a list

end

val create_dbm : 
  Common.filename -> string -> Dbm.t * ('a, 'b) oassocdbm
Commit	Line	Data
34e49164 C	1	(* !!take care!!: this class does side effect, not a pure oassoc *)
	2	class ['a, 'b] oassocdbm :
	3	'd ->
	4	Dbm.t ->
	5	('b -> 'e) ->
	6	('e -> 'b) ->
	7	object ('o)
	8	inherit ['a,'b] Oassoc.oassoc
	9
	10	(* ocollection concrete instantiation of virtual methods *)
	11	method empty : 'o
	12	method add : 'a * 'b -> 'o
	13
	14	method iter : ('a * 'b -> unit) -> unit
	15	method view : ('a * 'b, 'o) Ocollection.view
	16
	17	method del : 'a * 'b -> 'o
	18	method mem : 'a * 'b -> bool
	19	method null : bool
	20
	21	(* oassoc concrete instantiation of virtual methods *)
	22	method assoc : 'a -> 'b
	23	method delkey : 'a -> 'o
	24
91eba41f C	25	method keys: 'a list
91eba41f C	26
34e49164 C	27	end
	28
	29	val create_dbm :
	30	Common.filename -> string -> Dbm.t * ('a, 'b) oassocdbm