1 files changed, 379 insertions, 0 deletions
diff --git a/testes/strings.lua b/testes/strings.lua
new file mode 100644
index 00000000..c37a8e75
--- /dev/null
+++ b/testes/strings.lua
@@ -0,0 +1,379 @@
+-- $Id: strings.lua,v 1.87 2016/12/21 19:23:02 roberto Exp $
+-- See Copyright Notice in file all.lua
+print('testing strings and string library')
+local maxi, mini = math.maxinteger, math.mininteger
+local function checkerror (msg, f, ...)
+  local s, err = pcall(f, ...)
+  assert(not s and string.find(err, msg))
+end
+-- testing string comparisons
+assert('alo' < 'alo1')
+assert('' < 'a')
+assert('alo\0alo' < 'alo\0b')
+assert('alo\0alo\0\0' > 'alo\0alo\0')
+assert('alo' < 'alo\0')
+assert('alo\0' > 'alo')
+assert('\0' < '\1')
+assert('\0\0' < '\0\1')
+assert('\1\0a\0a' <= '\1\0a\0a')
+assert(not ('\1\0a\0b' <= '\1\0a\0a'))
+assert('\0\0\0' < '\0\0\0\0')
+assert(not('\0\0\0\0' < '\0\0\0'))
+assert('\0\0\0' <= '\0\0\0\0')
+assert(not('\0\0\0\0' <= '\0\0\0'))
+assert('\0\0\0' <= '\0\0\0')
+assert('\0\0\0' >= '\0\0\0')
+assert(not ('\0\0b' < '\0\0a\0'))
+-- testing string.sub
+assert(string.sub("123456789",2,4) == "234")
+assert(string.sub("123456789",7) == "789")
+assert(string.sub("123456789",7,6) == "")
+assert(string.sub("123456789",7,7) == "7")
+assert(string.sub("123456789",0,0) == "")
+assert(string.sub("123456789",-10,10) == "123456789")
+assert(string.sub("123456789",1,9) == "123456789")
+assert(string.sub("123456789",-10,-20) == "")
+assert(string.sub("123456789",-1) == "9")
+assert(string.sub("123456789",-4) == "6789")
+assert(string.sub("123456789",-6, -4) == "456")
+assert(string.sub("123456789", mini, -4) == "123456")
+assert(string.sub("123456789", mini, maxi) == "123456789")
+assert(string.sub("123456789", mini, mini) == "")
+assert(string.sub("\000123456789",3,5) == "234")
+assert(("\000123456789"):sub(8) == "789")
+-- testing string.find
+assert(string.find("123456789", "345") == 3)
+a,b = string.find("123456789", "345")
+assert(string.sub("123456789", a, b) == "345")
+assert(string.find("1234567890123456789", "345", 3) == 3)
+assert(string.find("1234567890123456789", "345", 4) == 13)
+assert(string.find("1234567890123456789", "346", 4) == nil)
+assert(string.find("1234567890123456789", ".45", -9) == 13)
+assert(string.find("abcdefg", "\0", 5, 1) == nil)
+assert(string.find("", "") == 1)
+assert(string.find("", "", 1) == 1)
+assert(not string.find("", "", 2))
+assert(string.find('', 'aaa', 1) == nil)
+assert(('alo(.)alo'):find('(.)', 1, 1) == 4)
+assert(string.len("") == 0)
+assert(string.len("\0\0\0") == 3)
+assert(string.len("1234567890") == 10)
+assert(#"" == 0)
+assert(#"\0\0\0" == 3)
+assert(#"1234567890" == 10)
+-- testing string.byte/string.char
+assert(string.byte("a") == 97)
+assert(string.byte("\xe4") > 127)
+assert(string.byte(string.char(255)) == 255)
+assert(string.byte(string.char(0)) == 0)
+assert(string.byte("\0") == 0)
+assert(string.byte("\0\0alo\0x", -1) == string.byte('x'))
+assert(string.byte("ba", 2) == 97)
+assert(string.byte("\n\n", 2, -1) == 10)
+assert(string.byte("\n\n", 2, 2) == 10)
+assert(string.byte("") == nil)
+assert(string.byte("hi", -3) == nil)
+assert(string.byte("hi", 3) == nil)
+assert(string.byte("hi", 9, 10) == nil)
+assert(string.byte("hi", 2, 1) == nil)
+assert(string.char() == "")
+assert(string.char(0, 255, 0) == "\0\255\0")
+assert(string.char(0, string.byte("\xe4"), 0) == "\0\xe4\0")
+assert(string.char(string.byte("\xe4l\0�u", 1, -1)) == "\xe4l\0�u")
+assert(string.char(string.byte("\xe4l\0�u", 1, 0)) == "")
+assert(string.char(string.byte("\xe4l\0�u", -10, 100)) == "\xe4l\0�u")
+assert(string.upper("ab\0c") == "AB\0C")
+assert(string.lower("\0ABCc%$") == "\0abcc%$")
+assert(string.rep('teste', 0) == '')
+assert(string.rep('t�s\00t�', 2) == 't�s\0t�t�s\000t�')
+assert(string.rep('', 10) == '')
+if string.packsize("i") == 4 then
+  -- result length would be 2^31 (int overflow)
+  checkerror("too large", string.rep, 'aa', (1 << 30))
+  checkerror("too large", string.rep, 'a', (1 << 30), ',')
+end
+-- repetitions with separator
+assert(string.rep('teste', 0, 'xuxu') == '')
+assert(string.rep('teste', 1, 'xuxu') == 'teste')
+assert(string.rep('\1\0\1', 2, '\0\0') == '\1\0\1\0\0\1\0\1')
+assert(string.rep('', 10, '.') == string.rep('.', 9))
+assert(not pcall(string.rep, "aa", maxi // 2 + 10))
+assert(not pcall(string.rep, "", maxi // 2 + 10, "aa"))
+assert(string.reverse"" == "")
+assert(string.reverse"\0\1\2\3" == "\3\2\1\0")
+assert(string.reverse"\0001234" == "4321\0")
+for i=0,30 do assert(string.len(string.rep('a', i)) == i) end
+assert(type(tostring(nil)) == 'string')
+assert(type(tostring(12)) == 'string')
+assert(string.find(tostring{}, 'table:'))
+assert(string.find(tostring(print), 'function:'))
+assert(#tostring('\0') == 1)
+assert(tostring(true) == "true")
+assert(tostring(false) == "false")
+assert(tostring(-1203) == "-1203")
+assert(tostring(1203.125) == "1203.125")
+assert(tostring(-0.5) == "-0.5")
+assert(tostring(-32767) == "-32767")
+if math.tointeger(2147483647) then   -- no overflow? (32 bits)
+  assert(tostring(-2147483647) == "-2147483647")
+end
+if math.tointeger(4611686018427387904) then   -- no overflow? (64 bits)
+  assert(tostring(4611686018427387904) == "4611686018427387904")
+  assert(tostring(-4611686018427387904) == "-4611686018427387904")
+end
+if tostring(0.0) == "0.0" then   -- "standard" coercion float->string
+  assert('' .. 12 == '12' and 12.0 .. '' == '12.0')
+  assert(tostring(-1203 + 0.0) == "-1203.0")
+else   -- compatible coercion
+  assert(tostring(0.0) == "0")
+  assert('' .. 12 == '12' and 12.0 .. '' == '12')
+  assert(tostring(-1203 + 0.0) == "-1203")
+end
+x = '"�lo"\n\\'
+assert(string.format('%q%s', x, x) == '"\\"�lo\\"\\\n\\\\""�lo"\n\\')
+assert(string.format('%q', "\0") == [["\0"]])
+assert(load(string.format('return %q', x))() == x)
+x = "\0\1\0023\5\0009"
+assert(load(string.format('return %q', x))() == x)
+assert(string.format("\0%c\0%c%x\0", string.byte("\xe4"), string.byte("b"), 140) ==
+              "\0\xe4\0b8c\0")
+assert(string.format('') == "")
+assert(string.format("%c",34)..string.format("%c",48)..string.format("%c",90)..string.format("%c",100) ==
+       string.format("%c%c%c%c", 34, 48, 90, 100))
+assert(string.format("%s\0 is not \0%s", 'not be', 'be') == 'not be\0 is not \0be')
+assert(string.format("%%%d %010d", 10, 23) == "%10 0000000023")
+assert(tonumber(string.format("%f", 10.3)) == 10.3)
+x = string.format('"%-50s"', 'a')
+assert(#x == 52)
+assert(string.sub(x, 1, 4) == '"a  ')
+assert(string.format("-%.20s.20s", string.rep("%", 2000)) ==
+                     "-"..string.rep("%", 20)..".20s")
+assert(string.format('"-%20s.20s"', string.rep("%", 2000)) ==
+       string.format("%q", "-"..string.rep("%", 2000)..".20s"))
+do
+  local function checkQ (v)
+    local s = string.format("%q", v)
+    local nv = load("return " .. s)()
+    assert(v == nv and math.type(v) == math.type(nv))
+  end
+  checkQ("\0\0\1\255\u{234}")
+  checkQ(math.maxinteger)
+  checkQ(math.mininteger)
+  checkQ(math.pi)
+  checkQ(0.1)
+  checkQ(true)
+  checkQ(nil)
+  checkQ(false)
+  checkerror("no literal", string.format, "%q", {})
+end
+assert(string.format("\0%s\0", "\0\0\1") == "\0\0\0\1\0")
+checkerror("contains zeros", string.format, "%10s", "\0")
+-- format x tostring
+assert(string.format("%s %s", nil, true) == "nil true")
+assert(string.format("%s %.4s", false, true) == "false true")
+assert(string.format("%.3s %.3s", false, true) == "fal tru")
+local m = setmetatable({}, {__tostring = function () return "hello" end,
+                            __name = "hi"})
+assert(string.format("%s %.10s", m, m) == "hello hello")
+getmetatable(m).__tostring = nil   -- will use '__name' from now on
+assert(string.format("%.4s", m) == "hi: ")
+getmetatable(m).__tostring = function () return {} end
+checkerror("'__tostring' must return a string", tostring, m)
+assert(string.format("%x", 0.0) == "0")
+assert(string.format("%02x", 0.0) == "00")
+assert(string.format("%08X", 0xFFFFFFFF) == "FFFFFFFF")
+assert(string.format("%+08d", 31501) == "+0031501")
+assert(string.format("%+08d", -30927) == "-0030927")
+do    -- longest number that can be formatted
+  local i = 1
+  local j = 10000
+  while i + 1 < j do   -- binary search for maximum finite float
+    local m = (i + j) // 2
+    if 10^m < math.huge then i = m else j = m end
+  end
+  assert(10^i < math.huge and 10^j == math.huge)
+  local s = string.format('%.99f', -(10^i))
+  assert(string.len(s) >= i + 101)
+  assert(tonumber(s) == -(10^i))
+end
+-- testing large numbers for format
+do   -- assume at least 32 bits
+  local max, min = 0x7fffffff, -0x80000000    -- "large" for 32 bits
+  assert(string.sub(string.format("%8x", -1), -8) == "ffffffff")
+  assert(string.format("%x", max) == "7fffffff")
+  assert(string.sub(string.format("%x", min), -8) == "80000000")
+  assert(string.format("%d", max) ==  "2147483647")
+  assert(string.format("%d", min) == "-2147483648")
+  assert(string.format("%u", 0xffffffff) == "4294967295")
+  assert(string.format("%o", 0xABCD) == "125715")
+  max, min = 0x7fffffffffffffff, -0x8000000000000000
+  if max > 2.0^53 then  -- only for 64 bits
+    assert(string.format("%x", (2^52 | 0) - 1) == "fffffffffffff")
+    assert(string.format("0x%8X", 0x8f000003) == "0x8F000003")
+    assert(string.format("%d", 2^53) == "9007199254740992")
+    assert(string.format("%i", -2^53) == "-9007199254740992")
+    assert(string.format("%x", max) == "7fffffffffffffff")
+    assert(string.format("%x", min) == "8000000000000000")
+    assert(string.format("%d", max) ==  "9223372036854775807")
+    assert(string.format("%d", min) == "-9223372036854775808")
+    assert(string.format("%u", ~(-1 << 64)) == "18446744073709551615")
+    assert(tostring(1234567890123) == '1234567890123')
+  end
+end
+do print("testing 'format %a %A'")
+  local function matchhexa (n)
+    local s = string.format("%a", n)
+    -- result matches ISO C requirements
+    assert(string.find(s, "^%-?0x[1-9a-f]%.?[0-9a-f]*p[-+]?%d+$"))
+    assert(tonumber(s) == n)  -- and has full precision
+    s = string.format("%A", n)
+    assert(string.find(s, "^%-?0X[1-9A-F]%.?[0-9A-F]*P[-+]?%d+$"))
+    assert(tonumber(s) == n)
+  end
+  for _, n in ipairs{0.1, -0.1, 1/3, -1/3, 1e30, -1e30,
+                     -45/247, 1, -1, 2, -2, 3e-20, -3e-20} do
+    matchhexa(n)
+  end
+  assert(string.find(string.format("%A", 0.0), "^0X0%.?0?P%+?0$"))
+  assert(string.find(string.format("%a", -0.0), "^%-0x0%.?0?p%+?0$"))
+  if not _port then   -- test inf, -inf, NaN, and -0.0
+    assert(string.find(string.format("%a", 1/0), "^inf"))
+    assert(string.find(string.format("%A", -1/0), "^%-INF"))
+    assert(string.find(string.format("%a", 0/0), "^%-?nan"))
+    assert(string.find(string.format("%a", -0.0), "^%-0x0"))
+  end
+  
+  if not pcall(string.format, "%.3a", 0) then
+    (Message or print)("\n >>> modifiers for format '%a' not available <<<\n")
+  else
+    assert(string.find(string.format("%+.2A", 12), "^%+0X%x%.%x0P%+?%d$"))
+    assert(string.find(string.format("%.4A", -12), "^%-0X%x%.%x000P%+?%d$"))
+  end
+end
+-- errors in format
+local function check (fmt, msg)
+  checkerror(msg, string.format, fmt, 10)
+end
+local aux = string.rep('0', 600)
+check("%100.3d", "too long")
+check("%1"..aux..".3d", "too long")
+check("%1.100d", "too long")
+check("%10.1"..aux.."004d", "too long")
+check("%t", "invalid option")
+check("%"..aux.."d", "repeated flags")
+check("%d %d", "no value")
+assert(load("return 1\n--comment without ending EOL")() == 1)
+checkerror("table expected", table.concat, 3)
+assert(table.concat{} == "")
+assert(table.concat({}, 'x') == "")
+assert(table.concat({'\0', '\0\1', '\0\1\2'}, '.\0.') == "\0.\0.\0\1.\0.\0\1\2")
+local a = {}; for i=1,300 do a[i] = "xuxu" end
+assert(table.concat(a, "123").."123" == string.rep("xuxu123", 300))
+assert(table.concat(a, "b", 20, 20) == "xuxu")
+assert(table.concat(a, "", 20, 21) == "xuxuxuxu")
+assert(table.concat(a, "x", 22, 21) == "")
+assert(table.concat(a, "3", 299) == "xuxu3xuxu")
+assert(table.concat({}, "x", maxi, maxi - 1) == "")
+assert(table.concat({}, "x", mini + 1, mini) == "")
+assert(table.concat({}, "x", maxi, mini) == "")
+assert(table.concat({[maxi] = "alo"}, "x", maxi, maxi) == "alo")
+assert(table.concat({[maxi] = "alo", [maxi - 1] = "y"}, "-", maxi - 1, maxi)
+       == "y-alo")
+assert(not pcall(table.concat, {"a", "b", {}}))
+a = {"a","b","c"}
+assert(table.concat(a, ",", 1, 0) == "")
+assert(table.concat(a, ",", 1, 1) == "a")
+assert(table.concat(a, ",", 1, 2) == "a,b")
+assert(table.concat(a, ",", 2) == "b,c")
+assert(table.concat(a, ",", 3) == "c")
+assert(table.concat(a, ",", 4) == "")
+if not _port then
+  local locales = { "ptb", "pt_BR.iso88591", "ISO-8859-1" }
+  local function trylocale (w)
+    for i = 1, #locales do
+      if os.setlocale(locales[i], w) then
+        print(string.format("'%s' locale set to '%s'", w, locales[i]))
+        return locales[i]
+      end
+    end
+    print(string.format("'%s' locale not found", w))
+    return false
+  end
+  if trylocale("collate")  then
+    assert("alo" < "�lo" and "�lo" < "amo")
+  end
+  if trylocale("ctype") then
+    assert(string.gsub("�����", "%a", "x") == "xxxxx")
+    assert(string.gsub("����", "%l", "x") == "x�x�")
+    assert(string.gsub("����", "%u", "x") == "�x�x")
+    assert(string.upper"���{xuxu}��o" == "���{XUXU}��O")
+  end
+  os.setlocale("C")
+  assert(os.setlocale() == 'C')
+  assert(os.setlocale(nil, "numeric") == 'C')
+end
+-- bug in Lua 5.3.2
+-- 'gmatch' iterator does not work across coroutines
+do
+  local f = string.gmatch("1 2 3 4 5", "%d+")
+  assert(f() == "1")
+  co = coroutine.wrap(f)
+  assert(co() == "2")
+end
+print('OK')

diff --git a/testes/strings.lua b/testes/strings.lua new file mode 100644 index 00000000..c37a8e75 --- /dev/null +++ b/testes/strings.lua
@@ -0,0 +1,379 @@
	1	-- $Id: strings.lua,v 1.87 2016/12/21 19:23:02 roberto Exp $
	2	-- See Copyright Notice in file all.lua
	3
	4	print('testing strings and string library')
	5
	6	local maxi, mini = math.maxinteger, math.mininteger
	7
	8
	9	local function checkerror (msg, f, ...)
	10	local s, err = pcall(f, ...)
	11	assert(not s and string.find(err, msg))
	12	end
	13
	14
	15	-- testing string comparisons
	16	assert('alo' < 'alo1')
	17	assert('' < 'a')
	18	assert('alo\0alo' < 'alo\0b')
	19	assert('alo\0alo\0\0' > 'alo\0alo\0')
	20	assert('alo' < 'alo\0')
	21	assert('alo\0' > 'alo')
	22	assert('\0' < '\1')
	23	assert('\0\0' < '\0\1')
	24	assert('\1\0a\0a' <= '\1\0a\0a')
	25	assert(not ('\1\0a\0b' <= '\1\0a\0a'))
	26	assert('\0\0\0' < '\0\0\0\0')
	27	assert(not('\0\0\0\0' < '\0\0\0'))
	28	assert('\0\0\0' <= '\0\0\0\0')
	29	assert(not('\0\0\0\0' <= '\0\0\0'))
	30	assert('\0\0\0' <= '\0\0\0')
	31	assert('\0\0\0' >= '\0\0\0')
	32	assert(not ('\0\0b' < '\0\0a\0'))
	33
	34	-- testing string.sub
	35	assert(string.sub("123456789",2,4) == "234")
	36	assert(string.sub("123456789",7) == "789")
	37	assert(string.sub("123456789",7,6) == "")
	38	assert(string.sub("123456789",7,7) == "7")
	39	assert(string.sub("123456789",0,0) == "")
	40	assert(string.sub("123456789",-10,10) == "123456789")
	41	assert(string.sub("123456789",1,9) == "123456789")
	42	assert(string.sub("123456789",-10,-20) == "")
	43	assert(string.sub("123456789",-1) == "9")
	44	assert(string.sub("123456789",-4) == "6789")
	45	assert(string.sub("123456789",-6, -4) == "456")
	46	assert(string.sub("123456789", mini, -4) == "123456")
	47	assert(string.sub("123456789", mini, maxi) == "123456789")
	48	assert(string.sub("123456789", mini, mini) == "")
	49	assert(string.sub("\000123456789",3,5) == "234")
	50	assert(("\000123456789"):sub(8) == "789")
	51
	52	-- testing string.find
	53	assert(string.find("123456789", "345") == 3)
	54	a,b = string.find("123456789", "345")
	55	assert(string.sub("123456789", a, b) == "345")
	56	assert(string.find("1234567890123456789", "345", 3) == 3)
	57	assert(string.find("1234567890123456789", "345", 4) == 13)
	58	assert(string.find("1234567890123456789", "346", 4) == nil)
	59	assert(string.find("1234567890123456789", ".45", -9) == 13)
	60	assert(string.find("abcdefg", "\0", 5, 1) == nil)
	61	assert(string.find("", "") == 1)
	62	assert(string.find("", "", 1) == 1)
	63	assert(not string.find("", "", 2))
	64	assert(string.find('', 'aaa', 1) == nil)
	65	assert(('alo(.)alo'):find('(.)', 1, 1) == 4)
	66
	67	assert(string.len("") == 0)
	68	assert(string.len("\0\0\0") == 3)
	69	assert(string.len("1234567890") == 10)
	70
	71	assert(#"" == 0)
	72	assert(#"\0\0\0" == 3)
	73	assert(#"1234567890" == 10)
	74
	75	-- testing string.byte/string.char
	76	assert(string.byte("a") == 97)
	77	assert(string.byte("\xe4") > 127)
	78	assert(string.byte(string.char(255)) == 255)
	79	assert(string.byte(string.char(0)) == 0)
	80	assert(string.byte("\0") == 0)
	81	assert(string.byte("\0\0alo\0x", -1) == string.byte('x'))
	82	assert(string.byte("ba", 2) == 97)
	83	assert(string.byte("\n\n", 2, -1) == 10)
	84	assert(string.byte("\n\n", 2, 2) == 10)
	85	assert(string.byte("") == nil)
	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(load(string.format('return %q', x))() == x)
	156	x = "\0\1\0023\5\0009"
	157	assert(load(string.format('return %q', x))() == x)
	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	__name = "hi"})
	201	assert(string.format("%s %.10s", m, m) == "hello hello")
	202	getmetatable(m).__tostring = nil -- will use '__name' from now on
	203	assert(string.format("%.4s", m) == "hi: ")
	204
	205	getmetatable(m).__tostring = function () return {} end
	206	checkerror("'__tostring' must return a string", tostring, m)
	207
	208
	209	assert(string.format("%x", 0.0) == "0")
	210	assert(string.format("%02x", 0.0) == "00")
	211	assert(string.format("%08X", 0xFFFFFFFF) == "FFFFFFFF")
	212	assert(string.format("%+08d", 31501) == "+0031501")
	213	assert(string.format("%+08d", -30927) == "-0030927")
	214
	215
	216	do -- longest number that can be formatted
	217	local i = 1
	218	local j = 10000
	219	while i + 1 < j do -- binary search for maximum finite float
	220	local m = (i + j) // 2
	221	if 10^m < math.huge then i = m else j = m end
	222	end
	223	assert(10^i < math.huge and 10^j == math.huge)
	224	local s = string.format('%.99f', -(10^i))
	225	assert(string.len(s) >= i + 101)
	226	assert(tonumber(s) == -(10^i))
	227	end
	228
	229
	230	-- testing large numbers for format
	231	do -- assume at least 32 bits
	232	local max, min = 0x7fffffff, -0x80000000 -- "large" for 32 bits
	233	assert(string.sub(string.format("%8x", -1), -8) == "ffffffff")
	234	assert(string.format("%x", max) == "7fffffff")
	235	assert(string.sub(string.format("%x", min), -8) == "80000000")
	236	assert(string.format("%d", max) == "2147483647")
	237	assert(string.format("%d", min) == "-2147483648")
	238	assert(string.format("%u", 0xffffffff) == "4294967295")
	239	assert(string.format("%o", 0xABCD) == "125715")
	240
	241	max, min = 0x7fffffffffffffff, -0x8000000000000000
	242	if max > 2.0^53 then -- only for 64 bits
	243	assert(string.format("%x", (2^52 \| 0) - 1) == "fffffffffffff")
	244	assert(string.format("0x%8X", 0x8f000003) == "0x8F000003")
	245	assert(string.format("%d", 2^53) == "9007199254740992")
	246	assert(string.format("%i", -2^53) == "-9007199254740992")
	247	assert(string.format("%x", max) == "7fffffffffffffff")
	248	assert(string.format("%x", min) == "8000000000000000")
	249	assert(string.format("%d", max) == "9223372036854775807")
	250	assert(string.format("%d", min) == "-9223372036854775808")
	251	assert(string.format("%u", ~(-1 << 64)) == "18446744073709551615")
	252	assert(tostring(1234567890123) == '1234567890123')
	253	end
	254	end
	255
	256
	257	do print("testing 'format %a %A'")
	258	local function matchhexa (n)
	259	local s = string.format("%a", n)
	260	-- result matches ISO C requirements
	261	assert(string.find(s, "^%-?0x[1-9a-f]%.?[0-9a-f]*p[-+]?%d+$"))
	262	assert(tonumber(s) == n) -- and has full precision
	263	s = string.format("%A", n)
	264	assert(string.find(s, "^%-?0X[1-9A-F]%.?[0-9A-F]*P[-+]?%d+$"))
	265	assert(tonumber(s) == n)
	266	end
	267	for _, n in ipairs{0.1, -0.1, 1/3, -1/3, 1e30, -1e30,
	268	-45/247, 1, -1, 2, -2, 3e-20, -3e-20} do
	269	matchhexa(n)
	270	end
	271
	272	assert(string.find(string.format("%A", 0.0), "^0X0%.?0?P%+?0$"))
	273	assert(string.find(string.format("%a", -0.0), "^%-0x0%.?0?p%+?0$"))
	274
	275	if not _port then -- test inf, -inf, NaN, and -0.0
	276	assert(string.find(string.format("%a", 1/0), "^inf"))
	277	assert(string.find(string.format("%A", -1/0), "^%-INF"))
	278	assert(string.find(string.format("%a", 0/0), "^%-?nan"))
	279	assert(string.find(string.format("%a", -0.0), "^%-0x0"))
	280	end
	281
	282	if not pcall(string.format, "%.3a", 0) then
	283	(Message or print)("\n >>> modifiers for format '%a' not available <<<\n")
	284	else
	285	assert(string.find(string.format("%+.2A", 12), "^%+0X%x%.%x0P%+?%d$"))
	286	assert(string.find(string.format("%.4A", -12), "^%-0X%x%.%x000P%+?%d$"))
	287	end
	288	end
	289
	290
	291	-- errors in format
	292
	293	local function check (fmt, msg)
	294	checkerror(msg, string.format, fmt, 10)
	295	end
	296
	297	local aux = string.rep('0', 600)
	298	check("%100.3d", "too long")
	299	check("%1"..aux..".3d", "too long")
	300	check("%1.100d", "too long")
	301	check("%10.1"..aux.."004d", "too long")
	302	check("%t", "invalid option")
	303	check("%"..aux.."d", "repeated flags")
	304	check("%d %d", "no value")
	305
	306
	307	assert(load("return 1\n--comment without ending EOL")() == 1)
	308
	309
	310	checkerror("table expected", table.concat, 3)
	311	assert(table.concat{} == "")
	312	assert(table.concat({}, 'x') == "")
	313	assert(table.concat({'\0', '\0\1', '\0\1\2'}, '.\0.') == "\0.\0.\0\1.\0.\0\1\2")
	314	local a = {}; for i=1,300 do a[i] = "xuxu" end
	315	assert(table.concat(a, "123").."123" == string.rep("xuxu123", 300))
	316	assert(table.concat(a, "b", 20, 20) == "xuxu")
	317	assert(table.concat(a, "", 20, 21) == "xuxuxuxu")
	318	assert(table.concat(a, "x", 22, 21) == "")
	319	assert(table.concat(a, "3", 299) == "xuxu3xuxu")
	320	assert(table.concat({}, "x", maxi, maxi - 1) == "")
	321	assert(table.concat({}, "x", mini + 1, mini) == "")
	322	assert(table.concat({}, "x", maxi, mini) == "")
	323	assert(table.concat({[maxi] = "alo"}, "x", maxi, maxi) == "alo")
	324	assert(table.concat({[maxi] = "alo", [maxi - 1] = "y"}, "-", maxi - 1, maxi)
	325	== "y-alo")
	326
	327	assert(not pcall(table.concat, {"a", "b", {}}))
	328
	329	a = {"a","b","c"}
	330	assert(table.concat(a, ",", 1, 0) == "")
	331	assert(table.concat(a, ",", 1, 1) == "a")
	332	assert(table.concat(a, ",", 1, 2) == "a,b")
	333	assert(table.concat(a, ",", 2) == "b,c")
	334	assert(table.concat(a, ",", 3) == "c")
	335	assert(table.concat(a, ",", 4) == "")
	336
	337	if not _port then
	338
	339	local locales = { "ptb", "pt_BR.iso88591", "ISO-8859-1" }
	340	local function trylocale (w)
	341	for i = 1, #locales do
	342	if os.setlocale(locales[i], w) then
	343	print(string.format("'%s' locale set to '%s'", w, locales[i]))
	344	return locales[i]
	345	end
	346	end
	347	print(string.format("'%s' locale not found", w))
	348	return false
	349	end
	350
	351	if trylocale("collate") then
	352	assert("alo" < "�lo" and "�lo" < "amo")
	353	end
	354
	355	if trylocale("ctype") then
	356	assert(string.gsub("��", "%a", "x") == "xxxxx")
	357	assert(string.gsub("��", "%l", "x") == "x�x�")
	358	assert(string.gsub("��", "%u", "x") == "�x�x")
	359	assert(string.upper"��{xuxu}��o" == "��{XUXU}��O")
	360	end
	361
	362	os.setlocale("C")
	363	assert(os.setlocale() == 'C')
	364	assert(os.setlocale(nil, "numeric") == 'C')
	365
	366	end
	367
	368
	369	-- bug in Lua 5.3.2
	370	-- 'gmatch' iterator does not work across coroutines
	371	do
	372	local f = string.gmatch("1 2 3 4 5", "%d+")
	373	assert(f() == "1")
	374	co = coroutine.wrap(f)
	375	assert(co() == "2")
	376	end
	377
	378	print('OK')
	379