rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #1838 from triska/get_line_to_chars

Browse Source 
MODIFIED: read_line_to_chars/3 is now called get_line_to_chars/3
This commit is contained in:
Mark Thom
2023-06-24 09:19:22 -06:00
committed by GitHub
parent bf581879e6 9bc3757a9e
commit 2ec45b7413
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/lib/charsio.pl
View File

@@ -10,7 +10,7 @@ read and write chars.
chars_utf8bytes/2, chars_utf8bytes/2,
get_single_char/1, get_single_char/1,
get_n_chars/3, get_n_chars/3,
read_line_to_chars/3, get_line_to_chars/3,
read_from_chars/2, read_from_chars/2,
write_term_to_chars/3, write_term_to_chars/3,
chars_base64/3]). chars_base64/3]).
@@ -277,17 +277,17 @@ continuation(Code, Chars, Nb) --> [Byte],
% each remaining continuation byte (if any) will raise 0xFFFD too % each remaining continuation byte (if any) will raise 0xFFFD too
continuation(_, ['\xFFFD\'|T], _) --> [_], decode_utf8(T). 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. % Reads chars from stream Stream until it finds a `\n` character.
% InitialChars will be appended at the end of Chars % 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 '$get_n_chars'(Stream, 1, Char), % this also works for binary streams
( Char == [] -> Cs0 = Cs ( Char == [] -> Cs0 = Cs
; Char = [C], ; Char = [C],
Cs0 = [C|Rest], Cs0 = [C|Rest],
( C == '\n' -> Rest = Cs ( C == '\n' -> Rest = Cs
; read_line_to_chars(Stream, Rest, Cs) ; get_line_to_chars(Stream, Rest, Cs)
) )
). ).
@@ -299,17 +299,17 @@ read_line_to_chars(Stream, Cs0, Cs) :-
get_n_chars(Stream, N, Cs) :- get_n_chars(Stream, N, Cs) :-
can_be(integer, N), can_be(integer, N),
( var(N) -> ( var(N) ->
read_to_eof(Stream, Cs), get_to_eof(Stream, Cs),
length(Cs, N) length(Cs, N)
; N >= 0, ; N >= 0,
'$get_n_chars'(Stream, N, Cs) '$get_n_chars'(Stream, N, Cs)
). ).
read_to_eof(Stream, Cs) :- get_to_eof(Stream, Cs) :-
'$get_n_chars'(Stream, 512, Cs0), '$get_n_chars'(Stream, 512, Cs0),
( Cs0 == [] -> Cs = [] ( Cs0 == [] -> Cs = []
; partial_string(Cs0, Cs, Rest), ; partial_string(Cs0, Cs, Rest),
read_to_eof(Stream, Rest) get_to_eof(Stream, Rest)
). ).
%% chars_base64(?Chars, ?Base64, +Options). %% chars_base64(?Chars, ?Base64, +Options).