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