note description: "Interface for character output streams with the notion of lines" library: "Gobo Eiffel Kernel Library" copyright: "Copyright (c) 2001-2018, Eric Bezault and others" license: "MIT License" date: "$Date: 2019-02-07 22:54:15 +0000 (Thu, 07 Feb 2019) $" revision: "$Revision: 102807 $" deferred class KI_TEXT_OUTPUT_STREAM inherit KI_CHARACTER_OUTPUT_STREAM feature -- Output put_line (a_string: STRING_8) -- Write a_string to output stream -- followed by a line separator. require is_open_write: is_open_write a_string_not_void: a_string /= Void do put_string (a_string) put_new_line end put_new_line -- Write a line separator to output stream. require is_open_write: is_open_write do put_string (eol) end feature -- Access eol: STRING_8 -- Line separator deferred ensure eol_not_void: Result /= Void eol_not_empty: Result.count > 0 end end -- class KI_TEXT_OUTPUT_STREAM
Generated by ISE EiffelStudio