deferred class INPUT_STREAM_TOOLS
Features exported to
ANY
Direct parents
non-conformant parents
ANY
Known children
non-conformant children
INPUT_STREAM
Summary
exported features
read_character
If
read_character
fail,
end_of_input
is set.
read_line_in
(buffer:
STRING
)