github.com/hirochachacha/plua@v0.0.0-20170217012138-c82f520cc725/testdata/lua-5.3.3-tests/pm.lua (about) 1 -- $Id: pm.lua,v 1.47 2016/04/22 16:37:09 roberto Exp $ 2 3 print('testing pattern matching') 4 5 local function checkerror (msg, f, ...) 6 local s, err = pcall(f, ...) 7 assert(not s and string.find(err, msg)) 8 end 9 10 11 function f(s, p) 12 local i,e = string.find(s, p) 13 if i then return string.sub(s, i, e) end 14 end 15 16 a,b = string.find('', '') -- empty patterns are tricky 17 assert(a == 1 and b == 0); 18 a,b = string.find('alo', '') 19 assert(a == 1 and b == 0) 20 a,b = string.find('a\0o a\0o a\0o', 'a', 1) -- first position 21 assert(a == 1 and b == 1) 22 a,b = string.find('a\0o a\0o a\0o', 'a\0o', 2) -- starts in the midle 23 assert(a == 5 and b == 7) 24 a,b = string.find('a\0o a\0o a\0o', 'a\0o', 9) -- starts in the midle 25 assert(a == 9 and b == 11) 26 a,b = string.find('a\0a\0a\0a\0\0ab', '\0ab', 2); -- finds at the end 27 assert(a == 9 and b == 11); 28 a,b = string.find('a\0a\0a\0a\0\0ab', 'b') -- last position 29 assert(a == 11 and b == 11) 30 assert(string.find('a\0a\0a\0a\0\0ab', 'b\0') == nil) -- check ending 31 assert(string.find('', '\0') == nil) 32 assert(string.find('alo123alo', '12') == 4) 33 assert(string.find('alo123alo', '^12') == nil) 34 35 assert(string.match("aaab", ".*b") == "aaab") 36 assert(string.match("aaa", ".*a") == "aaa") 37 assert(string.match("b", ".*b") == "b") 38 39 assert(string.match("aaab", ".+b") == "aaab") 40 assert(string.match("aaa", ".+a") == "aaa") 41 assert(not string.match("b", ".+b")) 42 43 assert(string.match("aaab", ".?b") == "ab") 44 assert(string.match("aaa", ".?a") == "aa") 45 assert(string.match("b", ".?b") == "b") 46 47 assert(f('aloALO', '%l*') == 'alo') 48 assert(f('aLo_ALO', '%a*') == 'aLo') 49 50 assert(f(" \n\r*&\n\r xuxu \n\n", "%g%g%g+") == "xuxu") 51 52 assert(f('aaab', 'a*') == 'aaa'); 53 assert(f('aaa', '^.*$') == 'aaa'); 54 assert(f('aaa', 'b*') == ''); 55 assert(f('aaa', 'ab*a') == 'aa') 56 assert(f('aba', 'ab*a') == 'aba') 57 assert(f('aaab', 'a+') == 'aaa') 58 assert(f('aaa', '^.+$') == 'aaa') 59 assert(f('aaa', 'b+') == nil) 60 assert(f('aaa', 'ab+a') == nil) 61 assert(f('aba', 'ab+a') == 'aba') 62 assert(f('a$a', '.$') == 'a') 63 assert(f('a$a', '.%$') == 'a$') 64 assert(f('a$a', '.$.') == 'a$a') 65 assert(f('a$a', '$$') == nil) 66 assert(f('a$b', 'a$') == nil) 67 assert(f('a$a', '$') == '') 68 assert(f('', 'b*') == '') 69 assert(f('aaa', 'bb*') == nil) 70 assert(f('aaab', 'a-') == '') 71 assert(f('aaa', '^.-$') == 'aaa') 72 assert(f('aabaaabaaabaaaba', 'b.*b') == 'baaabaaabaaab') 73 assert(f('aabaaabaaabaaaba', 'b.-b') == 'baaab') 74 assert(f('alo xo', '.o$') == 'xo') 75 assert(f(' \n isto é assim', '%S%S*') == 'isto') 76 assert(f(' \n isto é assim', '%S*$') == 'assim') 77 assert(f(' \n isto é assim', '[a-z]*$') == 'assim') 78 assert(f('um caracter ? extra', '[^%sa-z]') == '?') 79 assert(f('', 'a?') == '') 80 assert(f('á', 'á?') == 'á') 81 assert(f('ábl', 'á?b?l?') == 'ábl') 82 assert(f(' ábl', 'á?b?l?') == '') 83 assert(f('aa', '^aa?a?a') == 'aa') 84 assert(f(']]]áb', '[^]]') == 'á') 85 assert(f("0alo alo", "%x*") == "0a") 86 assert(f("alo alo", "%C+") == "alo alo") 87 print('+') 88 89 90 function f1(s, p) 91 p = string.gsub(p, "%%([0-9])", function (s) 92 return "%" .. (tonumber(s)+1) 93 end) 94 p = string.gsub(p, "^(^?)", "%1()", 1) 95 p = string.gsub(p, "($?)$", "()%1", 1) 96 local t = {string.match(s, p)} 97 return string.sub(s, t[1], t[#t] - 1) 98 end 99 100 assert(f1('alo alx 123 b\0o b\0o', '(..*) %1') == "b\0o b\0o") 101 assert(f1('axz123= 4= 4 34', '(.+)=(.*)=%2 %1') == '3= 4= 4 3') 102 assert(f1('=======', '^(=*)=%1$') == '=======') 103 assert(string.match('==========', '^([=]*)=%1$') == nil) 104 105 local function range (i, j) 106 if i <= j then 107 return i, range(i+1, j) 108 end 109 end 110 111 local abc = string.char(range(0, 255)); 112 113 assert(string.len(abc) == 256) 114 115 function strset (p) 116 local res = {s=''} 117 string.gsub(abc, p, function (c) res.s = res.s .. c end) 118 return res.s 119 end; 120 121 assert(string.len(strset('[\200-\210]')) == 11) 122 123 assert(strset('[a-z]') == "abcdefghijklmnopqrstuvwxyz") 124 assert(strset('[a-z%d]') == strset('[%da-uu-z]')) 125 assert(strset('[a-]') == "-a") 126 assert(strset('[^%W]') == strset('[%w]')) 127 assert(strset('[]%%]') == '%]') 128 assert(strset('[a%-z]') == '-az') 129 assert(strset('[%^%[%-a%]%-b]') == '-[]^ab') 130 assert(strset('%Z') == strset('[\1-\255]')) 131 assert(strset('.') == strset('[\1-\255%z]')) 132 print('+'); 133 134 assert(string.match("alo xyzK", "(%w+)K") == "xyz") 135 assert(string.match("254 K", "(%d*)K") == "") 136 assert(string.match("alo ", "(%w*)$") == "") 137 assert(string.match("alo ", "(%w+)$") == nil) 138 assert(string.find("(álo)", "%(á") == 1) 139 local a, b, c, d, e = string.match("âlo alo", "^(((.).).* (%w*))$") 140 assert(a == 'âlo alo' and b == 'âl' and c == 'â' and d == 'alo' and e == nil) 141 a, b, c, d = string.match('0123456789', '(.+(.?)())') 142 assert(a == '0123456789' and b == '' and c == 11 and d == nil) 143 print('+') 144 145 assert(string.gsub('ülo ülo', 'ü', 'x') == 'xlo xlo') 146 assert(string.gsub('alo úlo ', ' +$', '') == 'alo úlo') -- trim 147 assert(string.gsub(' alo alo ', '^%s*(.-)%s*$', '%1') == 'alo alo') -- double trim 148 assert(string.gsub('alo alo \n 123\n ', '%s+', ' ') == 'alo alo 123 ') 149 t = "abç d" 150 a, b = string.gsub(t, '(.)', '%1@') 151 assert('@'..a == string.gsub(t, '', '@') and b == 5) 152 a, b = string.gsub('abçd', '(.)', '%0@', 2) 153 assert(a == 'a@b@çd' and b == 2) 154 assert(string.gsub('alo alo', '()[al]', '%1') == '12o 56o') 155 assert(string.gsub("abc=xyz", "(%w*)(%p)(%w+)", "%3%2%1-%0") == 156 "xyz=abc-abc=xyz") 157 assert(string.gsub("abc", "%w", "%1%0") == "aabbcc") 158 assert(string.gsub("abc", "%w+", "%0%1") == "abcabc") 159 assert(string.gsub('áéí', '$', '\0óú') == 'áéí\0óú') 160 assert(string.gsub('', '^', 'r') == 'r') 161 assert(string.gsub('', '$', 'r') == 'r') 162 print('+') 163 164 165 do -- new (5.3.3) semantics for empty matches 166 assert(string.gsub("a b cd", " *", "-") == "-a-b-c-d-") 167 168 local res = "" 169 local sub = "a \nbc\t\td" 170 local i = 1 171 for p, e in string.gmatch(sub, "()%s*()") do 172 res = res .. string.sub(sub, i, p - 1) .. "-" 173 i = e 174 end 175 assert(res == "-a-b-c-d-") 176 end 177 178 179 assert(string.gsub("um (dois) tres (quatro)", "(%(%w+%))", string.upper) == 180 "um (DOIS) tres (QUATRO)") 181 182 do 183 local function setglobal (n,v) rawset(_G, n, v) end 184 string.gsub("a=roberto,roberto=a", "(%w+)=(%w%w*)", setglobal) 185 assert(_G.a=="roberto" and _G.roberto=="a") 186 end 187 188 function f(a,b) return string.gsub(a,'.',b) end 189 assert(string.gsub("trocar tudo em |teste|b| é |beleza|al|", "|([^|]*)|([^|]*)|", f) == 190 "trocar tudo em bbbbb é alalalalalal") 191 192 local function dostring (s) return load(s, "")() or "" end 193 assert(string.gsub("alo $a='x'$ novamente $return a$", 194 "$([^$]*)%$", 195 dostring) == "alo novamente x") 196 197 x = string.gsub("$x=string.gsub('alo', '.', string.upper)$ assim vai para $return x$", 198 "$([^$]*)%$", dostring) 199 assert(x == ' assim vai para ALO') 200 201 t = {} 202 s = 'a alo jose joao' 203 r = string.gsub(s, '()(%w+)()', function (a,w,b) 204 assert(string.len(w) == b-a); 205 t[a] = b-a; 206 end) 207 assert(s == r and t[1] == 1 and t[3] == 3 and t[7] == 4 and t[13] == 4) 208 209 210 function isbalanced (s) 211 return string.find(string.gsub(s, "%b()", ""), "[()]") == nil 212 end 213 214 assert(isbalanced("(9 ((8))(\0) 7) \0\0 a b ()(c)() a")) 215 assert(not isbalanced("(9 ((8) 7) a b (\0 c) a")) 216 assert(string.gsub("alo 'oi' alo", "%b''", '"') == 'alo " alo') 217 218 219 local t = {"apple", "orange", "lime"; n=0} 220 assert(string.gsub("x and x and x", "x", function () t.n=t.n+1; return t[t.n] end) 221 == "apple and orange and lime") 222 223 t = {n=0} 224 string.gsub("first second word", "%w%w*", function (w) t.n=t.n+1; t[t.n] = w end) 225 assert(t[1] == "first" and t[2] == "second" and t[3] == "word" and t.n == 3) 226 227 t = {n=0} 228 assert(string.gsub("first second word", "%w+", 229 function (w) t.n=t.n+1; t[t.n] = w end, 2) == "first second word") 230 assert(t[1] == "first" and t[2] == "second" and t[3] == nil) 231 232 checkerror("invalid replacement value %(a table%)", 233 string.gsub, "alo", ".", {a = {}}) 234 checkerror("invalid capture index %%2", string.gsub, "alo", ".", "%2") 235 checkerror("invalid capture index %%0", string.gsub, "alo", "(%0)", "a") 236 checkerror("invalid capture index %%1", string.gsub, "alo", "(%1)", "a") 237 checkerror("invalid use of '%%'", string.gsub, "alo", ".", "%x") 238 239 -- TODO 240 -- bug since 2.5 (C-stack overflow) 241 -- do 242 -- local function f (size) 243 -- local s = string.rep("a", size) 244 -- local p = string.rep(".?", size) 245 -- return pcall(string.match, s, p) 246 -- end 247 -- local r, m = f(80) 248 -- assert(r and #m == 80) 249 -- r, m = f(200000) 250 -- assert(not r and string.find(m, "too complex")) 251 -- end 252 253 if not _soft then 254 print("big strings") 255 local a = string.rep('a', 300000) 256 assert(string.find(a, '^a*.?$')) 257 assert(not string.find(a, '^a*.?b$')) 258 assert(string.find(a, '^a-.?$')) 259 260 -- bug in 5.1.2 261 a = string.rep('a', 10000) .. string.rep('b', 10000) 262 assert(not pcall(string.gsub, a, 'b')) 263 end 264 265 -- recursive nest of gsubs 266 function rev (s) 267 return string.gsub(s, "(.)(.+)", function (c,s1) return rev(s1)..c end) 268 end 269 270 local x = "abcdef" 271 assert(rev(rev(x)) == x) 272 273 274 -- gsub with tables 275 assert(string.gsub("alo alo", ".", {}) == "alo alo") 276 assert(string.gsub("alo alo", "(.)", {a="AA", l=""}) == "AAo AAo") 277 assert(string.gsub("alo alo", "(.).", {a="AA", l="K"}) == "AAo AAo") 278 assert(string.gsub("alo alo", "((.)(.?))", {al="AA", o=false}) == "AAo AAo") 279 280 assert(string.gsub("alo alo", "().", {'x','yy','zzz'}) == "xyyzzz alo") 281 282 t = {}; setmetatable(t, {__index = function (t,s) return string.upper(s) end}) 283 assert(string.gsub("a alo b hi", "%w%w+", t) == "a ALO b HI") 284 285 286 -- tests for gmatch 287 local a = 0 288 for i in string.gmatch('abcde', '()') do assert(i == a+1); a=i end 289 assert(a==6) 290 291 t = {n=0} 292 for w in string.gmatch("first second word", "%w+") do 293 t.n=t.n+1; t[t.n] = w 294 end 295 assert(t[1] == "first" and t[2] == "second" and t[3] == "word") 296 297 t = {3, 6, 9} 298 for i in string.gmatch ("xuxx uu ppar r", "()(.)%2") do 299 assert(i == table.remove(t, 1)) 300 end 301 assert(#t == 0) 302 303 t = {} 304 for i,j in string.gmatch("13 14 10 = 11, 15= 16, 22=23", "(%d+)%s*=%s*(%d+)") do 305 t[tonumber(i)] = tonumber(j) 306 end 307 a = 0 308 for k,v in pairs(t) do assert(k+1 == v+0); a=a+1 end 309 assert(a == 3) 310 311 312 -- tests for `%f' (`frontiers') 313 314 assert(string.gsub("aaa aa a aaa a", "%f[%w]a", "x") == "xaa xa x xaa x") 315 assert(string.gsub("[[]] [][] [[[[", "%f[[].", "x") == "x[]] x]x] x[[[") 316 assert(string.gsub("01abc45de3", "%f[%d]", ".") == ".01abc.45de.3") 317 assert(string.gsub("01abc45 de3x", "%f[%D]%w", ".") == "01.bc45 de3.") 318 assert(string.gsub("function", "%f[\1-\255]%w", ".") == ".unction") 319 assert(string.gsub("function", "%f[^\1-\255]", ".") == "function.") 320 321 assert(string.find("a", "%f[a]") == 1) 322 assert(string.find("a", "%f[^%z]") == 1) 323 assert(string.find("a", "%f[^%l]") == 2) 324 assert(string.find("aba", "%f[a%z]") == 3) 325 assert(string.find("aba", "%f[%z]") == 4) 326 assert(not string.find("aba", "%f[%l%z]")) 327 assert(not string.find("aba", "%f[^%l%z]")) 328 329 local i, e = string.find(" alo aalo allo", "%f[%S].-%f[%s].-%f[%S]") 330 assert(i == 2 and e == 5) 331 local k = string.match(" alo aalo allo", "%f[%S](.-%f[%s].-%f[%S])") 332 assert(k == 'alo ') 333 334 local a = {1, 5, 9, 14, 17,} 335 for k in string.gmatch("alo alo th02 is 1hat", "()%f[%w%d]") do 336 assert(table.remove(a, 1) == k) 337 end 338 assert(#a == 0) 339 340 341 -- malformed patterns 342 local function malform (p, m) 343 m = m or "malformed" 344 local r, msg = pcall(string.find, "a", p) 345 assert(not r and string.find(msg, m)) 346 end 347 348 malform("(.", "unfinished capture") 349 malform(".)", "invalid pattern capture") 350 malform("[a") 351 malform("[]") 352 malform("[^]") 353 malform("[a%]") 354 malform("[a%") 355 malform("%b") 356 malform("%ba") 357 malform("%") 358 malform("%f", "missing") 359 360 -- \0 in patterns 361 assert(string.match("ab\0\1\2c", "[\0-\2]+") == "\0\1\2") 362 assert(string.match("ab\0\1\2c", "[\0-\0]+") == "\0") 363 assert(string.find("b$a", "$\0?") == 2) 364 assert(string.find("abc\0efg", "%\0") == 4) 365 assert(string.match("abc\0efg\0\1e\1g", "%b\0\1") == "\0efg\0\1e\1") 366 assert(string.match("abc\0\0\0", "%\0+") == "\0\0\0") 367 assert(string.match("abc\0\0\0", "%\0%\0?") == "\0\0") 368 369 -- magic char after \0 370 assert(string.find("abc\0\0","\0.") == 4) 371 assert(string.find("abcx\0\0abc\0abc","x\0\0abc\0a.") == 4) 372 373 print('OK') 374