Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_CLIPBOARD_I General cluster: implementation_interface description: "Objects that allow access to the operating system clipboard." Ancestors EV_ANY_I* Queries has_text: BOOLEAN is_destroyed: BOOLEAN text: STRING_32 Commands set_text (a_text: READABLE_STRING_GENERAL) Constraints not has text implies text empty
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org