add validation to chars_to_stream/3, cleanup test

Author: [email protected]

src/lib/charsio.pl

@@ -308,7 +308,7 @@
 
 % invalid continuation byte
 % each remaining continuation byte (if any) will raise 0xFFFD too
-continuation(_, ['\xFFFD\'|T], _) --> [_], decode_utf8(T).
+continuation(_, ['\xFFFD\'|T], _) --> [_], decode_utf8(T). %'
 
 %% get_line_to_chars(+Stream, -Chars, +InitialChars).
 %
@@ -425,6 +425,7 @@
 
 chars_to_stream(Chars, Stream, StreamOpts) :-
         parse_stream_options(StreamOpts, [Alias, EOFAction, Reposition, Type]),
+        validate_chars(Chars, Type),
         '$memory_stream'(Stream),
         '$set_stream_options'(Stream, Alias ,EOFAction, Reposition, Type),
         (   Type=binary
@@ -505,3 +506,15 @@
     ).
 
 select_rightmost_options([], []).
+
+
+valid_byte_(Byte) :-
+        must_be(integer, Byte),
+        Byte >= 0,
+        Byte < 256.
+
+validate_chars_(Chars, binary) :-
+        maplist(valid_byte, Chars).
+
+validate_chars_(Chars, text) :-
+        must_be(chars, Chars).

src/tests/charsio.pl

@@ -1,7 +1,4 @@
 :- module(charsio_tests, []).
-:- use_module(library(os)).
-:- use_module(library(iso_ext)).
-:- use_module(library(debug)).
 :- use_module(library(lists)).
 :- use_module(library(charsio)).