ANY NONE
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]