---
source: src/main.rs
assertion_line: 136
expression: compiled
input_file: test-data/lua5.4-tests/strings.lua
---
print('testing strings and string library');
local maxi = math.maxinteger
local mini = math.mininteger
local fn checkerror(msg, f, ...) {
local s, err = pcall(f, ...)
assert(!s && string.find(err, msg));
}
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(!('\1\0a\0b' <= '\1\0a\0a'));
assert('\0\0\0' < '\0\0\0\0');
assert(!('\0\0\0\0' < '\0\0\0'));
assert('\0\0\0' <= '\0\0\0\0');
assert(!('\0\0\0\0' <= '\0\0\0'));
assert('\0\0\0' <= '\0\0\0');
assert('\0\0\0' >= '\0\0\0');
assert(!('\0\0b' < '\0\0a\0'));
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");
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));
assert(string.find("1234567890123456789", ".45", -9) == 13);
assert(!string.find("abcdefg", "\0", 5, 1));
assert(string.find("", "") == 1);
assert(string.find("", "", 1) == 1);
assert(!string.find("", "", 2));
assert(!string.find('', 'aaa', 1));
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);
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");
checkerror("out of range", string.char, 256);
checkerror("out of range", string.char, -1);
checkerror("out of range", string.char, math.maxinteger);
checkerror("out of range", string.char, math.mininteger);
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 {
checkerror("too large", string.rep, 'aa', (1 << 30));
checkerror("too large", string.rep, 'a', (1 << 30), ',');
}
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(!pcall(string.rep, "aa", maxi /_ 2 + 10));
assert(!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 {
assert(string.len(string.rep('a', i)) == i);
}
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) {
assert(tostring(-2147483647) == "-2147483647");
}
if math.tointeger(4611686018427387904) {
assert(tostring(4611686018427387904) == "4611686018427387904");
assert(tostring(-4611686018427387904) == "-4611686018427387904");
}
if tostring(0.0) == "0.0" {
assert('' .. 12 == '12' && 12.0 .. '' == '12.0');
assert(tostring(-1203 + 0.0) == "-1203.0");
} else {
assert(tostring(0.0) == "0");
assert('' .. 12 == '12' && 12.0 .. '' == '12');
assert(tostring(-1203 + 0.0) == "-1203");
}
{
local null = "(null)"
assert(string.format("%p", 4) == null);
assert(string.format("%p", true) == null);
assert(string.format("%p", nil) == null);
assert(string.format("%p", {}) != null);
assert(string.format("%p", print) != null);
assert(string.format("%p", coroutine.running()) != null);
assert(string.format("%p", io.stdin) != null);
assert(string.format("%p", io.stdin) == string.format("%p", io.stdin));
assert(string.format("%p", print) == string.format("%p", print));
assert(string.format("%p", print) != string.format("%p", assert));
assert(#string.format("%90p", {}) == 90);
assert(#string.format("%-60p", {}) == 60);
assert(string.format("%10p", false) == string.rep(" ", 10 - #null) .. null);
assert(string.format("%-12p", 1.5) == null .. string.rep(" ", 12 - #null));
{
local t1 = {}
local t2 = {}
assert(string.format("%p", t1) != string.format("%p", t2));
}
{
local s1 = string.rep("a", 10)
local s2 = string.rep("aa", 5)
assert(string.format("%p", s1) == string.format("%p", s2));
}
{
local s1 = string.rep("a", 300)
local s2 = string.rep("a", 300)
assert(string.format("%p", s1) != string.format("%p", s2));
}
}
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("%1c%-c%-1c%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);
assert(string.format('"%-50s"', 'a') == '"a' .. string.rep(' ', 49) .. '"');
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"));
{
local fn checkQ(v) {
local s = string.format("%q", v)
local nv = load("return " .. s)()
assert(v == nv && math.type(v) == math.type(nv));
}
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);
checkQ(math.huge);
checkQ(-math.huge);
assert(string.format("%q", 0 / 0) == "(0/0)");
checkerror("no literal", string.format, "%q", {});
}
assert(string.format("\0%s\0", "\0\0\1") == "\0\0\0\1\0");
checkerror("contains zeros", string.format, "%10s", "\0");
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 = fn () {
return "hello"
},
__name = "hi"
})
assert(string.format("%s %.10s", m, m) == "hello hello");
getmetatable(m).__tostring = nil
assert(string.format("%.4s", m) == "hi: ");
getmetatable(m).__tostring = fn () {
return {}
}
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");
{
local i = 1
local j = 10000
while i + 1 < j {
local m = (i + j) /_ 2
if 10 ^ m < math.huge {
i = m
} else {
j = m
}
}
assert(10 ^ i < math.huge && 10 ^ j == math.huge);
local s = string.format('%.99f', -(10 ^ i))
assert(string.len(s) >= i + 101);
assert(tonumber(s) == -(10 ^ i));
assert(10 ^ 38 < math.huge);
local s = string.format('%.99f', -(10 ^ 38))
assert(string.len(s) >= 38 + 101);
assert(tonumber(s) == -(10 ^ 38));
}
{
local max, min = 0x7fffffff, -0x80000000
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 {
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');
}
}
{
print("testing 'format %a %A'");
local fn matchhexa(n) {
local s = string.format("%a", n)
assert(string.find(s, "^%-?0x[1-9a-f]%.?[0-9a-f]*p[-+]?%d+$"));
assert(tonumber(s) == n);
s = string.format("%A", n)
assert(string.find(s, "^%-?0X[1-9A-F]%.?[0-9A-F]*P[-+]?%d+$"));
assert(tonumber(s) == n);
}
for _, n with ipairs({
0.1,
-0.1,
1 / 3,
-1 / 3,
1e30,
-1e30,
-45 / 247,
1,
-1,
2,
-2,
3e-20,
-3e-20
}) {
matchhexa(n);
}
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 !_port {
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"));
}
if !pcall(string.format, "%.3a", 0) {
(Message || 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$"));
}
}
assert(string.format("%#12o", 10) == " 012");
assert(string.format("%#10x", 100) == " 0x64");
assert(string.format("%#-17X", 100) == "0X64 ");
assert(string.format("%013i", -100) == "-000000000100");
assert(string.format("%2.5d", -100) == "-00100");
assert(string.format("%.u", 0) == "");
assert(string.format("%+#014.0f", 100) == "+000000000100.");
assert(string.format("% 1.0E", 100) == " 1E+02");
assert(string.format("%-16c", 97) == "a ");
assert(string.format("%+.3G", 1.5) == "+1.5");
assert(string.format("% .1g", 2 ^ 10) == " 1e+03");
assert(string.format("%.0s", "alo") == "");
assert(string.format("%.s", "alo") == "");
local fn check(fmt, msg) {
checkerror(msg, string.format, fmt, 10);
}
local aux = string.rep('0', 600)
check("%100.3d", "invalid conversion");
check("%1" .. aux .. ".3d", "too long");
check("%1.100d", "invalid conversion");
check("%10.1" .. aux .. "004d", "too long");
check("%t", "invalid conversion");
check("%" .. aux .. "d", "too long");
check("%d %d", "no value");
check("%010c", "invalid conversion");
check("%.10c", "invalid conversion");
check("%0.34s", "invalid conversion");
check("%#i", "invalid conversion");
check("%3.1p", "invalid conversion");
check("%0.s", "invalid conversion");
check("%10q", "cannot have modifiers");
check("%F", "invalid conversion");
assert(load("return 1\n--comment without ending EOL")() == 1);
checkerror("table expected", table.concat, 3);
checkerror("at index " .. maxi, table.concat, {}, " ", maxi, maxi);
checkerror("at index %" .. mini, table.concat, {}, " ", mini, mini);
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 {
a[(i)] = "xuxu"
}
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(!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 !_port {
local locales = {
"ptb",
"pt_BR.iso88591",
"ISO-8859-1"
}
local fn trylocale(w) {
for i = 1, #locales {
if os.setlocale(locales[(i)], w) {
print(string.format("'%s' locale set to '%s'", w, locales[(i)]));
return locales[(i)]
}
}
print(string.format("'%s' locale not found", w));
return false
}
if trylocale("collate") {
assert("alo" < "álo" && "álo" < "amo");
}
if trylocale("ctype") {
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");
}
os.setlocale("C");
assert(os.setlocale() == 'C');
assert(os.setlocale(nil, "numeric") == 'C');
}
{
local f = string.gmatch("1 2 3 4 5", "%d+")
assert(f() == "1");
co = coroutine.wrap(f)
assert(co() == "2");
}
if T == nil {
(Message || print)("\n >>> testC not active: skipping 'pushfstring' tests <<<\n");
} else {
print("testing 'pushfstring'");
local blen = 200
local fn callpfs(op, fmt, n) {
local x = {
T.testC("pushfstring" .. op .. "; return *", fmt, n)
}
assert(#x == 4);
return x[(4)]
}
local fn testpfs(op, fmt, n) {
assert(callpfs(op, fmt, n) == string.format(fmt, n));
}
testpfs("I", "", 0);
testpfs("I", string.rep("a", blen - 1), 0);
testpfs("I", string.rep("a", blen), 0);
testpfs("I", string.rep("a", blen + 1), 0);
local str = string.rep("ab", blen) .. "%d" .. string.rep("d", blen / 2)
testpfs("I", str, 2 ^ 14);
testpfs("I", str, -2 ^ 15);
str = "%d" .. string.rep("cd", blen)
testpfs("I", str, 2 ^ 14);
testpfs("I", str, -2 ^ 15);
str = string.rep("c", blen - 2) .. "%d"
testpfs("I", str, 2 ^ 14);
testpfs("I", str, -2 ^ 15);
for l = 12, 14 {
local str1 = string.rep("a", l)
for i = 0, 500, 13 {
for j = 0, 500, 13 {
str = string.rep("a", i) .. "%s" .. string.rep("d", j)
testpfs("S", str, str1);
testpfs("S", str, str);
}
}
}
str = "abc %c def"
testpfs("I", str, string.byte("A"));
testpfs("I", str, 255);
str = string.rep("a", blen - 1) .. "%p" .. string.rep("cd", blen)
testpfs("P", str, {});
str = string.rep("%%", 3 * blen) .. "%p" .. string.rep("%%", 2 * blen)
testpfs("P", str, {});
}
print('OK');