Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
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



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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