INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |
-- Read a new character.
-- Make result available in 'last_character'.
-- Read the binary representation of a new double from file.
-- Make result available in 'last_double'.
-- Read the binary representation of a new integer from file.
-- Make result available in 'last_integer'.
-- Read a string until new line or end of file.
-- Make result available in 'last_string'.
-- New line will be consumed but not part of 'last_string'.
-- Read the binary representation of a new real from file.
-- Make result available in 'last_real'.
-- Read a string of a most 'nb_char' bound characters or until end of file.
-- Make result available in 'last_string'.
INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |