deferred class
	KI_BUFFER [G]

General
	cluster: kernel
	description: "Interface for buffers"

Ancestors
	ANY

Queries
	count: INTEGER_32
	fill_from_stream (a_stream: KI_INPUT_STREAM [G]; pos, nb: INTEGER_32): INTEGER_32
	item (i: INTEGER_32): G

Commands
	move_left (old_pos, new_pos, nb: INTEGER_32)
	move_right (old_pos, new_pos, nb: INTEGER_32)
	put (v: G; i: INTEGER_32)
	resize (n: INTEGER_32)

Generated by ISE EiffelStudio