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