Automatic generation produced by ISE Eiffel
indexing description: "Implementation of TUPLE" status: "See notice at end of class" date: "$Date: 2001-11-16 20:32:23 +0000 (Fri, 16 Nov 2001) $" revision: "$Revision: 51435 $" class interface TUPLE create make feature -- Creation make feature -- Type queries is_boolean_item (index: INTEGER): BOOLEAN -- Is item at index a BOOLEAN? require valid_index: valid_index (index) is_character_item (index: INTEGER): BOOLEAN -- Is item at index a CHARACTER? require valid_index: valid_index (index) is_double_item (index: INTEGER): BOOLEAN -- Is item at index a DOUBLE? require valid_index: valid_index (index) is_integer_item (index: INTEGER): BOOLEAN -- Is item at index an INTEGER? require valid_index: valid_index (index) is_pointer_item (index: INTEGER): BOOLEAN -- Is item at index a POINTER? require valid_index: valid_index (index) is_real_item (index: INTEGER): BOOLEAN -- Is item at index a REAL? require valid_index: valid_index (index) is_reference_item (index: INTEGER): BOOLEAN -- Is item at index a REFERENCE? require valid_index: valid_index (index) is_numeric_item (index: INTEGER): BOOLEAN -- Is item at index a number? require valid_index: valid_index (index) is_uniform: BOOLEAN -- Are all items of the same basic type or all of reference type? ensure yes_if_empty: (count = 0) implies Result is_uniform_boolean: BOOLEAN -- Are all items of type BOOLEAN? ensure yes_if_empty: (count = 0) implies Result is_uniform_character: BOOLEAN -- Are all items of type CHARACTER? ensure yes_if_empty: (count = 0) implies Result is_uniform_double: BOOLEAN -- Are all items of type DOUBLE? ensure yes_if_empty: (count = 0) implies Result is_uniform_integer: BOOLEAN -- Are all items of type INTEGER? ensure yes_if_empty: (count = 0) implies Result is_uniform_pointer: BOOLEAN -- Are all items of type POINTER? ensure yes_if_empty: (count = 0) implies Result is_uniform_real: BOOLEAN -- Are all items of type REAL? ensure yes_if_empty: (count = 0) implies Result is_uniform_reference: BOOLEAN -- Are all items of reference type? ensure yes_if_empty: (count = 0) implies Result feature -- Type conversion queries convertible_to_double: BOOLEAN -- Is current convertible to an array of doubles? ensure yes_if_empty: (count = 0) implies Result convertible_to_real: BOOLEAN -- Is current convertible to an array of reals? ensure yes_if_empty: (count = 0) implies Result feature -- Access boolean_item (index: INTEGER): BOOLEAN -- Boolean item at index. require valid_index: valid_index (index) is_boolean: is_boolean_item (index) character_item (index: INTEGER): CHARACTER -- Character item at index. require valid_index: valid_index (index) is_character: is_character_item (index) double_item (index: INTEGER): DOUBLE -- Double item at index. require valid_index: valid_index (index) is_numeric: is_numeric_item (index) integer_item (index: INTEGER): INTEGER -- Integer item at index. require valid_index: valid_index (index) is_integer: is_integer_item (index) pointer_item (index: INTEGER): POINTER -- Pointer item at index. require valid_index: valid_index (index) is_pointer: is_pointer_item (index) real_item (index: INTEGER): REAL -- real item at index. require valid_index: valid_index (index) is_real_or_integer: is_real_item (index) or else is_integer_item (index) feature -- Conversion arrayed: ARRAY [ANY] -- Items of Current as array ensure exists: Result /= void same_count: Result.count = count boolean_arrayed: ARRAY [BOOLEAN] -- Items of Current as array require is_uniform_boolean: is_uniform_boolean ensure exists: Result /= void same_count: Result.count = count character_arrayed: ARRAY [CHARACTER] -- Items of Current as array require is_uniform_character: is_uniform_character ensure exists: Result /= void same_count: Result.count = count double_arrayed: ARRAY [DOUBLE] -- Items of Current as array require convertible: convertible_to_double ensure exists: Result /= void same_count: Result.count = count integer_arrayed: ARRAY [INTEGER] -- Items of Current as array require is_uniform_integer: is_uniform_integer ensure exists: Result /= void same_count: Result.count = count pointer_arrayed: ARRAY [POINTER] -- Items of Current as array require is_uniform_pointer: is_uniform_pointer ensure exists: Result /= void same_count: Result.count = count real_arrayed: ARRAY [REAL] -- Items of Current as array require convertible: convertible_to_real ensure exists: Result /= void same_count: Result.count = count string_arrayed: ARRAY [STRING] -- Items of Current as array -- NOTE: Items with a type not cconforming to -- type STRING are set to Void. ensure exists: Result /= void same_count: Result.count = count indexing library: "[ EiffelBase: Library of reusable components for Eiffel. ]" status: "[ Copyright 1986-2001 Interactive Software Engineering (ISE). For ISE customers the original versions are an ISE product covered by the ISE Eiffel license and support agreements. ]" license: "[ EiffelBase may now be used by anyone as FREE SOFTWARE to develop any product, public-domain or commercial, without payment to ISE, under the terms of the ISE Free Eiffel Library License (IFELL) at http://eiffel.com/products/base/license.html. ]" source: "[ Interactive Software Engineering Inc. ISE Building 360 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Electronic mail <info@eiffel.com> Customer support http://support.eiffel.com ]" info: "[ For latest info see award-winning pages: http://eiffel.com ]" end -- class TUPLE -- Generated by ISE Eiffel --
For more details: www.eiffel.com