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