    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