class interface UT_IMPORTED_FORMATTERS feature(s) from UT_IMPORTED_FORMATTERS -- Access INTEGER_FORMATTER_: UT_INTEGER_FORMATTER -- Formatting routines that ought -- to be in class INTEGER ensure integer_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 BOOLEAN_FORMATTER_: UT_BOOLEAN_FORMATTER -- Formatting routines that ought -- to be in class BOOLEAN ensure boolean_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 ARRAY_FORMATTER_: UT_ARRAY_FORMATTER -- Formatting routines that ought -- to be in class ARRAY ensure array_formatter_not_void: Result /= Void end of UT_IMPORTED_FORMATTERS