Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_POSITIONABLE_I General cluster: implementation_interface description: "Eiffel Vision positionable, implementation interface." Ancestors EV_POSITIONED_I* Queries 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 set_height (a_height: INTEGER_32) set_position (a_x, a_y: INTEGER_32) set_size (a_width, a_height: INTEGER_32) set_width (a_width: INTEGER_32) set_x_position (a_x: INTEGER_32) set_y_position (a_y: INTEGER_32)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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