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