    class
    	EV_CLIPBOARD

    General
    	cluster: interface
    	description: "Objects that allow access to the OS clipboard."
    	create: default_create

    Ancestors
    	EV_ANY*

    Queries
    	data: ANY
    	has_text: BOOLEAN
    	is_destroyed: BOOLEAN
    	text: STRING_32

    Commands
    	copy (other: [like Current] EV_CLIPBOARD)
    	destroy
    	remove_text
    	set_data (some_data: [like data] ANY)
    	set_text (a_text: STRING_GENERAL)

    Constraints
    	has text implies text not empty
    	not has text implies text empty