deferred class
	KI_INPUT_STREAM [G]

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

Ancestors
	ANY

Queries
	end_of_input: BOOLEAN
	is_closable: BOOLEAN
	is_open_read: BOOLEAN
	is_rewindable: BOOLEAN
	last_item: G
	name: STRING_8
	read_to_buffer (a_buffer: KI_BUFFER [G]; pos, nb: INTEGER_32): INTEGER_32
	valid_unread_item (an_item: G): BOOLEAN

Commands
	close
	read
	rewind
	unread (an_item: G)

Generated by ISE EiffelStudio