Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_POSITIONED General cluster: interface description: "Abstraction for objects that have geometric position." keywords: "position, width, height" Ancestors EV_ANY* Queries data: detachable ANY dpi: NATURAL_32 height: INTEGER_32 is_destroyed: BOOLEAN minimum_height: INTEGER_32 minimum_width: INTEGER_32 screen_x: INTEGER_32 screen_y: INTEGER_32 width: INTEGER_32 x_position: INTEGER_32 y_position: INTEGER_32 Commands destroy set_data (some_data: [like data] detachable ANY) Constraints width not negative height not negative minimum width not negative minimum height not negative
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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