Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	WEL_RECT

General
	cluster: wel
	description: "Defines the coordinates of the upper-left and lower-right corners of a rectangle."
	create: make, make_by_pointer, make_client, make_window, make_client_from_pointer, make_window_from_pointer

Ancestors
	WEL_STRUCTURE*

Queries
	bottom: INTEGER_32
	empty: BOOLEAN
	exists: BOOLEAN
	height: INTEGER_32
	is_equal (other: [like Current] WEL_RECT): BOOLEAN
	item: POINTER
	left: INTEGER_32
	point_in (point: WEL_POINT): BOOLEAN
	right: INTEGER_32
	shared: BOOLEAN
	Structure_size: INTEGER_32
	top: INTEGER_32
	width: INTEGER_32
	x: INTEGER_32
	y: INTEGER_32

Commands
	copy (other: [like Current] WEL_RECT)
	dispose
	inflate (a_x, a_y: INTEGER_32)
	initialize
	initialize_with_character (a_character: CHARACTER_8)
	intersect (rect1, rect2: WEL_RECT)
	memory_copy (source_pointer: POINTER; length: INTEGER_32)
	offset (a_x, a_y: INTEGER_32)
	set_bottom (a_bottom: INTEGER_32)
	set_item (an_item: POINTER)
	set_left (a_left: INTEGER_32)
	set_rect (a_left, a_top, a_right, a_bottom: INTEGER_32)
	set_right (a_right: INTEGER_32)
	set_shared
	set_top (a_top: INTEGER_32)
	set_unshared
	subtract (rect1, rect2: WEL_RECT)
	union (rect1, rect2: WEL_RECT)

Constraints
	positive width
	positive height



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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