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

better error handling for options

Browse Source
This commit is contained in:
Markus Triska
2020-07-23 00:27:31 +02:00
parent 61dddcee3f
commit 4a90f13dee
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/lib/charsio.pl
View File

@@ -200,6 +200,8 @@ read_line_to_chars(Stream, Cs0, Cs) :-
Relation between a list of characters Cs and its Base64 encoding Bs, Relation between a list of characters Cs and its Base64 encoding Bs,
also a list of characters. also a list of characters.
At least one of the arguments must be instantiated.
Options are: Options are:
- padding(Boolean) - padding(Boolean)
@@ -226,6 +228,10 @@ chars_base64(Cs, Bs, Options) :-
) )
), ),
must_be(boolean, Padding), must_be(boolean, Padding),
must_be(atom, Charset),
( member(Charset, [standard,url]) -> true
; domain_error(charset, Charset, chars_base64/3)
),
( var(Cs) -> ( var(Cs) ->
must_be(list, Bs), must_be(list, Bs),
maplist(must_be(character), Bs), maplist(must_be(character), Bs),