indexing description: "General row column implementation"; status: "See notice at end of class"; date: "$Date$"; revision: "$Revision$" deferred class ROW_COLUMN_I inherit MANAGER_I feature -- Access spacing: INTEGER is -- Spacing between items deferred ensure positive_result: Result >= 0 end margin_width: INTEGER is -- 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 is -- 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 -- Is current row column layout items preferably in row ? deferred end; feature -- Status setting set_free_size is -- 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 is -- 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) is -- 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) is -- 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) is -- 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) is -- 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) is -- Set spacing between items to `new_spacing'. require not_spacing_negative: new_spacing >= 0 deferred ensure set: spacing = new_spacing end; end -- class ROW_COLUMN_I --|---------------------------------------------------------------- --| EiffelVision: library of reusable components for ISE Eiffel. --| Copyright (C) 1985-2004 Eiffel Software. All rights reserved. --| Duplication and distribution prohibited. May be used only with --| ISE Eiffel, under terms of user license. --| Contact Eiffel Software for any other use. --| --| Interactive Software Engineering Inc. --| dba Eiffel Software --| 356 Storke Road, Goleta, CA 93117 USA --| Telephone 805-685-1006, Fax 805-685-6869 --| Contact us at: http://www.eiffel.com/general/email.html --| Customer support: http://support.eiffel.com --| For latest info on our award winning products, visit: --| http://www.eiffel.com --|----------------------------------------------------------------