diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/Lifecycle.ml | 1 | ||||
| -rw-r--r-- | lib/kernel/Lifecycle.mli | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/lib/kernel/Lifecycle.ml b/lib/kernel/Lifecycle.ml index bf0b544..68a2479 100644 --- a/lib/kernel/Lifecycle.ml +++ b/lib/kernel/Lifecycle.ml @@ -26,6 +26,7 @@ class retaining inner (owner : lifecycle) = object inherit counted initializer ignore owner#reference + method to_string = "retaining" method destroy = Protocols.Handle.release inner; owner#release method hash = Protocols.Handle.hash inner method protocols = Protocols.Handle.protocols inner diff --git a/lib/kernel/Lifecycle.mli b/lib/kernel/Lifecycle.mli index fa3abee..12964b0 100644 --- a/lib/kernel/Lifecycle.mli +++ b/lib/kernel/Lifecycle.mli @@ -16,6 +16,7 @@ class virtual counted : controlled_lifecycle the object that produced it. *) class retaining : Protocols.Handle.t -> lifecycle -> object inherit lifecycle + method to_string : string method destroy : unit method hash : Concepts.Hash.hash method protocols : Protocols.Handle.protocol list |