indexing
	description: "Imported routines that ought to be in class FIXED_ARRAY. A fixed array is a zero-based indexed sequence of values, equipped with features `put%', `item%' and `count%'."
	library: "Gobo Eiffel Kernel Library"
	author: "Eric Bezault <ericb@gobo.demon.co.uk>"
	copyright: "Copyright (c) 1998, Eric Bezault"

class interface
	KL_IMPORTED_FIXED_ARRAY_ROUTINES

feature -- Access

	fixed_any_array_: KL_FIXED_ARRAY_ROUTINES [ANY]
			-- Routines that ought to be in class FIXED_ARRAY
		ensure
			fixed_any_array_routines_not_void: Result /= void

	fixed_integer_array_: KL_FIXED_ARRAY_ROUTINES [INTEGER]
			-- Routines that ought to be in class FIXED_ARRAY
		ensure
			fixed_integer_array_routines_not_void: Result /= void

	fixed_string_array_: KL_FIXED_ARRAY_ROUTINES [STRING]
			-- Routines that ought to be in class FIXED_ARRAY
		ensure
			fixed_string_array_routines_not_void: Result /= void
	
feature -- Type anchors

	fixed_any_array_type: SPECIAL [ANY]

	fixed_integer_array_type: SPECIAL [INTEGER]

	fixed_string_array_type: SPECIAL [STRING]
	
invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class KL_IMPORTED_FIXED_ARRAY_ROUTINES