From 18d0a74f2343104d0272da3ffd8bca78b918d69f Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 24 Jun 2023 11:47:32 +0200 Subject: [PATCH] MODIFIED: read_line_to_chars/3 is now called get_line_to_chars/3 This is for consistency with other I/O predicates, where "read" always indicates Prolog terms. Please adjust your programs accordingly. --- src/lib/charsio.pl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/lib/charsio.pl b/src/lib/charsio.pl index 0f19a8db..0b69ca26 100644 --- a/src/lib/charsio.pl +++ b/src/lib/charsio.pl @@ -10,7 +10,7 @@ read and write chars. chars_utf8bytes/2, get_single_char/1, get_n_chars/3, - read_line_to_chars/3, + get_line_to_chars/3, read_from_chars/2, write_term_to_chars/3, chars_base64/3]). @@ -277,17 +277,17 @@ continuation(Code, Chars, Nb) --> [Byte], % each remaining continuation byte (if any) will raise 0xFFFD too continuation(_, ['\xFFFD\'|T], _) --> [_], decode_utf8(T). -%% read_line_to_chars(+Stream, -Chars, +InitialChars). +%% get_line_to_chars(+Stream, -Chars, +InitialChars). % % Reads chars from stream Stream until it finds a `\n` character. % InitialChars will be appended at the end of Chars -read_line_to_chars(Stream, Cs0, Cs) :- +get_line_to_chars(Stream, Cs0, Cs) :- '$get_n_chars'(Stream, 1, Char), % this also works for binary streams ( Char == [] -> Cs0 = Cs ; Char = [C], Cs0 = [C|Rest], ( C == '\n' -> Rest = Cs - ; read_line_to_chars(Stream, Rest, Cs) + ; get_line_to_chars(Stream, Rest, Cs) ) ). -- 2.54.0