class interface WIN_HANDLE

feature(s) from MEMORY
   --  Removal :

   dispose
      --  Close file handle.

      ensure
         done: handle = Invalid_handle_value

   full_collect
      --  Force a full collection cycle if garbage collection is
      --  enabled; do nothing otherwise.



end of WIN_HANDLE