indexing
	description: "Formatting routines"
	library: "Gobo Eiffel Utility Library"
	author: "Eric Bezault <ericb@gobo.demon.co.uk>"
	copyright: "Copyright (c) 1998, Eric Bezault"

class interface
	UT_IMPORTED_FORMATTERS

feature -- Access

	array_formatter_: UT_ARRAY_FORMATTER
			-- Formatting routines that ought
			-- to be in class ARRAY
		ensure
			array_formatter_not_void: Result /= void

	character_formatter_: UT_CHARACTER_FORMATTER
			-- Formatting routines that ought
			-- to be in class CHARACTER
		ensure
			character_formatter_not_void: Result /= void

	integer_formatter_: UT_INTEGER_FORMATTER
			-- Formatting routines that ought
			-- to be in class INTEGER
		ensure
			integer_formatter_not_void: Result /= void

	string_formatter_: UT_STRING_FORMATTER
			-- Formatting routines that ought
			-- to be in class STRING
		ensure
			string_formatter_not_void: Result /= void
	
invariant

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

end -- class UT_IMPORTED_FORMATTERS