Character I/O

at_end_of_file

testing whether end of file is reached for current input stream

at_end_of_file(S)

testing whether end of file is reached for the input stream S

at_end_of_line

testing whether at end of line on current input stream

at_end_of_line(S)

testing whether at end of line on input stream S

get(C)

C is the next non-blank character on the current input stream

get(S,C)

C is the next non-blank character on input stream S

get0(C)

C is the next character on the current input stream

get0(S,C)

C is the next character on input stream S

nl

send a newline to the current output stream

nl(S)

send a newline to stream S

peek_char(C)

looks ahead for next input character on the current input stream

peek_char(S,C)

looks ahead for next input character on the input stream S

put(C)

write character C to the current output stream

put(S,C)

write character C to stream S

skip(C)

skip input on the current input stream until after character C

skip(S,C)

skip input on stream S until after character C

skip_line

skip the rest input characters of the current line (record) on the current input stream

skip_line(S)

skip the rest input characters of the current line (record) on the input stream S

tab(N)

send N spaces to the current output stream

tab(S,N)

send N spaces to stream S

ttyget(C)

the next non-blank character input from the terminal is C

ttyget0(C)

the next character read in from the terminal is C

ttynl

display a new line on the terminal

ttyput(C)

the next character sent to the terminal is C

ttyskip(C)

skip over terminal input until after character C

ttytab(N)

send N spaces to the terminal