diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix case where second argument is known.

Browse Source
This commit is contained in:
Vítor Santos Costa 2010-06-18 00:29:47 +01:00
parent 71f59ac570
commit 0021b66807
1 changed files with 72 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

78
pl/chtypes.yap
View File

@ -104,9 +104,15 @@ code_type(?Code, ?Type)
char_type(A, Spec) :- char_type(A, Spec) :-
var(A), !, var(A), !,
'$char_spec_code_from_spec'(Spec, SpecCode), (ground(Spec),
'$code_enum'(Code, SpecCode), '$handle_special_char_type'(Code, Spec)
'$spec_code_to_char'(SpecCode, Spec), ->
true
;
'$char_spec_code_from_spec'(Spec, SpecCode),
'$code_enum'(Code, SpecCode),
'$spec_code_to_char'(SpecCode, Spec)
),
atom_codes(A,[Code]). atom_codes(A,[Code]).
char_type(A, Spec) :- char_type(A, Spec) :-
atom(A), !, atom(A), !,
@ -130,7 +136,13 @@ char_type(Code, Spec) :-
code_type(Code, Spec) :- code_type(Code, Spec) :-
var(Code), !, var(Code), !,
'$code_enum'(Code, Spec). (ground(Spec),
'$handle_special_char_type'(Code, Spec)
->
true
;
'$code_enum'(Code, Spec)
).
code_type(A, Spec) :- code_type(A, Spec) :-
atom(A), !, atom(A), !,
atom_codes(A,[Code]), atom_codes(A,[Code]),
@ -363,12 +375,66 @@ code_type(Code, Spec) :-
'$type_code_period'(0'.). '$type_code_period'(0'.).
'$type_code_period'(0'?). '$type_code_period'(0'?).
'$type_code_quote'( 0). '$type_code_quote'( 0). %'
'$type_code_quote'(0'"). '$type_code_quote'(0'").
'$type_code_quote'(0''). '$type_code_quote'(0'').
'$type_code_quote'(0'`). '$type_code_quote'(0'`).
'$type_code_paren'(0'{, 0'}). '$type_code_paren'(0'{, 0'}).
'$type_code_paren'(0'[, 0']). '$type_code_paren'(0'[, 0']).
'$type_code_paren'(0'(, 0'(). '$type_code_paren'(0'(, 0'(). %'
'$handle_special_char_type'(Spec, digit(N)) :-
integer(N),
N >= 0,
N =< 9,
Spec is "0"+N.
'$handle_special_char_type'(Spec, xdigit(N)) :-
integer(N),
N >= 0,
(
N =< 9
->
Spec is "0"+N
;
N =< 15
->
Spec is "a"+(N-10)
).
'$handle_special_char_type'(Spec, lower(Upper)) :-
Upper >= "A",
Upper =< "Z",
Spec is Upper + ("a"-"A").
'$handle_special_char_type'(Spec, to_lower(Upper)) :-
( Upper >= "A",
Upper =< "Z"
->
Spec is Upper + ("a"-"A")
;
Upper >= "a",
Upper =< "z"
->
fail
;
Spec = Upper
).
'$handle_special_char_type'(Spec, upper(Lower)) :-
Lower >= "a",
Lower =< "z",
Spec is Lower + ("A"-"a").
'$handle_special_char_type'(Spec, upper(Lower)) :-
( Lower >= "a",
Lower =< "z"
->
Spec is Lower + ("A"-"a")
;
Lower >= "A",
Lower =< "Z"
->
fail
;
Spec = Lower
).