    class
    	EV_POS_INFO

    General
    	cluster: implementation_mswin
    	description: "Keep information about sizing information of current widget."

    Ancestors
    	ANY

    Queries
    	height: INTEGER_32
    	is_positioned: BOOLEAN
    	is_size_specified: BOOLEAN
    	is_user_min_height_set: BOOLEAN
    	is_user_min_width_set: BOOLEAN
    	minimum_height: INTEGER_32
    	minimum_width: INTEGER_32
    	width: INTEGER_32
    	x: INTEGER_32
    	y: INTEGER_32

    Commands
    	move (a_x, a_y: INTEGER_32)
    	move_and_resize (a_x, a_y, a_width, a_height: INTEGER_32)
    	resize (a_width, a_height: INTEGER_32)
    	set_height (new_height: INTEGER_32)
    	set_is_positioned
    	set_minimum_height (v: INTEGER_32)
    	set_minimum_width (v: INTEGER_32)
    	set_user_minimum_height (v: INTEGER_32)
    	set_user_minimum_width (v: INTEGER_32)
    	set_width (new_width: INTEGER_32)

    Constraints
    	width positive
    	height positive