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