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