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 on the input stream S