blob: ff67ecfdc50998b5eead90c6fa210638f5870296 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
class type lifecycle = object
method reference : bool
method release : unit
end
class type virtual controlled_lifecycle = object
inherit lifecycle
method virtual destroy : unit
end
class null = object
method reference = true
method release = ()
end
class virtual counted = object (self)
val references = Atomic.make 1
method virtual destroy : unit
method reference =
Atomic.incr references;
true
method release =
Atomic.decr references;
if Atomic.get references <= 0 then
self#destroy
end
|