deferred class EV_POSITIONED_I General cluster: implementation_mswin description: "Eiffel Vision positioned, implementation interface. See bridge pattern notes in ev_any.e" Ancestors EV_ANY_I* Queries height: INTEGER_32 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