class
	STREAM

General
	cluster: base.kernel
	description: "Implementation of the STORABLE mechanism with streams."
	create: make_with_size, make

Ancestors
	IO_MEDIUM

Queries
	buffer: POINTER
	buffer_size: INTEGER
	Exists: BOOLEAN
	extendible: BOOLEAN
	is_closed: BOOLEAN
	is_executable: BOOLEAN
	Is_open_read: BOOLEAN
	Is_open_write: BOOLEAN
	is_plain_text: BOOLEAN
	Is_readable: BOOLEAN
	Is_writable: BOOLEAN
	last_character: CHARACTER
	last_double: DOUBLE
	last_integer: INTEGER
	last_real: REAL
	last_string: STRING
	lastchar: CHARACTER
	lastdouble: DOUBLE
	lastint: INTEGER
	lastreal: REAL
	laststring: STRING
	object_stored_size: INTEGER
	readable: BOOLEAN
	retrieved: ANY
	Support_storable: BOOLEAN

Commands
	basic_store (object: ANY)
	close
	create_c_buffer
	dispose
	general_store (object: ANY)
	independent_store (object: ANY)
	make
	make_with_size (n: INTEGER)
	new_line
	put_boolean (b: BOOLEAN)
	put_character (c: CHARACTER)
	put_double (d: DOUBLE)
	put_integer (i: INTEGER)
	put_new_line
	put_real (r: REAL)
	put_string (s: STRING)
	putbool (b: BOOLEAN)
	putchar (c: CHARACTER)
	putdouble (d: DOUBLE)
	putint (i: INTEGER)
	putreal (r: REAL)
	putstring (s: STRING)
	read_character
	read_double
	read_integer
	read_line
	read_real
	read_stream (nb_char: INTEGER)
	readchar
	readdouble
	readint
	readline
	readreal
	readstream (nb_char: INTEGER)
	set_additional_size (new_size: INTEGER)