Automatic generation produced by ISE Eiffel
note description: "Tables whose keys are integers in a contiguous interval" library: "Free implementation of ELKS library" legal: "See notice at end of class." status: "See notice at end of class." names: indexable, access access: index, membership contents: generic date: "$Date: 2016-04-13 06:29:38 -0700 (Wed, 13 Apr 2016) $" revision: "$Revision: 98619 $" deferred class interface READABLE_INDEXABLE [G] feature -- Access item alias "[]" (i: INTEGER_32): G -- Entry at position `i'. require valid_index: valid_index (i) new_cursor: INDEXABLE_ITERATION_CURSOR [G] -- Fresh cursor associated with current structure feature -- Measurement lower: INTEGER_32 -- Minimum index. upper: INTEGER_32 -- Maximum index. feature -- Status report valid_index (i: INTEGER_32): BOOLEAN -- Is `i' a valid index? ensure only_if_in_index_set: Result implies (lower <= i and i <= upper) invariant consistent_boundaries: upper < lower implies upper = lower - 1 note copyright: "Copyright (c) 1984-2016, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., 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 READABLE_INDEXABLE -- Generated by ISE Eiffel --
For more details: www.eiffel.com