Next: mpg-ref-read_term, Previous: mpg-ref-read, Up: mpg-bpr [Contents][Index]
read_line/[1,2]
read_line(-Line)
read_line(+Stream, -Line)
Reads one line of input from Stream, and unifies the
codes with Line. On end of file, Line is unified with
end_of_file
.
stream_object, must be ground
A valid input text stream, defaults to the current input stream.
codes or one of [end_of_file
]
Stream errors (see ref-iou-sfh-est), plus:
permission_error
Trying to read beyond end of Stream
at_end_of_line/[0,1]
, ref-iou-cin.