class interface WEAK_REFERENCE[G]
--
-- Weak reference to an object.
-- This kind of reference does not prevent the object from being
-- reclaimed by the garbaged collector (in which case item returns Void).
-- Item makes it possible to get (a strong reference to) the object.
-- Inheriting from this class is prohibited.
-- This class works with compile_to_c, but NOT with compile_to_jvm.
--
creation
set_item (i: G)
-- Set the object to be weak referenced
ensure
item = i
feature(s) from WEAK_REFERENCE
item: G
-- Return a (strong) reference to the object
set_item (i: G)
-- Set the object to be weak referenced
ensure
item = i
end of WEAK_REFERENCE[G]