[ Term I/O | Reference Manual | Alphabetic Index ]
read_annotated(+Stream, -AnnTerm)
Read term with type and source position information
- Stream
- Stream handle or alias (atom)
- AnnTerm
- Variable or term
Description
    This is defined as
    read_annoated(Stream, AnnTerm) :-
        read_annotated(Stream _Term, AnnTerm).
        
Modes and Determinism
- read_annotated(+, -) is semidet
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
Fail Conditions
Fails if a syntax error was detected and no term could be read
Exceptions
- (4) instantiation fault 
- Stream is not instantiated.
- (5) type error 
- Stream is not an atom or a stream handle.
- (190) end of file reached 
- End of file was encountered before reading any character.
- (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.
See Also
read_annotated / 3