[ Character I/O | Reference Manual | Alphabetic Index ]
tyi(+Stream, -Code)
Succeeds if the code of the next character read in raw mode from the
input stream Stream is successfully unified with Code.
- Stream
- Stream handle or alias (atom)
- Code
- Variable or integer.
Description
Takes the next character from the unbuffered input stream Stream and
unifies its integer character code (in the range 0 to 255) with Code. The
input is in raw mode so that no newline character must be typed, and the
character is not echoed on the screen.
Character codes for the non-printable characters (i.e. control characters)
are also acceptable.
Note
tyi/2 reads from the stream in raw mode. If it is combined with the
buffered predicates, it might happen that some characters typed ahead
may be lost if the input device is a terminal.
Modes and Determinism
Exceptions
- (4) instantiation fault
- Stream is not instantiated.
- (5) type error
- Stream is neither a stream handle nor an atom.
- (5) type error
- Code is instantiated, but not to an integer.
- (190) end of file reached
- End of file has been reached.
- (192) illegal stream mode
- Stream is not an input stream.
- (193) illegal stream specification
- Stream is an illegal stream specification.
- (198) reading past the file end
- Trying to read even after the error 190 was raised.
Examples
Success:
?- tyi(input,Code).
Code = 97 % press 'a'
yes.
?- tyi(input,97).
% press 'a'
yes.
?- tyi(input,Code).
Code = 4 % press ^D
yes.
Fail:
?- tyi(input, 0'b).
% press 'a'
no.
Error:
tyi(Stream,98). (Error 4).
tyi(input, '98'). (Error 5).
tyi(input, 98.0). (Error 5).
tyi("string", A). (Error 5).
?- open(file1,update,s), write(s,p),
seek(s,0), tyi(s,Code),
tyi(s,Code). (Error 190).
tyi(9,A). (Error 192).
tyi(atom,A). (Error 193).
See Also
tyi / 1, tyo / 1, tyo / 2