Character I/O Built-ins

ECLiPSe Character-based I/O built-in.

get(+Stream, ?Ascii)

Reads the next character from the input stream Stream and unifies its ASCII code with Ascii.  

get(?Ascii)

Reads the next character from the current input stream and unifies its ASCII code with Ascii.  

get_char(+Stream, ?Char)

Reads the next character from the input stream Stream and unifies it with a single character string Char.  

get_char(?Char)

Reads the next character from the current input and unifies it with a single character string Char.  

put(+Ascii)

The character represented by the ascii integer Ascii is put onto the buffered current output.  

put(+Stream, +Ascii)

The character represented by the ascii integer code Ascii is put onto the buffered output stream Stream.  

put_char(+Char)

Puts the single character string Char onto the buffered current output.  

put_char(+Stream, +Char)

Puts the single character string Char onto the buffered output stream Stream.  

read_string(+DelString, ?Length, ?String)

Reads a string from the input stream up to a delimiter or up to a specified length.  

read_string(+Stream, +DelString, ?Length, ?String)

Reads a string from the stream Stream up to a delimiter or up to a specified length.  

tyi(+Stream, ?Ascii)

Succeeds if the ascii code of the next character read in raw mode from the input stream Stream is successfully unified with Ascii.  

tyi(?Ascii)

Succeeds if the ascii code of the next character read in raw mode from the current input is successfully unified with Ascii.  

tyo(+Ascii)

The character represented by the ascii integer Ascii is put onto the current output in raw mode.  

tyo(+Stream, +Ascii)

The character represented by the ascii integer Ascii is put onto the output stream Stream in raw mode.