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

Merge pull request #2322 from triska/char_code

Browse Source 
ENHANCED: Bi-directional char_code/2, addressing #2321.
This commit is contained in:
Mark Thom
2024-02-07 18:49:13 -07:00
committed by GitHub
parent 89d3451767 53b7d9eec9
commit 8e323b9dfa
1 changed files with 26 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

33
src/lib/charsio.pl
View File

@@ -20,6 +20,7 @@ read and write chars.
:- use_module(library(iso_ext)). :- use_module(library(iso_ext)).
:- use_module(library(error)). :- use_module(library(error)).
:- use_module(library(lists)). :- use_module(library(lists)).
:- use_module(library(between)).
:- use_module(library(iso_ext), [partial_string/1,partial_string/3]). :- use_module(library(iso_ext), [partial_string/1,partial_string/3]).
fabricate_var_name(VarType, VarName, N) :- fabricate_var_name(VarType, VarName, N) :-
@@ -74,9 +75,10 @@ extend_var_list_([V|Vs], N, VarList, NewVarList, VarType) :-
). ).
%% char_type(+Char, -Type). %% char_type(?Char, ?Type).
% %
% Given a Char, Type is one of the categories that char fits in. % Type is one of the categories that Char fits in.
% At least one of the arguments must be ground.
% Possible categories are: % Possible categories are:
% %
% - `alnum` % - `alnum`
@@ -132,17 +134,32 @@ extend_var_list_([V|Vs], N, VarList, NewVarList, VarType) :-
% Note that uppercase and lowercase transformations use a string. This is because % Note that uppercase and lowercase transformations use a string. This is because
% some characters do not map 1:1 between lowercase and uppercase. % some characters do not map 1:1 between lowercase and uppercase.
char_type(Char, Type) :- char_type(Char, Type) :-
must_be(character, Char), can_be(character, Char),
( ground(Type) -> ( \+ ctype(Type) ->
( ctype(Type) -> domain_error(char_type, Type, char_type/2)
; true
),
( ground(Char) ->
ctype(Type),
'$char_type'(Char, Type) '$char_type'(Char, Type)
; domain_error(char_type, Type, char_type/2) ; ground(Type) ->
) max_char_code(Max),
; ctype(Type), between(0, Max, Code),
char_code(Char, Code),
'$char_type'(Char, Type) '$char_type'(Char, Type)
; must_be(character, Char)
). ).
max_char_code(Max) :-
catch((length(_, Code),
catch(char_code(Char, Code),
error(representation_error(_),_),
throw(max_char_code(Code))),
false),
max_char_code(Code),
Max is Code - 1).
ctype(alnum). ctype(alnum).
ctype(alpha). ctype(alpha).
ctype(alphabetic). ctype(alphabetic).