INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES
Class
BASIC_IO
attach_input_file
attach_output_file
flush
get_bool
get_char
get_double
get_int
get_newline
get_real
get_string
last_bool
last_char
last_character
last_double
last_int
last_integer
last_real
last_string
put_bool
put_boolean
put_char
put_character
put_double
put_int
put_integer
put_new_line
put_newline
put_real
put_string
read_boolean
read_character
read_double
read_integer
read_line
read_real
set_echo_off
set_echo_on
set_error_output
set_file_input
set_file_output
set_standard_input
set_standard_output
to_next_line
INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES