deferred class
	KI_CHARACTER_OUTPUT_STREAM

General
	cluster: kernel
	description: "Interface for character output streams"

Ancestors
	KI_OUTPUT_STREAM* [G]
	KL_IMPORTED_STRING_ROUTINES

Queries
	is_closable: BOOLEAN
	is_open_write: BOOLEAN
	name: STRING_8

Commands
	append (an_input_stream: KI_INPUT_STREAM [CHARACTER_8])
	close
	flush
	put_boolean (b: BOOLEAN)
	put_character (v: CHARACTER_8)
	put_integer (i: INTEGER_32)
	put_integer_16 (i: INTEGER_16)
	put_integer_32 (i: INTEGER_32)
	put_integer_64 (i: INTEGER_64)
	put_integer_8 (i: INTEGER_8)
	put_natural_16 (i: NATURAL_16)
	put_natural_32 (i: NATURAL_32)
	put_natural_64 (i: NATURAL_64)
	put_natural_8 (i: NATURAL_8)
	put_string (a_string: STRING_8)
	put_substring (a_string: STRING_8; s, e: INTEGER_32)


Generated by ISE EiffelStudio