note description: "General row column implementation" legal: "See notice at end of class."; status: "See notice at end of class."; date: "$Date$"; revision: "$Revision$" deferred class ROW_COLUMN_I inherit MANAGER_I feature -- Access spacing: INTEGER -- Spacing between items deferred ensure positive_result: Result >= 0 end margin_width: INTEGER -- Amount of blank space between the left edge -- of row column and the first item in each row , and the -- right edge of row column and the last item in each row deferred ensure positive_result: Result >= 0 end; margin_height: INTEGER -- Amount of blank space between the top edge -- of row column and the first item in each column, and the -- bottom edge of row column and the last item in each column deferred ensure positive_result: Result >= 0 end; feature -- Status report is_row_layout: BOOLEAN -- Is current row column layout items preferably in row ? deferred end; feature -- Status setting set_free_size -- Set size of items to be free, in vertical layout mode -- only width is set to be the same as the widest one, in -- horizontal layout mode only height is set to be the same -- as the tallest one. deferred end; set_same_size -- Set width of items to be the same as the widest one -- and height as the tallest one. deferred end; feature -- Element change set_margin_height (new_margin_height: INTEGER) -- Set amount of blank space between the top edge -- of row column and the first item in each column, and the -- bottom edge of row column and the last item in each column. require not_negative_margin_height: new_margin_height >= 0 deferred ensure set: margin_height = new_margin_height end; set_margin_width (new_margin_width: INTEGER) -- Set amount of blank space between the left edge -- of row column and the first item in each row , and the -- right edge of row column and the last item in each row. require not_negative_margin_width: new_margin_width >= 0 deferred ensure set: margin_width = new_margin_width end; set_preferred_count (a_number: INTEGER) -- Set preferably count of row or column, according to -- row layout mode or column layout mode, to `a_number'. require not_negative_number:a_number >= 0; not_nul_number: a_number /= 0 deferred end; set_row_layout (flag: BOOLEAN) -- Set row column to layout items preferably in row if `flag', -- in column otherwise. deferred ensure flag_correctly_set: is_row_layout = flag end; set_spacing (new_spacing: INTEGER) -- Set spacing between items to `new_spacing'. require not_spacing_negative: new_spacing >= 0 deferred ensure set: spacing = new_spacing end; note copyright: "Copyright (c) 1984-2006, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class ROW_COLUMN_I