
read_annotated(+Stream, -AnnTerm)

   Read term with type and source position information

Arguments
   Stream              Stream handle or alias (atom)
   AnnTerm             Variable or term

Type
   Term I/O

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 --- Stream is not instantiated.
     5 --- Stream is not an atom or a stream handle.
   190 --- End of file was encountered before reading any character.
   192 --- Stream is not an input stream.
   193 --- Stream is an illegal stream specification.
   198 --- Trying to read even after the error 190 was raised.

See Also
   read_annotated / 3
