[ Term I/O | Reference Manual | Alphabetic Index ]

read_annotated(+Stream, -AnnTerm)

Read term with type and source position information
Stream
Integer (stream number) or Atom (reserved or user-defined symbolic stream name).
AnnTerm
Variable or term

Description

This is defined as

    read_annoated(Stream, AnnTerm) :-
    	read_annotated(Stream _Term, AnnTerm).

Modes and Determinism

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 an integer.
(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