Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_ENVIRONMENT General cluster: interface description: "Facilities for inspecting global environment information." keywords: "environment, application, global, system" create: default_create Ancestors EV_ANY* Queries application: detachable EV_APPLICATION data: detachable ANY default_pointer_style_height: INTEGER_32 default_pointer_style_width: INTEGER_32 font_families: LINEAR [STRING_32] has_printer: BOOLEAN is_application_processor: BOOLEAN is_destroyed: BOOLEAN mouse_wheel_scroll_lines: INTEGER_32 separate_application: detachable separate EV_APPLICATION supported_image_formats: LINEAR [STRING_32] Commands destroy set_data (some_data: [like data] detachable ANY)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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