From 847ba6fecb19b7cc694355b87cb3be7183ca1287 Mon Sep 17 00:00:00 2001 From: fab Date: Sat, 8 Dec 2018 23:12:33 +0000 Subject: patch isDigit --- lib/js/urweb.js | 117 +++++++++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 116 insertions(+), 1 deletion(-) (limited to 'lib') diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 19f708ca..a10751e3 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -30,7 +30,122 @@ function le(x, y) { return x <= y; } function isLower(c) { return toLower(c) == c && c != toUpper(c); } function isUpper(c) { return toUpper(c) == c && c != toLower(c); } function isAlpha(c) { return isLower(c) || isUpper(c); } -function isDigit(c) { return c >= '0' && c <= '9'; } +function isDigit(c) { + if (c >= '0' && c <= '9') + return true; + + var cp = ord(c); + if (cp >= 1632 && cp <= 1641) + return true; + else if (cp >= 1776 && cp <= 1785) + return true; + else if (cp >= 1984 && cp <= 1993) + return true; + else if (cp >= 2406 && cp <= 2415) + return true; + else if (cp >= 2534 && cp <= 2543) + return true; + else if (cp >= 2662 && cp <= 2671) + return true; + else if (cp >= 2790 && cp <= 2799) + return true; + else if (cp >= 2918 && cp <= 2927) + return true; + else if (cp >= 3046 && cp <= 3055) + return true; + else if (cp >= 3174 && cp <= 3183) + return true; + else if (cp >= 3302 && cp <= 3311) + return true; + else if (cp >= 3430 && cp <= 3439) + return true; + else if (cp >= 3558 && cp <= 3567) + return true; + else if (cp >= 3664 && cp <= 3673) + return true; + else if (cp >= 3792 && cp <= 3801) + return true; + else if (cp >= 3872 && cp <= 3881) + return true; + else if (cp >= 4160 && cp <= 4169) + return true; + else if (cp >= 4240 && cp <= 4249) + return true; + else if (cp >= 6112 && cp <= 6121) + return true; + else if (cp >= 6160 && cp <= 6169) + return true; + else if (cp >= 6470 && cp <= 6479) + return true; + else if (cp >= 6608 && cp <= 6617) + return true; + else if (cp >= 6784 && cp <= 6793) + return true; + else if (cp >= 6800 && cp <= 6809) + return true; + else if (cp >= 6992 && cp <= 7001) + return true; + else if (cp >= 7088 && cp <= 7097) + return true; + else if (cp >= 7232 && cp <= 7241) + return true; + else if (cp >= 7248 && cp <= 7257) + return true; + else if (cp >= 42528 && cp <= 42537) + return true; + else if (cp >= 43216 && cp <= 43225) + return true; + else if (cp >= 43264 && cp <= 43273) + return true; + else if (cp >= 43472 && cp <= 43481) + return true; + else if (cp >= 43504 && cp <= 43513) + return true; + else if (cp >= 43600 && cp <= 43609) + return true; + else if (cp >= 44016 && cp <= 44025) + return true; + else if (cp >= 65296 && cp <= 65305) + return true; + else if (cp >= 66720 && cp <= 66729) + return true; + else if (cp >= 69734 && cp <= 69743) + return true; + else if (cp >= 69872 && cp <= 69881) + return true; + else if (cp >= 69942 && cp <= 69951) + return true; + else if (cp >= 70096 && cp <= 70105) + return true; + else if (cp >= 70384 && cp <= 70393) + return true; + else if (cp >= 70736 && cp <= 70745) + return true; + else if (cp >= 70864 && cp <= 70873) + return true; + else if (cp >= 71248 && cp <= 71257) + return true; + else if (cp >= 71360 && cp <= 71369) + return true; + else if (cp >= 71472 && cp <= 71481) + return true; + else if (cp >= 71904 && cp <= 71913) + return true; + else if (cp >= 72784 && cp <= 72793) + return true; + else if (cp >= 73040 && cp <= 73049) + return true; + else if (cp >= 92768 && cp <= 92777) + return true; + else if (cp >= 93008 && cp <= 93017) + return true; + else if (cp >= 120782 && cp <= 120831) + return true; + else if (cp >= 125264 && cp <= 125273) + return true; + + return false; +} function isAlnum(c) { return isAlpha(c) || isDigit(c); } function isBlank(c) { return c == ' ' || c == '\t'; } function isSpace(c) { return isBlank(c) || c == '\r' || c == '\n'; } -- cgit v1.2.3