| 1 | (* !!take care!!: this classe have side effect, not a pure oassoc *) |
| 2 | class ['a, 'b] oassoc_buffer : |
| 3 | int -> |
| 4 | (< add : 'a * 'b -> 'd; assoc : 'a -> 'b; del : 'a * 'b -> 'd; |
| 5 | delkey : 'a -> 'd; iter : ('a * 'b -> unit) -> unit; length : int; |
| 6 | keys: 'a list; clear: unit; |
| 7 | .. > |
| 8 | as 'd) -> |
| 9 | object ('o) |
| 10 | inherit ['a,'b] Oassoc.oassoc |
| 11 | |
| 12 | (* ocollection concrete instantiation of virtual methods *) |
| 13 | method empty : 'o |
| 14 | method add : 'a * 'b -> 'o |
| 15 | |
| 16 | method iter : ('a * 'b -> unit) -> unit |
| 17 | method view : ('a * 'b, 'o) Ocollection.view |
| 18 | |
| 19 | method del : 'a * 'b -> 'o |
| 20 | method mem : 'a * 'b -> bool |
| 21 | method null : bool |
| 22 | |
| 23 | (* oassoc concrete instantiation of virtual methods *) |
| 24 | method assoc : 'a -> 'b |
| 25 | method delkey : 'a -> 'o |
| 26 | |
| 27 | method keys: 'a list |
| 28 | |
| 29 | (* ugly, from objet class, extension trick *) |
| 30 | method private myflush : unit |
| 31 | method misc_op_hook2 : unit |
| 32 | |
| 33 | |
| 34 | end |