Commit | Line | Data |
---|---|---|
0708f913 C |
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 |