INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |
-- Last character read by 'read_character'
-- Last integer read by 'read_integer'
-- Read a string from the standard
-- input and assign it to 'last_string'.
-- NOTE: Every call will allocate a
-- new string
-- Consume input until newline is found,
-- then consume newline character
-- Read an integer from the standard
-- input and assign it to 'last_int'
-- Read a real from the standard
-- input and assign it to 'last_real'
-- Read a double from the standard
-- input and assign it to 'last_double'
-- Read a boolean from the standard
-- input and assign it to 'last_bool'
-- Read a character from the standard
-- input and assign it to 'last_char'.
-- NOTE: Empty input is interpreted as '%N'
-- Output 's' to current output device
-- Output 'i' to current output device
-- Output 'r' to current output device
-- Output 'd' to current output device
-- Output 'b' to current output device.
-- NOTE: Prints 'True' or 'False'
-- Output 'c' to current output device
-- Output newline character
-- Flush buffered data (if any).
-- Use the standard output device from now on
-- Use the error output device from now on
-- Use the user input device from now on
INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |