note
	description: "Imported routines that ought to be in class ARRAY"
	library: "Gobo Eiffel Kernel Library"
	copyright: "Copyright (c) 1999-2018, Eric Bezault and others"
	license: "MIT License"
	date: "$Date: 2019-02-07 22:54:15 +0000 (Thu, 07 Feb 2019) $"
	revision: "$Revision: 102807 $"

class interface
	KL_IMPORTED_ARRAY_ROUTINES

create 
	default_create

feature -- Access

	Any_array_: KL_ARRAY_ROUTINES [detachable ANY]
			-- Routines that ought to be in class ARRAY
		ensure
			instance_free: class
			any_array_routines_not_void: Result /= Void

	Integer_array_: KL_ARRAY_ROUTINES [INTEGER_32]
			-- Routines that ought to be in class ARRAY
		ensure
			instance_free: class
			integer_array_routines_not_void: Result /= Void

	Boolean_array_: KL_ARRAY_ROUTINES [BOOLEAN]
			-- Routines that ought to be in class ARRAY
		ensure
			instance_free: class
			boolean_array_routines_not_void: Result /= Void

	String_array_: KL_ARRAY_ROUTINES [detachable STRING_8]
			-- Routines that ought to be in class ARRAY
		ensure
			instance_free: class
			string_array_routines_not_void: Result /= Void

	String_array_routines: KL_ARRAY_ROUTINES [STRING_8]
			-- Routines that ought to be in class ARRAY
		ensure
			instance_free: class
			string_array_routines_not_void: Result /= Void

	Detachable_string_array_routines: KL_ARRAY_ROUTINES [detachable STRING_8]
			-- Routines that ought to be in class ARRAY
		ensure
			instance_free: class
			detachable_string_array_routines_not_void: Result /= Void

	Array_special_integer_: KL_ARRAY_ROUTINES [detachable SPECIAL [INTEGER_32]]
			-- Routines that ought to be in class ARRAY
		ensure
			instance_free: class
			special_integer_array_routines_not_void: Result /= Void
	
end -- class KL_IMPORTED_ARRAY_ROUTINES

Generated by ISE EiffelStudio