[ Character I/O | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]
get_char(?Char)
Reads the next character from the current input and unifies it with a
single character string Char.
- ?Char
- Single character string or variable.
Description
Takes a single-character string from the current input and unifies it
with Char.
Fail Conditions
Fails if Char does not unify with the next character from the buffered
current input.
Resatisfiable
No.
Exceptions
- (5) type error
- Char is instantiated, but not to a string.
Examples
Equivalent to get_char(input, Char). (see get_char/2 for details).
See Also
get_char / 2, put_char / 1, put_char / 2