blob: 20282ddc1c6236dee565aa6e5ee8dcc42393d16d (
plain) (
tree)
|
|
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 =
if Atomic.fetch_and_add references (-1) = 1 then
self#destroy
end
|