11.2.3 Character I/O

at_end_of_line
at_end_of_line(+S)
testing whether at end of line on input stream S
at_end_of_stream ISO
at_end_of_stream(+S) ISO
testing whether end of file is reached for the input stream S
flush_output ISO
flush_output(+S) ISO
flush the output buffer for stream S
get_byte(-C) ISO
get_byte(+S,-C) ISO
C is the next byte on binary input stream S
get_char(-C) ISO
get_char(+S,-C) ISO
C is the next character atom on text input stream S
get_code(-C) ISO
get_code(+S,-C) ISO
C is the next character code on text input stream S
nl ISO
nl(+S) ISO
send a newline to stream S
peek_byte(+C) ISO
peek_byte(+S,+C) ISO
looks ahead for next input byte on the binary input stream S
peek_char(+C) ISO
peek_char(+S,+C) ISO
looks ahead for next input character atom on the text input stream S
peek_code(+C) ISO
peek_code(+S,+C) ISO
looks ahead for next input character code on the text input stream S
put_byte(+C) ISO
put_byte(+S,+C) ISO
write byte C to binary stream S
put_char(+C) ISO
put_char(+S,+C) ISO
write character atom C to text stream S
put_code(+C) ISO
put_code(+S,+C) ISO
write character code C to text stream S
skip_byte(+C)
skip_byte(+S,+C)
skip input on binary stream S until after byte C
skip_char(+C)
skip_char(+S,+C)
skip input on text stream S until after char C
skip_code(+C)
skip_code(+S,+C)
skip input on text stream S until after code C
skip_line
skip_line(+S)
skip the rest input characters of the current line (record) on the input stream S

Send feedback on this subject.