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