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