deferred class
	KI_CHARACTER_INPUT_STREAM

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

Ancestors
	KI_INPUT_STREAM* [G]
	KL_IMPORTED_ANY_ROUTINES

Queries
	Any_: KL_ANY_ROUTINES
	end_of_input: BOOLEAN
	is_closable: BOOLEAN
	is_open_read: BOOLEAN
	is_rewindable: BOOLEAN
	last_character: CHARACTER_8
	last_string: STRING_8
	name: STRING_8
	read_to_buffer (a_buffer: KI_BUFFER [CHARACTER_8]; pos, nb: INTEGER_32): INTEGER_32
	read_to_string (a_string: STRING_8; pos, nb: INTEGER_32): INTEGER_32
	valid_unread_character (a_character: CHARACTER_8): BOOLEAN

Commands
	close
	read_character
	read_string (nb: INTEGER_32)
	rewind
	unread_character (an_item: CHARACTER_8)


Generated by ISE EiffelStudio