deferred class interface CLIPBOARD

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.



end of deferred CLIPBOARD