class interface UT_BOOLEAN_FORMATTER

feature(s) from KL_IMPORTED_STRING_ROUTINES
   --  Access

   STRING_: KL_STRING_ROUTINES
      --  Routines that ought to be in class STRING

      ensure
         string_routines_not_void: Result /= Void

feature(s) from KL_IMPORTED_OUTPUT_STREAM_ROUTINES
   --  Access

   OUTPUT_STREAM_: KL_OUTPUT_STREAM_ROUTINES
      --  Routines that ought to be in class OUTPUT_STREAM

      ensure
         output_stream_routines_not_void: Result /= Void

feature(s) from KL_IMPORTED_OUTPUT_STREAM_ROUTINES
   --  Type anchors

   OUTPUT_STREAM_TYPE: OUTPUT_STREAM

feature(s) from UT_BOOLEAN_FORMATTER
   --  Access

   eiffel_boolean_out (b: BOOLEAN): STRING
      --  Formatted version of b;
      --  Return a new string at each call.
      --  Regexp: true|false

      ensure
         eiffel_boolean_out_not_void: Result /= Void

feature(s) from UT_BOOLEAN_FORMATTER
   --  String handling

   append_eiffel_boolean (a_string: STRING; b: BOOLEAN)
      --  Append formatted version of b to a_string.

      require
         a_string_not_void: a_string /= Void

feature(s) from UT_BOOLEAN_FORMATTER
   --  File handling

   put_eiffel_boolean (a_file: like OUTPUT_STREAM_TYPE; b: BOOLEAN)
      --  Write formatted version of b to a_file.

      require
         a_file_not_void: a_file /= Void;
         a_file_is_open_write: OUTPUT_STREAM_.is_open_write(a_file)


end of UT_BOOLEAN_FORMATTER