[ The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

# Character I/O

Built-ins to input and output characters or byte strings

## Predicates

> get(-Ascii)
>   Reads the next character from the current input stream and unifies its ASCII code with Ascii.
> get(+Stream, -Ascii)
>   Reads the next character from the input stream Stream and unifies its ASCII code with Ascii.
> get_char(-Char)
>   Reads the next character from the current input and unifies it with a single character string Char.
> get_char(+Stream, -Char)
>   Reads the next character from the input stream Stream and unifies it with a single character string Char.
> nl
>   A newline is printed on the output stream.
> nl(+Stream)
>   A newline is printed on the output stream Stream.
> 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(+Delimiters, ?Length, -String)
>   Reads a string from the input stream up to a delimiter or up to a specified length
> read_string(+Stream, +Delimiters, ?Length, -String)
>   Reads a string from the stream Stream up to a delimiter or up to a specified length.
> read_token(-Token, -Class)
>   Succeeds if the next token from the current input stream is successfully read and unified with Token and its token class with Class.
> read_token(+Stream, -Token, -Class)
>   Succeeds if the next token from the input stream Stream is successfully read and unified with Token and its token class with Class.
> tyi(-Ascii)
>   Succeeds if the ascii code of the next character read in raw mode from the current input is successfully unified with Ascii.
> 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.
> 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.
> unget(+Stream)
>   Back up one character on Stream

Generated from iochar.eci on Sat Nov 8 06:53:33 2008