deferred class
	IO_MEDIUM

General
	cluster: base.kernel
	description: "Any medium that can perform input and/or output"

Ancestors
	MEMORY
	STRING_HANDLER

Queries
	exists: BOOLEAN
	extendible: BOOLEAN
	handle: INTEGER
	handle_available: 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
	name: STRING
	readable: BOOLEAN
	retrieved: ANY
	support_storable: BOOLEAN

Commands
	basic_store (object: ANY)
	close
	dispose
	general_store (object: ANY)
	independent_store (object: ANY)
	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)