INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |
-- Medium name
-- Handle to medium
-- Is the handle available after class has been
-- created?
-- Is file reserved for text (character sequences)?
-- Does medium exist?
-- Is this medium opened for input
-- Is this medium opened for output
-- Is medium readable?
-- Is medium executable?
-- Is medium writable?
-- Is there a current item that may be read?
-- May new items be added?
-- Is the I/O medium open
-- Close medium.
-- Ensure this medium is closed when garbage collected.
-- Write a new line character to medium
-- Write `s' to medium.
-- Write `c' to medium.
-- Write `r' to medium.
-- Write `i' to medium.
-- Write `b' to medium.
-- Write `d' to medium.
-- Read a new real.
-- Make result available in `last_real'.
-- Read a new double.
-- Make result available in `last_double'.
-- Read a new character.
-- Make result available in `last_character'.
-- Read a new integer.
-- Make result available in `last_integer'.
-- Read a string of at most `nb_char' bound characters
-- or until end of medium is encountered.
-- Make result available in `last_string'.
-- Read characters until a new line or
-- end of medium.
-- Make result available in `last_string'.
-- Last character read by `read_character'
-- Last string read
-- Last integer read by `read_integer'
-- Last real read by `read_real'
-- Last double read by `read_double'
INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |