github.com/hirochachacha/plua@v0.0.0-20170217012138-c82f520cc725/testdata/lua-5.3.3-tests/strings.lua (about) 1 -- $Id: strings.lua,v 1.85 2016/05/20 14:15:57 roberto Exp $ 2 3 print('testing strings and string library') 4 5 local maxi, mini = math.maxinteger, math.mininteger 6 7 8 local function checkerror (msg, f, ...) 9 local s, err = pcall(f, ...) 10 assert(not s and string.find(err, msg)) 11 end 12 13 14 -- testing string comparisons 15 assert('alo' < 'alo1') 16 assert('' < 'a') 17 assert('alo\0alo' < 'alo\0b') 18 assert('alo\0alo\0\0' > 'alo\0alo\0') 19 assert('alo' < 'alo\0') 20 assert('alo\0' > 'alo') 21 assert('\0' < '\1') 22 assert('\0\0' < '\0\1') 23 assert('\1\0a\0a' <= '\1\0a\0a') 24 assert(not ('\1\0a\0b' <= '\1\0a\0a')) 25 assert('\0\0\0' < '\0\0\0\0') 26 assert(not('\0\0\0\0' < '\0\0\0')) 27 assert('\0\0\0' <= '\0\0\0\0') 28 assert(not('\0\0\0\0' <= '\0\0\0')) 29 assert('\0\0\0' <= '\0\0\0') 30 assert('\0\0\0' >= '\0\0\0') 31 assert(not ('\0\0b' < '\0\0a\0')) 32 33 -- testing string.sub 34 assert(string.sub("123456789",2,4) == "234") 35 assert(string.sub("123456789",7) == "789") 36 assert(string.sub("123456789",7,6) == "") 37 assert(string.sub("123456789",7,7) == "7") 38 assert(string.sub("123456789",0,0) == "") 39 assert(string.sub("123456789",-10,10) == "123456789") 40 assert(string.sub("123456789",1,9) == "123456789") 41 assert(string.sub("123456789",-10,-20) == "") 42 assert(string.sub("123456789",-1) == "9") 43 assert(string.sub("123456789",-4) == "6789") 44 assert(string.sub("123456789",-6, -4) == "456") 45 assert(string.sub("123456789", mini, -4) == "123456") 46 assert(string.sub("123456789", mini, maxi) == "123456789") 47 assert(string.sub("123456789", mini, mini) == "") 48 assert(string.sub("\000123456789",3,5) == "234") 49 assert(("\000123456789"):sub(8) == "789") 50 51 -- testing string.find 52 assert(string.find("123456789", "345") == 3) 53 a,b = string.find("123456789", "345") 54 assert(string.sub("123456789", a, b) == "345") 55 assert(string.find("1234567890123456789", "345", 3) == 3) 56 assert(string.find("1234567890123456789", "345", 4) == 13) 57 assert(string.find("1234567890123456789", "346", 4) == nil) 58 assert(string.find("1234567890123456789", ".45", -9) == 13) 59 assert(string.find("abcdefg", "\0", 5, 1) == nil) 60 assert(string.find("", "") == 1) 61 assert(string.find("", "", 1) == 1) 62 assert(not string.find("", "", 2)) 63 assert(string.find('', 'aaa', 1) == nil) 64 assert(('alo(.)alo'):find('(.)', 1, 1) == 4) 65 66 assert(string.len("") == 0) 67 assert(string.len("\0\0\0") == 3) 68 assert(string.len("1234567890") == 10) 69 70 assert(#"" == 0) 71 assert(#"\0\0\0" == 3) 72 assert(#"1234567890" == 10) 73 74 -- testing string.byte/string.char 75 assert(string.byte("a") == 97) 76 assert(string.byte("\xe4") > 127) 77 assert(string.byte(string.char(255)) == 255) 78 assert(string.byte(string.char(0)) == 0) 79 assert(string.byte("\0") == 0) 80 assert(string.byte("\0\0alo\0x", -1) == string.byte('x')) 81 assert(string.byte("ba", 2) == 97) 82 assert(string.byte("\n\n", 2, -1) == 10) 83 assert(string.byte("\n\n", 2, 2) == 10) 84 assert(string.byte("") == nil) 85 -- TODO or spec lua's document says 'These indices are corrected following the same rules of function string.sub.', so this is wrong. 86 -- assert(string.byte("hi", -3) == nil) 87 assert(string.byte("hi", 3) == nil) 88 assert(string.byte("hi", 9, 10) == nil) 89 assert(string.byte("hi", 2, 1) == nil) 90 assert(string.char() == "") 91 assert(string.char(0, 255, 0) == "\0\255\0") 92 assert(string.char(0, string.byte("\xe4"), 0) == "\0\xe4\0") 93 assert(string.char(string.byte("\xe4l\0óu", 1, -1)) == "\xe4l\0óu") 94 assert(string.char(string.byte("\xe4l\0óu", 1, 0)) == "") 95 assert(string.char(string.byte("\xe4l\0óu", -10, 100)) == "\xe4l\0óu") 96 97 assert(string.upper("ab\0c") == "AB\0C") 98 assert(string.lower("\0ABCc%$") == "\0abcc%$") 99 assert(string.rep('teste', 0) == '') 100 assert(string.rep('tés\00tê', 2) == 'tés\0têtés\000tê') 101 assert(string.rep('', 10) == '') 102 103 if string.packsize("i") == 4 then 104 -- result length would be 2^31 (int overflow) 105 checkerror("too large", string.rep, 'aa', (1 << 30)) 106 checkerror("too large", string.rep, 'a', (1 << 30), ',') 107 end 108 109 -- repetitions with separator 110 assert(string.rep('teste', 0, 'xuxu') == '') 111 assert(string.rep('teste', 1, 'xuxu') == 'teste') 112 assert(string.rep('\1\0\1', 2, '\0\0') == '\1\0\1\0\0\1\0\1') 113 assert(string.rep('', 10, '.') == string.rep('.', 9)) 114 assert(not pcall(string.rep, "aa", maxi // 2 + 10)) 115 assert(not pcall(string.rep, "", maxi // 2 + 10, "aa")) 116 117 assert(string.reverse"" == "") 118 assert(string.reverse"\0\1\2\3" == "\3\2\1\0") 119 assert(string.reverse"\0001234" == "4321\0") 120 121 for i=0,30 do assert(string.len(string.rep('a', i)) == i) end 122 123 assert(type(tostring(nil)) == 'string') 124 assert(type(tostring(12)) == 'string') 125 assert(string.find(tostring{}, 'table:')) 126 assert(string.find(tostring(print), 'function:')) 127 assert(#tostring('\0') == 1) 128 assert(tostring(true) == "true") 129 assert(tostring(false) == "false") 130 assert(tostring(-1203) == "-1203") 131 assert(tostring(1203.125) == "1203.125") 132 assert(tostring(-0.5) == "-0.5") 133 assert(tostring(-32767) == "-32767") 134 if math.tointeger(2147483647) then -- no overflow? (32 bits) 135 assert(tostring(-2147483647) == "-2147483647") 136 end 137 if math.tointeger(4611686018427387904) then -- no overflow? (64 bits) 138 assert(tostring(4611686018427387904) == "4611686018427387904") 139 assert(tostring(-4611686018427387904) == "-4611686018427387904") 140 end 141 142 if tostring(0.0) == "0.0" then -- "standard" coercion float->string 143 assert('' .. 12 == '12' and 12.0 .. '' == '12.0') 144 assert(tostring(-1203 + 0.0) == "-1203.0") 145 else -- compatible coercion 146 assert(tostring(0.0) == "0") 147 assert('' .. 12 == '12' and 12.0 .. '' == '12') 148 assert(tostring(-1203 + 0.0) == "-1203") 149 end 150 151 152 x = '"ílo"\n\\' 153 -- assert(string.format('%q%s', x, x) == '"\\"ílo\\"\\\n\\\\""ílo"\n\\') 154 -- assert(string.format('%q', "\0") == [["\0"]]) 155 assert(string.format('%q', "\0"), [["\000"]]) 156 assert(load(string.format('return %q', x))() == x) 157 x = "\0\1\0023\5\0009" 158 -- assert(string.format("\0%c\0%c%x\0", string.byte("\xe4"), string.byte("b"), 140) == 159 -- "\0\xe4\0b8c\0") 160 assert(string.format('') == "") 161 assert(string.format("%c",34)..string.format("%c",48)..string.format("%c",90)..string.format("%c",100) == 162 string.format("%c%c%c%c", 34, 48, 90, 100)) 163 assert(string.format("%s\0 is not \0%s", 'not be', 'be') == 'not be\0 is not \0be') 164 assert(string.format("%%%d %010d", 10, 23) == "%10 0000000023") 165 assert(tonumber(string.format("%f", 10.3)) == 10.3) 166 x = string.format('"%-50s"', 'a') 167 assert(#x == 52) 168 assert(string.sub(x, 1, 4) == '"a ') 169 170 assert(string.format("-%.20s.20s", string.rep("%", 2000)) == 171 "-"..string.rep("%", 20)..".20s") 172 assert(string.format('"-%20s.20s"', string.rep("%", 2000)) == 173 string.format("%q", "-"..string.rep("%", 2000)..".20s")) 174 175 do 176 local function checkQ (v) 177 local s = string.format("%q", v) 178 local nv = load("return " .. s)() 179 assert(v == nv and math.type(v) == math.type(nv)) 180 end 181 checkQ("\0\0\1\255\u{234}") 182 checkQ(math.maxinteger) 183 checkQ(math.mininteger) 184 checkQ(math.pi) 185 checkQ(0.1) 186 checkQ(true) 187 checkQ(nil) 188 checkQ(false) 189 checkerror("no literal", string.format, "%q", {}) 190 end 191 192 assert(string.format("\0%s\0", "\0\0\1") == "\0\0\0\1\0") 193 -- checkerror("contains zeros", string.format, "%10s", "\0") 194 195 -- format x tostring 196 assert(string.format("%s %s", nil, true) == "nil true") 197 assert(string.format("%s %.4s", false, true) == "false true") 198 assert(string.format("%.3s %.3s", false, true) == "fal tru") 199 local m = setmetatable({}, {__tostring = function () return "hello" end}) 200 assert(string.format("%s %.10s", m, m) == "hello hello") 201 202 assert(string.format("%x", 0.0) == "0") 203 assert(string.format("%02x", 0.0) == "00") 204 assert(string.format("%08X", 0xFFFFFFFF) == "FFFFFFFF") 205 assert(string.format("%+08d", 31501) == "+0031501") 206 assert(string.format("%+08d", -30927) == "-0030927") 207 208 209 do -- longest number that can be formatted 210 local i = 1 211 local j = 10000 212 while i + 1 < j do -- binary search for maximum finite float 213 local m = (i + j) // 2 214 if 10^m < math.huge then i = m else j = m end 215 end 216 assert(10^i < math.huge and 10^j == math.huge) 217 local s = string.format('%.99f', -(10^i)) 218 assert(string.len(s) >= i + 101) 219 assert(tonumber(s) == -(10^i)) 220 end 221 222 223 -- testing large numbers for format 224 do -- assume at least 32 bits 225 local max, min = 0x7fffffff, -0x80000000 -- "large" for 32 bits 226 assert(string.sub(string.format("%8x", -1), -8) == "ffffffff") 227 assert(string.format("%x", max) == "7fffffff") 228 assert(string.sub(string.format("%x", min), -8) == "80000000") 229 assert(string.format("%d", max) == "2147483647") 230 assert(string.format("%d", min) == "-2147483648") 231 assert(string.format("%u", 0xffffffff) == "4294967295") 232 assert(string.format("%o", 0xABCD) == "125715") 233 234 max, min = 0x7fffffffffffffff, -0x8000000000000000 235 if max > 2.0^53 then -- only for 64 bits 236 assert(string.format("%x", (2^52 | 0) - 1) == "fffffffffffff") 237 assert(string.format("0x%8X", 0x8f000003) == "0x8F000003") 238 assert(string.format("%d", 2^53) == "9007199254740992") 239 assert(string.format("%i", -2^53) == "-9007199254740992") 240 assert(string.format("%x", max) == "7fffffffffffffff") 241 assert(string.format("%x", min) == "8000000000000000") 242 assert(string.format("%d", max) == "9223372036854775807") 243 assert(string.format("%d", min) == "-9223372036854775808") 244 assert(string.format("%u", ~(-1 << 64)) == "18446744073709551615") 245 assert(tostring(1234567890123) == '1234567890123') 246 end 247 end 248 249 250 do print("testing 'format %a %A'") 251 local function matchhexa (n) 252 local s = string.format("%a", n) 253 -- result matches ISO C requirements 254 assert(string.find(s, "^%-?0x[1-9a-f]%.?[0-9a-f]*p[-+]?%d+$")) 255 assert(tonumber(s) == n) -- and has full precision 256 s = string.format("%A", n) 257 assert(string.find(s, "^%-?0X[1-9A-F]%.?[0-9A-F]*P[-+]?%d+$")) 258 assert(tonumber(s) == n) 259 end 260 for _, n in ipairs{0.1, -0.1, 1/3, -1/3, 1e30, -1e30, 261 -45/247, 1, -1, 2, -2, 3e-20, -3e-20} do 262 matchhexa(n) 263 end 264 265 assert(string.find(string.format("%A", 0.0), "^0X0%.?0?P%+?0$")) 266 assert(string.find(string.format("%a", -0.0), "^%-0x0%.?0?p%+?0$")) 267 268 if not _port then -- test inf, -inf, NaN, and -0.0 269 assert(string.find(string.format("%a", 1/0), "^inf")) 270 assert(string.find(string.format("%A", -1/0), "^%-INF")) 271 assert(string.find(string.format("%a", 0/0), "^%-?nan")) 272 assert(string.find(string.format("%a", -0.0), "^%-0x0")) 273 end 274 275 if not pcall(string.format, "%.3a", 0) then 276 (Message or print)("\n >>> modifiers for format '%a' not available <<<\n") 277 else 278 -- TODO or spec 279 -- print(string.format("%+.2A", 12), "^%+0X%x%.%x0P%+?%d$") 280 -- assert(string.find(string.format("%+.2A", 12), "^%+0X%x%.%x0P%+?%d$")) 281 -- assert(string.find(string.format("%.4A", -12), "^%-0X%x%.%x000P%+?%d$")) 282 end 283 end 284 285 286 -- errors in format 287 288 local function check (fmt, msg) 289 checkerror(msg, string.format, fmt, 10) 290 end 291 292 local aux = string.rep('0', 600) 293 -- TODO or spec 294 -- check("%100.3d", "too long") 295 -- check("%1"..aux..".3d", "too long") 296 -- check("%1.100d", "too long") 297 -- check("%10.1"..aux.."004d", "too long") 298 check("%t", "invalid option") 299 -- check("%"..aux.."d", "repeated flags") 300 check("%d %d", "no value") 301 302 303 assert(load("return 1\n--comment without ending EOL")() == 1) 304 305 306 checkerror("table expected", table.concat, 3) 307 assert(table.concat{} == "") 308 assert(table.concat({}, 'x') == "") 309 assert(table.concat({'\0', '\0\1', '\0\1\2'}, '.\0.') == "\0.\0.\0\1.\0.\0\1\2") 310 local a = {}; for i=1,300 do a[i] = "xuxu" end 311 assert(table.concat(a, "123").."123" == string.rep("xuxu123", 300)) 312 assert(table.concat(a, "b", 20, 20) == "xuxu") 313 assert(table.concat(a, "", 20, 21) == "xuxuxuxu") 314 assert(table.concat(a, "x", 22, 21) == "") 315 assert(table.concat(a, "3", 299) == "xuxu3xuxu") 316 assert(table.concat({}, "x", maxi, maxi - 1) == "") 317 assert(table.concat({}, "x", mini + 1, mini) == "") 318 assert(table.concat({}, "x", maxi, mini) == "") 319 -- TODO 320 -- assert(table.concat({[maxi] = "alo"}, "x", maxi, maxi) == "alo") 321 -- assert(table.concat({[maxi] = "alo", [maxi - 1] = "y"}, "-", maxi - 1, maxi) 322 -- == "y-alo") 323 324 assert(not pcall(table.concat, {"a", "b", {}})) 325 326 a = {"a","b","c"} 327 assert(table.concat(a, ",", 1, 0) == "") 328 assert(table.concat(a, ",", 1, 1) == "a") 329 assert(table.concat(a, ",", 1, 2) == "a,b") 330 assert(table.concat(a, ",", 2) == "b,c") 331 assert(table.concat(a, ",", 3) == "c") 332 assert(table.concat(a, ",", 4) == "") 333 334 if not _port then 335 336 local locales = { "ptb", "pt_BR.iso88591", "ISO-8859-1" } 337 local function trylocale (w) 338 for i = 1, #locales do 339 if os.setlocale(locales[i], w) then 340 print(string.format("'%s' locale set to '%s'", w, locales[i])) 341 return locales[i] 342 end 343 end 344 print(string.format("'%s' locale not found", w)) 345 return false 346 end 347 348 if trylocale("collate") then 349 assert("alo" < "álo" and "álo" < "amo") 350 end 351 352 if trylocale("ctype") then 353 assert(string.gsub("áéíóú", "%a", "x") == "xxxxx") 354 assert(string.gsub("áÁéÉ", "%l", "x") == "xÁxÉ") 355 assert(string.gsub("áÁéÉ", "%u", "x") == "áxéx") 356 assert(string.upper"áÁé{xuxu}ção" == "ÁÁÉ{XUXU}ÇÃO") 357 end 358 359 os.setlocale("C") 360 assert(os.setlocale() == 'C') 361 assert(os.setlocale(nil, "numeric") == 'C') 362 363 end 364 365 366 -- bug in Lua 5.3.2 367 -- 'gmatch' iterator does not work across coroutines 368 do 369 local f = string.gmatch("1 2 3 4 5", "%d+") 370 assert(f() == "1") 371 co = coroutine.wrap(f) 372 assert(co() == "2") 373 end 374 375 print('OK') 376