[bpt/coccinelle.git] / commons / ocollection / osetb.ml

open Ocollection
open Oset

let empty = Setb.empty

class ['a] osetb xs   = 
  object(o)
    inherit ['a] oset

    val data = xs (*  Setb.empty *)
    method tosetb = data

    (* if put [] then no segfault, if [11] then segfault *)
    method toset = Obj.magic data 

    method empty = {< data = Setb.empty >}
    method add e = {< data = Setb.add e data >}
    method iter f = Setb.iter f   data
    method view = 
      if Setb.is_empty data 
      then Empty 
      else let el = Setb.choose data in Cons (el, o#del el)

    method del e = {< data = Setb.remove e data >}
    method mem e  = Setb.mem e    data
    method null   = Setb.is_empty data

    method tolist = Setb.elements data
    method length = Setb.cardinal data

    method union s = {< data = Setb.union data s#tosetb >}
    method inter s = {< data = Setb.inter data s#tosetb >}
    method minus s = {< data = Setb.diff  data s#tosetb >}
    (* todo: include, ... *)
        
  end
Commit	Line	Data
34e49164 C	1	open Ocollection
	2	open Oset
	3
	4	let empty = Setb.empty
	5
	6	class ['a] osetb xs =
	7	object(o)
	8	inherit ['a] oset
	9
	10	val data = xs (* Setb.empty *)
	11	method tosetb = data
	12
	13	(* if put [] then no segfault, if [11] then segfault *)
	14	method toset = Obj.magic data
	15
	16	method empty = {< data = Setb.empty >}
	17	method add e = {< data = Setb.add e data >}
	18	method iter f = Setb.iter f data
	19	method view =
	20	if Setb.is_empty data
	21	then Empty
	22	else let el = Setb.choose data in Cons (el, o#del el)
	23
	24	method del e = {< data = Setb.remove e data >}
	25	method mem e = Setb.mem e data
	26	method null = Setb.is_empty data
	27
	28	method tolist = Setb.elements data
	29	method length = Setb.cardinal data
	30
	31	method union s = {< data = Setb.union data s#tosetb >}
	32	method inter s = {< data = Setb.inter data s#tosetb >}
	33	method minus s = {< data = Setb.diff data s#tosetb >}
	34	(* todo: include, ... *)
	35
	36	end