From c2a217f9121dd865122bc6150c53e77bd662050d Mon Sep 17 00:00:00 2001 From: fab Date: Sat, 3 Nov 2018 20:09:20 +0000 Subject: utf-8 aware functions for basis. unit-testing. --- tests/Makefile | 2 + tests/utf8.py | 449 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ tests/utf8.ur | 431 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ tests/utf8.urp | 5 + 4 files changed, 887 insertions(+) create mode 100644 tests/utf8.py create mode 100644 tests/utf8.ur create mode 100644 tests/utf8.urp (limited to 'tests') diff --git a/tests/Makefile b/tests/Makefile index ecf5557b..03e37e4b 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -28,3 +28,5 @@ simple:: ./driver.sh fact ./driver.sh filter ./driver.sh jsbspace + ./driver.sh utf8 + diff --git a/tests/utf8.py b/tests/utf8.py new file mode 100644 index 00000000..ff9b737a --- /dev/null +++ b/tests/utf8.py @@ -0,0 +1,449 @@ +import unittest +import base + +class Suite(base.Base): + def test_1(self): + """Test case: substring (1)""" + self.start('Utf8/substrings') + + pre = self.xpath('pre[1]') + self.assertEqual('abc', pre.text) + + pre = self.xpath('pre[2]') + self.assertEqual('bc', pre.text) + + pre = self.xpath('pre[3]') + self.assertEqual('c', pre.text) + + pre = self.xpath('pre[4]') + self.assertEqual('ábó', pre.text) + + pre = self.xpath('pre[5]') + self.assertEqual('bó', pre.text) + + pre = self.xpath('pre[6]') + self.assertEqual('ó', pre.text) + + pre = self.xpath('pre[7]') + self.assertEqual('çãó', pre.text) + + pre = self.xpath('pre[8]') + self.assertEqual('ãó', pre.text) + + pre = self.xpath('pre[9]') + self.assertEqual('ó', pre.text) + + pre = self.xpath('pre[10]') + self.assertEqual('', pre.text) + + pre = self.xpath('pre[11]') + self.assertEqual('', pre.text) + + + def test_2(self): + """Test case: strlen (2)""" + self.start('Utf8/strlens') + + pre = self.xpath('pre[1]') + self.assertEqual('3', pre.text) + + pre = self.xpath('pre[2]') + self.assertEqual('3', pre.text) + + pre = self.xpath('pre[3]') + self.assertEqual('3', pre.text) + + pre = self.xpath('pre[4]') + self.assertEqual('3', pre.text) + + pre = self.xpath('pre[5]') + self.assertEqual('1', pre.text) + + pre = self.xpath('pre[6]') + self.assertEqual('1', pre.text) + + pre = self.xpath('pre[7]') + self.assertEqual('0', pre.text) + + pre = self.xpath('pre[8]') + self.assertEqual('1', pre.text) + + pre = self.xpath('pre[9]') + self.assertEqual('1', pre.text) + + pre = self.xpath('pre[10]') + self.assertEqual('1', pre.text) + + pre = self.xpath('pre[11]') + self.assertEqual('6', pre.text) + + pre = self.xpath('pre[12]') + self.assertEqual('2', pre.text) + + pre = self.xpath('pre[13]') + self.assertEqual('14', pre.text) + + + def test_3(self): + """Test case: strlenGe (3)""" + self.start('Utf8/strlenGens') + + pre = self.xpath('pre[1]') + self.assertEqual('False', pre.text) + + pre = self.xpath('pre[2]') + self.assertEqual('True', pre.text) + + pre = self.xpath('pre[3]') + self.assertEqual('False', pre.text) + + pre = self.xpath('pre[4]') + self.assertEqual('True', pre.text) + + pre = self.xpath('pre[5]') + self.assertEqual('True', pre.text) + + pre = self.xpath('pre[6]') + self.assertEqual('False', pre.text) + + pre = self.xpath('pre[7]') + self.assertEqual('True', pre.text) + + pre = self.xpath('pre[8]') + self.assertEqual('True', pre.text) + + def test_4(self): + """Test case: strcat (4)""" + self.start('Utf8/strcats') + + pre = self.xpath('pre[1]') + self.assertEqual('', pre.text) + + pre = self.xpath('pre[2]') + self.assertEqual('0', pre.text) + + pre = self.xpath('pre[3]') + self.assertEqual('aabb', pre.text) + + pre = self.xpath('pre[4]') + self.assertEqual('4', pre.text) + + pre = self.xpath('pre[5]') + self.assertEqual('bb', pre.text) + + pre = self.xpath('pre[6]') + self.assertEqual('2', pre.text) + + pre = self.xpath('pre[7]') + self.assertEqual('aa', pre.text) + + pre = self.xpath('pre[8]') + self.assertEqual('2', pre.text) + + pre = self.xpath('pre[9]') + self.assertEqual('ààáá', pre.text) + + pre = self.xpath('pre[10]') + self.assertEqual('4', pre.text) + + pre = self.xpath('pre[11]') + self.assertEqual('áá', pre.text) + + pre = self.xpath('pre[12]') + self.assertEqual('2', pre.text) + + pre = self.xpath('pre[13]') + self.assertEqual('àà', pre.text) + + pre = self.xpath('pre[14]') + self.assertEqual('2', pre.text) + + def test_5(self): + """Test case: strsub (5)""" + self.start('Utf8/strsubs') + + pre = self.xpath('pre[1]') + self.assertEqual('a', pre.text) + + pre = self.xpath('pre[2]') + self.assertEqual('b', pre.text) + + pre = self.xpath('pre[3]') + self.assertEqual('à', pre.text) + + pre = self.xpath('pre[4]') + self.assertEqual('ç', pre.text) + + def test_6(self): + """Test case: strsuffix (6)""" + self.start('Utf8/strsuffixs') + + pre = self.xpath('pre[1]') + self.assertEqual('abàç', pre.text) + + pre = self.xpath('pre[2]') + self.assertEqual('bàç', pre.text) + + pre = self.xpath('pre[3]') + self.assertEqual('àç', pre.text) + + pre = self.xpath('pre[4]') + self.assertEqual('ç', pre.text) + + def test_7(self): + """Test case: strchr (7)""" + self.start('Utf8/strchrs') + + pre = self.xpath('pre[1]') + self.assertEqual('None', pre.text) + + pre = self.xpath('pre[2]') + self.assertEqual('Some "bàç"', pre.text) + + pre = self.xpath('pre[3]') + self.assertEqual('Some "àç"', pre.text) + + pre = self.xpath('pre[4]') + self.assertEqual('Some "ç"', pre.text) + + pre = self.xpath('pre[5]') + self.assertEqual('Some ""', pre.text) + + def test_8(self): + """Test case: strindex (8)""" + self.start('Utf8/strindexs') + + pre = self.xpath('pre[1]') + self.assertEqual('None', pre.text) + + pre = self.xpath('pre[2]') + self.assertEqual('Some 0', pre.text) + + pre = self.xpath('pre[3]') + self.assertEqual('Some 1', pre.text) + + pre = self.xpath('pre[4]') + self.assertEqual('Some 2', pre.text) + + pre = self.xpath('pre[5]') + self.assertEqual('Some 3', pre.text) + + def test_9(self): + """Test case: strindex (9)""" + self.start('Utf8/strsindexs') + + pre = self.xpath('pre[1]') + # behavior of strstr C function + self.assertEqual('Some 0', pre.text) + + pre = self.xpath('pre[2]') + self.assertEqual('Some 0', pre.text) + + pre = self.xpath('pre[3]') + self.assertEqual('None', pre.text) + + pre = self.xpath('pre[4]') + self.assertEqual('Some 1', pre.text) + + pre = self.xpath('pre[5]') + self.assertEqual('None', pre.text) + + pre = self.xpath('pre[6]') + self.assertEqual('Some 2', pre.text) + + pre = self.xpath('pre[7]') + self.assertEqual('None', pre.text) + + pre = self.xpath('pre[8]') + self.assertEqual('None', pre.text) + + pre = self.xpath('pre[9]') + self.assertEqual('Some 3', pre.text) + + def test_10(self): + """Test case: strcspn (10)""" + self.start('Utf8/strcspns') + + pre = self.xpath('pre[1]') + self.assertEqual('4', pre.text) + + pre = self.xpath('pre[2]') + self.assertEqual('0', pre.text) + + pre = self.xpath('pre[3]') + self.assertEqual('0', pre.text) + + pre = self.xpath('pre[4]') + self.assertEqual('1', pre.text) + + pre = self.xpath('pre[5]') + self.assertEqual('2', pre.text) + + pre = self.xpath('pre[6]') + self.assertEqual('3', pre.text) + + def test_11(self): + """Test case: str1 (11)""" + self.start('Utf8/str1s') + + pre = self.xpath('pre[1]') + self.assertEqual('a', pre.text) + + pre = self.xpath('pre[2]') + self.assertEqual('à', pre.text) + + pre = self.xpath('pre[3]') + self.assertEqual('á', pre.text) + + def test_12(self): + """Test case: isalnum (12)""" + self.start('Utf8/isalnums') + + for idx in range(1, 9): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed isalnum: assert ' + str(idx)) + + def test_13(self): + """Test case: isalpha (13)""" + self.start('Utf8/isalphas') + + for idx in range(1, 9): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed isalpha: assert ' + str(idx)) + + def test_14(self): + """Test case: isblank (14)""" + self.start('Utf8/isblanks') + + for idx in range(1, 11): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed isblank: assert ' + str(idx)) + + def test_15(self): + """Test case: iscntrl (15)""" + self.start('Utf8/iscntrls') + + for idx in range(1, 11): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed iscntrl: assert ' + str(idx)) + + def test_16(self): + """Test case: isdigit (16)""" + self.start('Utf8/isdigits') + + for idx in range(1, 11): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed isdigit: assert ' + str(idx)) + + + def test_17(self): + """Test case: isgraph (17)""" + self.start('Utf8/isgraphs') + + for idx in range(1, 11): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed isgraph: assert ' + str(idx)) + + def test_18(self): + """Test case: islower (18)""" + self.start('Utf8/islowers') + + for idx in range(1, 11): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed islower: assert ' + str(idx)) + + def test_19(self): + """Test case: isprint (19)""" + self.start('Utf8/isprints') + + for idx in range(1, 11): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed isprint: assert ' + str(idx)) + + def test_20(self): + """Test case: ispunct (20)""" + self.start('Utf8/ispuncts') + + for idx in range(1, 11): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed ispunct: assert ' + str(idx)) + + def test_21(self): + """Test case: isspace (21)""" + self.start('Utf8/isspaces') + + for idx in range(1, 11): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed isspace: assert ' + str(idx)) + + def test_22(self): + """Test case: isupper (22)""" + self.start('Utf8/isuppers') + + for idx in range(1, 11): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed isupper: assert ' + str(idx)) + + def test_23(self): + """Test case: isxdigit (23)""" + self.start('Utf8/isxdigits') + + for idx in range(1, 11): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed isxdigit: assert ' + str(idx)) + + def test_24(self): + """Test case: toupper (24)""" + self.start('Utf8/touppers') + + for idx in range(1, 6): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed toupper: assert ' + str(idx)) + + def test_25(self): + """Test case: ord (25)""" + self.start('Utf8/ord_and_chrs') + + for idx in range(1, 8): + pre = self.xpath('pre[' + str(idx) + ']') + self.assertEqual('True', pre.text, 'Failed ord: assert ' + str(idx)) + + def test_26 (self): + """Test case: test_db (26) """ + self.start('Utf8/test_db') + + pre = self.xpath('pre[1]') + self.assertEqual('abc', pre.text) + + pre = self.xpath('pre[2]') + self.assertEqual('3', pre.text) + + pre = self.xpath('pre[3]') + self.assertEqual('çãó', pre.text) + + pre = self.xpath('pre[4]') + self.assertEqual('3', pre.text) + + pre = self.xpath('pre[5]') + self.assertEqual('が', pre.text) + + pre = self.xpath('pre[6]') + self.assertEqual('1', pre.text) + + pre = self.xpath('pre[7]') + self.assertEqual('漢', pre.text) + + pre = self.xpath('pre[8]') + self.assertEqual('1', pre.text) + + pre = self.xpath('pre[9]') + self.assertEqual('カ', pre.text) + + pre = self.xpath('pre[10]') + self.assertEqual('1', pre.text) + + pre = self.xpath('pre[11]') + self.assertEqual('وظيفية', pre.text) + + pre = self.xpath('pre[12]') + self.assertEqual('6', pre.text) diff --git a/tests/utf8.ur b/tests/utf8.ur new file mode 100644 index 00000000..0dedc726 --- /dev/null +++ b/tests/utf8.ur @@ -0,0 +1,431 @@ +fun substrings () : transaction page = return + + 
{[substring "abc" 0 3]}
+ 
{[substring "abc" 1 2]}
+ 
{[substring "abc" 2 1]}
+ 
{[substring "ábó" 0 3]}
+ 
{[substring "ábó" 1 2]}
+ 
{[substring "ábó" 2 1]}
+ 
{[substring "çãó" 0 3]}
+ 
{[substring "çãó" 1 2]}
+ 
{[substring "çãó" 2 1]}
+ 
{[substring "çãó" 2 0]}
+ 
{[substring "" 0 0]}
+ + + +fun strlens () : transaction page = return + + 
{[strlen "abc"]}
+ 
{[strlen "çbc"]}
+ 
{[strlen "çãc"]}
+ 
{[strlen "çãó"]}
+ 
{[strlen "ç"]}
+ 
{[strlen "c"]}
+ 
{[strlen ""]}
+ 
{[strlen "が"]}
+ 
{[strlen "漢"]}
+ 
{[strlen "カ"]}
+ 
{[strlen "وظيفية"]}
+ 
{[strlen "函數"]}
+ 
{[strlen "Функциональное"]}
+ + + +fun strlenGens () : transaction page = return + + 
{[strlenGe "" 1]}
+ 
{[strlenGe "" 0]}
+ 
{[strlenGe "aba" 4]}
+ 
{[strlenGe "aba" 3]}
+ 
{[strlenGe "aba" 2]}
+ 
{[strlenGe "áçà" 4]}
+ 
{[strlenGe "áçà" 3]}
+ 
{[strlenGe "áçà" 2]}
+ + + + +fun strcats () : transaction page = + let + fun catAndLen a b = + + 
{[strcat a b]}
+ 
{[strlen (strcat a b)]}
+ + in + return + + {catAndLen "" ""} + {catAndLen "aa" "bb"} + {catAndLen "" "bb"} + {catAndLen "aa" ""} + {catAndLen "àà" "áá"} + {catAndLen "" "áá"} + {catAndLen "àà" ""} + + +end + +fun strsubs () : transaction page = + return + + 
{[strsub "abàç" 0]}
+ 
{[strsub "abàç" 1]}
+ 
{[strsub "abàç" 2]}
+ 
{[strsub "abàç" 3]}
+ + + +fun strsuffixs () : transaction page = + return + + 
{[strsuffix "abàç" 0]}
+ 
{[strsuffix "abàç" 1]}
+ 
{[strsuffix "abàç" 2]}
+ 
{[strsuffix "abàç" 3]}
+ + + +fun strchrs () : transaction page = + let + fun optToStr ms = + case ms of + None => "None" + | Some s => "Some \"" ^ s ^ "\"" + + in + return + + 
{[optToStr (strchr "abàç" #"c")]}
+ 
{[optToStr (strchr "abàç" #"a")]}
+ 
{[optToStr (strchr "abàç" #"b")]}
+ 
{[optToStr (strchr "abàç" (strsub "à" 0))]}
+ 
{[optToStr (strchr "abàç" (strsub "ç" 0))]}
+ + + end + +fun strindexs () : transaction page = + let + fun optToStr ms = + case ms of + None => "None" + | Some s => "Some " ^ (show s) + + in + return + + 
{[optToStr (strindex "abàç" #"c")]}
+ 
{[optToStr (strindex "abàç" #"a")]}
+ 
{[optToStr (strindex "abàç" #"b")]}
+ 
{[optToStr (strindex "abàç" (strsub "à" 0))]}
+ 
{[optToStr (strindex "abàç" (strsub "ç" 0))]}
+ + + end + +fun strsindexs () : transaction page = + let + fun optToStr ms = + case ms of + None => "None" + | Some s => "Some " ^ (show s) + + in + return + + 
{[optToStr (strsindex "abàç" "")]}
+ 
{[optToStr (strsindex "abàç" "abàç")]}
+ 
{[optToStr (strsindex "abàç" "abàc")]}
+ 
{[optToStr (strsindex "abàç" "bàç")]}
+ 
{[optToStr (strsindex "abàç" "bàc")]}
+ 
{[optToStr (strsindex "abàç" "àç")]}
+ 
{[optToStr (strsindex "abàç" "àc")]}
+ 
{[optToStr (strsindex "abàç" "ac")]}
+ 
{[optToStr (strsindex "abàç" "ç")]}
+ + + end + +fun strcspns () : transaction page = + return + + 
{[strcspn "abàç" ""]}
+ 
{[strcspn "abàç" "abàç"]}
+ 
{[strcspn "abàç" "a"]}
+ 
{[strcspn "abàç" "bàç"]}
+ 
{[strcspn "abàç" "àç"]}
+ 
{[strcspn "abàç" "ç"]}
+ + + +fun str1s () : transaction page = return + + 
{[str1 #"a"]}
+ 
{[str1 (strsub "à" 0)]}
+ 
{[str1 (strsub "aá" 1)]}
+ + + +fun isalnums () : transaction page = return + + 
{[isalnum #"a"]}
+ 
{[isalnum (strsub "à" 0)]}
+ 
{[isalnum #"A"]}
+ 
{[isalnum (strsub "À" 0)]}
+ 
{[isalnum #"1"]}
+ 
{[not (isalnum #"!")]}
+ 
{[not (isalnum #"#")]}
+ 
{[not (isalnum #" ")]}
+ + + +fun isalphas () : transaction page = return + + 
{[isalpha #"a"]}
+ 
{[isalpha (strsub "à" 0)]}
+ 
{[isalpha #"A"]}
+ 
{[isalpha (strsub "À" 0)]}
+ 
{[not (isalpha #"1")]}
+ 
{[not (isalpha #"!")]}
+ 
{[not (isalpha #"#")]}
+ 
{[not (isalpha #" ")]}
+ + + +fun isblanks () : transaction page = + return + + 
{[not (isblank #"a")]}
+ 
{[not (isblank (strsub "à" 0))]}
+ 
{[not (isblank #"A")]}
+ 
{[not (isblank (strsub "À" 0))]}
+ 
{[not (isblank #"1")]}
+ 
{[not (isblank #"!")]}
+ 
{[not (isblank #"#")]}
+ 
{[isblank #" "]}
+ 
{[isblank #"\t"]}
+ 
{[not (isblank #"\n")]}
+ + + +fun iscntrls () : transaction page = + return + + 
{[not (iscntrl #"a")]}
+ 
{[not (iscntrl (strsub "à" 0))]}
+ 
{[not (iscntrl #"A")]}
+ 
{[not (iscntrl (strsub "À" 0))]}
+ 
{[not (iscntrl #"1")]}
+ 
{[not (iscntrl #"!")]}
+ 
{[not (iscntrl #"#")]}
+ 
{[not (iscntrl #" ")]}
+ 
{[iscntrl #"\t"]}
+ 
{[iscntrl #"\n"]}
+ + + +fun isdigits () : transaction page = + return + + 
{[not (isdigit #"a")]}
+ 
{[not (isdigit (strsub "à" 0))]}
+ 
{[not (isdigit #"A")]}
+ 
{[not (isdigit (strsub "À" 0))]}
+ 
{[isdigit #"1"]}
+ 
{[not (isdigit #"!")]}
+ 
{[not (isdigit #"#")]}
+ 
{[not (isdigit #" ")]}
+ 
{[not (isdigit #"\t")]}
+ 
{[not (isdigit #"\n")]}
+ + + +fun isgraphs () : transaction page = + return + + 
{[isgraph #"a"]}
+ 
{[isgraph (strsub "à" 0)]}
+ 
{[isgraph #"A"]}
+ 
{[isgraph (strsub "À" 0)]}
+ 
{[isgraph #"1"]}
+ 
{[isgraph #"!"]}
+ 
{[isgraph #"#"]}
+ 
{[not (isgraph #" ")]}
+ 
{[not (isgraph #"\t")]}
+ 
{[not (isdigit #"\n")]}
+ + + +fun islowers () : transaction page = + return + + 
{[islower #"a"]}
+ 
{[islower (strsub "à" 0)]}
+ 
{[not (islower #"A")]}
+ 
{[not (islower (strsub "À" 0))]}
+ 
{[not (islower #"1")]}
+ 
{[not (islower #"!")]}
+ 
{[not (islower #"#")]}
+ 
{[not (islower #" ")]}
+ 
{[not (islower #"\t")]}
+ 
{[not (islower #"\n")]}
+ + + +fun isprints () : transaction page = + return + + 
{[isprint #"a"]}
+ 
{[isprint (strsub "à" 0)]}
+ 
{[isprint #"A"]}
+ 
{[isprint (strsub "À" 0)]}
+ 
{[isprint #"1"]}
+ 
{[isprint #"!"]}
+ 
{[isprint #"#"]}
+ 
{[isprint #" "]}
+ 
{[not (isprint #"\t")]}
+ 
{[not (isprint #"\n")]}
+ + + +fun ispuncts () : transaction page = + return + + 
{[not (ispunct #"a")]}
+ 
{[not (ispunct (strsub "à" 0))]}
+ 
{[not (ispunct #"A")]}
+ 
{[not (ispunct (strsub "À" 0))]}
+ 
{[not (ispunct #"1")]}
+ 
{[ispunct #"!"]}
+ 
{[ispunct #"#"]}
+ 
{[not (ispunct #" ")]}
+ 
{[not (isprint #"\t")]}
+ 
{[not (isprint #"\n")]}
+ + + +fun isspaces () : transaction page = + return + + 
{[not (isspace #"a")]}
+ 
{[not (isspace (strsub "à" 0))]}
+ 
{[not (isspace #"A")]}
+ 
{[not (isspace (strsub "À" 0))]}
+ 
{[not (isspace #"1")]}
+ 
{[not (isspace #"!")]}
+ 
{[not (isspace #"#")]}
+ 
{[isspace #" "]}
+ 
{[isspace #"\t"]}
+ 
{[isspace #"\n"]}
+ + + +fun isuppers () : transaction page = + return + + 
{[not (isupper #"a")]}
+ 
{[not (isupper (strsub "à" 0))]}
+ 
{[isupper #"A"]}
+ 
{[isupper (strsub "À" 0)]}
+ 
{[not (isupper #"1")]}
+ 
{[not (isupper #"!")]}
+ 
{[not (isupper #"#")]}
+ 
{[not (isupper #" ")]}
+ 
{[not (isupper #"\t")]}
+ 
{[not (isupper #"\n")]}
+ + + +fun isxdigits () : transaction page = + return + + 
{[isxdigit #"a"]}
+ 
{[not (isxdigit (strsub "à" 0))]}
+ 
{[isxdigit #"A"]}
+ 
{[not (isxdigit (strsub "À" 0))]}
+ 
{[isxdigit #"1"]}
+ 
{[not (isxdigit #"!")]}
+ 
{[not (isxdigit #"#")]}
+ 
{[not (isxdigit #" ")]}
+ 
{[not (isxdigit #"\t")]}
+ 
{[not (isxdigit #"\n")]}
+ + + +fun tolowers () : transaction page = + return + + 
{[tolower #"A" = #"a"]}
+ 
{[tolower #"a" = #"a"]}
+ 
{[tolower (strsub "á" 0) = (strsub "á" 0)]}
+ 
{[tolower (strsub "Á" 0) = (strsub "á" 0)]}
+ 
{[tolower #"1" = #"1"]}
+ + + +fun touppers () : transaction page = + return + + 
{[toupper #"A" = #"A"]}
+ 
{[toupper #"a" = #"A"]}
+ 
{[toupper (strsub "á" 0) = (strsub "Á" 0)]}
+ 
{[toupper (strsub "Á" 0) = (strsub "Á" 0)]}
+ 
{[toupper #"1" = #"1"]}
+ + + +fun ord_and_chrs () : transaction page = + return + + 
{[chr (ord #"A") = #"A"]}
+ 
{[chr (ord #"a") = #"a"]}
+ 
{[chr (ord (strsub "á" 0)) = (strsub "á" 0)]}
+ 
{[chr (ord (strsub "Á" 0)) = (strsub "Á" 0)]}
+ 
{[chr (ord #"1") = #"1"]}
+ 
{[chr (ord #"\n") = #"\n"]}
+ 
{[chr (ord (strsub "が" 0)) = (strsub "が" 0)]}
+ 
{[chr (ord (strsub "漢" 0)) = (strsub "漢" 0)]}
+ 
{[chr (ord (strsub "カ" 0)) = (strsub "カ" 0)]}
+ + + +table t : { Id : int, Text : string } + + +fun test_db () : transaction page = + dml (INSERT INTO t (Id, Text) VALUES({[1]}, {["abc"]})); + t1 <- oneRow (SELECT t.Text FROM t WHERE t.Id = 1); + + dml (INSERT INTO t (Id, Text) VALUES({[2]}, {["çãó"]})); + t2 <- oneRow (SELECT t.Text FROM t WHERE t.Id = 2); + + dml (INSERT INTO t (Id, Text) VALUES({[3]}, {["が"]})); + t3 <- oneRow (SELECT t.Text FROM t WHERE t.Id = 3); + + dml (INSERT INTO t (Id, Text) VALUES({[4]}, {["漢"]})); + t4 <- oneRow (SELECT t.Text FROM t WHERE t.Id = 4); + + dml (INSERT INTO t (Id, Text) VALUES({[5]}, {["カ"]})); + t5 <- oneRow (SELECT t.Text FROM t WHERE t.Id = 5); + + dml (INSERT INTO t (Id, Text) VALUES({[6]}, {["وظيفية"]})); + t6 <- oneRow (SELECT t.Text FROM t WHERE t.Id = 6); + + return + + 
{[t1.T.Text]}
+ 
{[strlen t1.T.Text]}
+ 
{[t2.T.Text]}
+ 
{[strlen t2.T.Text]}
+ 
{[t3.T.Text]}
+ 
{[strlen t3.T.Text]}
+ 
{[t4.T.Text]}
+ 
{[strlen t4.T.Text]}
+ 
{[t5.T.Text]}
+ 
{[strlen t5.T.Text]}
+ 
{[t6.T.Text]}
+ 
{[strlen t6.T.Text]}
+ + diff --git a/tests/utf8.urp b/tests/utf8.urp new file mode 100644 index 00000000..9b3067af --- /dev/null +++ b/tests/utf8.urp @@ -0,0 +1,5 @@ +database dbname=utf8 +sql utf8.sql +safeGet Utf8/test_db + +utf8 \ No newline at end of file -- cgit v1.2.3