Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_POSITIONED_I General cluster: implementation_interface description: "Eiffel Vision positioned, implementation interface. See bridge pattern notes in ev_any.e" Ancestors EV_ANY_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 Constraints minimum width positive or zero minimum height positive or zero
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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