[
ECLiPSe Character-based I/O built-in.
|
Group Index
|
Full 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