note description: "Interface for character output streams" library: "Gobo Eiffel Kernel Library" copyright: "Copyright (c) 2001-2016, Eric Bezault and others" license: "MIT License" date: "$Date: 2017-04-11 18:34:55 +0000 (Tue, 11 Apr 2017) $" revision: "$Revision: 100137 $" deferred class interface KI_CHARACTER_OUTPUT_STREAM feature -- Output put_string (a_string: STRING_8) -- Write a_string to output stream. require is_open_write: is_open_write a_string_not_void: a_string /= Void put_substring (a_string: STRING_8; s, e: INTEGER_32) -- Write substring of a_string between indexes -- s and e to output stream. require is_open_write: is_open_write a_string_not_void: a_string /= Void s_large_enough: s >= 1 e_small_enough: e <= a_string.count valid_interval: s <= e + 1 put_integer (i: INTEGER_32) -- Write decimal representation -- of i to output stream. -- Regexp: 0|(-?[1-9][0-9]*) require is_open_write: is_open_write put_integer_8 (i: INTEGER_8) -- Write decimal representation -- of i to output stream. -- Regexp: 0|(-?[1-9][0-9]*) require is_open_write: is_open_write put_integer_16 (i: INTEGER_16) -- Write decimal representation -- of i to output stream. -- Regexp: 0|(-?[1-9][0-9]*) require is_open_write: is_open_write put_integer_32 (i: INTEGER_32) -- Write decimal representation -- of i to output stream. -- Regexp: 0|(-?[1-9][0-9]*) require is_open_write: is_open_write put_integer_64 (i: INTEGER_64) -- Write decimal representation -- of i to output stream. -- Regexp: 0|(-?[1-9][0-9]*) require is_open_write: is_open_write put_natural_8 (i: NATURAL_8) -- Write decimal representation -- of i to output stream. -- Regexp: 0|([1-9][0-9]*) require is_open_write: is_open_write put_natural_16 (i: NATURAL_16) -- Write decimal representation -- of i to output stream. -- Regexp: 0|([1-9][0-9]*) require is_open_write: is_open_write put_natural_32 (i: NATURAL_32) -- Write decimal representation -- of i to output stream. -- Regexp: 0|([1-9][0-9]*) require is_open_write: is_open_write put_natural_64 (i: NATURAL_64) -- Write decimal representation -- of i to output stream. -- Regexp: 0|([1-9][0-9]*) require is_open_write: is_open_write put_boolean (b: BOOLEAN) -- Write "True" to output stream if -- b is true, "False" otherwise. require is_open_write: is_open_write append (an_input_stream: KI_INPUT_STREAM [CHARACTER_8]) -- Read items of an_input_stream until the end -- of input is reached, and write these items to -- current output stream. feature -- Basic operations flush -- Flush buffered data to disk. require is_open_write: is_open_write end -- class KI_CHARACTER_OUTPUT_STREAM
Generated by ISE EiffelStudio