INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |
-- Default output
-- Standard error file
-- Standard input file
-- Standard output file
-- Return the default_output or output if default_output is Void
-- Last character read by 'read_character'
-- Last double read by 'read_double'
-- Last integer read by 'read_integer'
-- Last real read by 'read_real'
-- Last string read by 'read_line', 'read_stream', or 'read_word'
-- Write line feed at end of default output
-- Write 'b' at end of default output
-- Write 'c' at end of default output
-- Write 'd' at end of default output
-- Write 'i' at end of default output
-- Write 'r' at end of default output
-- Write 's' at end of default output
-- Use standard error as default output
-- Use standard output as default output
-- Move to next input line on standard input
-- Read a new character from standard input.
-- Make result available in 'last_character'
-- Read a new double from standard input.
-- Make result available in 'last_double'
-- Read a new integer from standard input.
-- Make result available in 'last_integer'
-- Read a line from standard input.
-- Make result available in 'last_string'.
-- New line will be consumed but not part of 'last_string'
-- Read a new real from standard input.
-- Make result available in 'last_real'
-- Read a string of at most 'nb_char' bound characters from standard input.
-- Make result available in 'last_string'
-- Last character read by 'read_character'
-- Last integer read by 'read_integer'
-- Read a line from standard input.
-- Make result available in 'last_string'.
-- New line will be consumed but not part of 'last_string'
-- Read a new integer from standard input.
-- Make result available in 'last_integer'
-- Read a new real from standard input.
-- Make result available in 'last_real'
-- Read a new double from standard input.
-- Make result available in 'last_double'
-- Read a new character from standard input.
-- Make result available in 'last_character'
-- Write 'b' at end of default output
-- Write 'c' at end of default output
-- Write 'i' at end of default output
-- Write line feed at end of default output
INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |