class interface CLIPBOARD_METAFILE

creation
   make (p: WINDOW)
      --  Create clipboard object.

      require
         valid: p /= Void and then p.is_valid
      ensure
         keep_reference: parent = p

feature(s) from CLIPBOARD
   --  Clipboard access

   put
      --  Put the current information in the clipboard.


   get
      --  Get information from the clipboard.

      require
         has_selection: has_data
      ensure
         done:  --  has_result set

   has_data: BOOLEAN
      --  Does the clipboard has a selection for this kind of object?


   has_result: BOOLEAN
      --  Result of last get operation.


feature(s) from CLIPBOARD_METAFILE
   set_metafile (mf: METAFILE_DEVICE)
      --  Set a metafile for copying to the clipboard.

      require
         ready: mf.is_ready; --  mf.is_ready when put too.
         stays_ready: 
      ensure
         keep_reference: metafile = mf; --  put implies not mf.is_ready
         copy_means_release: 

   last_metafile: DRAWABLE_CLIP_METAFILE
      --  Last retrieved drawable metafile.

      require
         possible: has_result


end of CLIPBOARD_METAFILE