%% %% %CopyrightBegin% %% %% Copyright Ericsson AB 1999-2018. All Rights Reserved. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. %% You may obtain a copy of the License at %% %% http://www.apache.org/licenses/LICENSE-2.0 %% %% Unless required by applicable law or agreed to in writing, software %% distributed under the License is distributed on an "AS IS" BASIS, %% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. %% See the License for the specific language governing permissions and %% limitations under the License. %% %% %CopyrightEnd% %% -module(io_SUITE). -export([all/0, suite/0]). -export([error_1/1, float_g/1, otp_5403/1, otp_5813/1, otp_6230/1, otp_6282/1, otp_6354/1, otp_6495/1, otp_6517/1, otp_6502/1, manpage/1, otp_6708/1, otp_7084/0, otp_7084/1, otp_7421/1, io_lib_collect_line_3_wb/1, cr_whitespace_in_string/1, io_fread_newlines/1, otp_8989/1, io_lib_fread_literal/1, printable_range/1, bad_printable_range/1, io_lib_print_binary_depth_one/1, otp_10302/1, otp_10755/1, otp_10836/1, io_lib_width_too_small/1, io_with_huge_message_queue/1, format_string/1, maps/1, coverage/1, otp_14178_unicode_atoms/1, otp_14175/1, otp_14285/1, limit_term/1]). -export([pretty/2]). %%-define(debug, true). -ifdef(debug). -define(format(S, A), io:format(S, A)). -define(line, put(line, ?LINE), ). -define(config(X,Y), foo). -define(t, test_server). -define(privdir(_), "./io_SUITE_priv"). -else. -include_lib("common_test/include/ct.hrl"). -define(format(S, A), ok). -define(privdir(Conf), proplists:get_value(priv_dir, Conf)). -endif. suite() -> [{ct_hooks,[ts_install_cth]}, {timetrap,{minutes,1}}]. all() -> [error_1, float_g, otp_5403, otp_5813, otp_6230, otp_6282, otp_6354, otp_6495, otp_6517, otp_6502, manpage, otp_6708, otp_7084, otp_7421, io_lib_collect_line_3_wb, cr_whitespace_in_string, io_fread_newlines, otp_8989, io_lib_fread_literal, printable_range, bad_printable_range, io_lib_print_binary_depth_one, otp_10302, otp_10755, otp_10836, io_lib_width_too_small, io_with_huge_message_queue, format_string, maps, coverage, otp_14178_unicode_atoms, otp_14175, otp_14285, limit_term]. %% Error cases for output. error_1(Config) when is_list(Config) -> %% We don't do erroneous output on stdout - the test server %% seems to catch that somehow. PrivDir = ?privdir(Config), File = filename:join(PrivDir, "slask"), {ok, F1} = file:open(File, [write]), {'EXIT', _} = (catch io:format(muttru, "hej", [])), {'EXIT', _} = (catch io:format(F1, pelle, "hej")), {'EXIT', _} = (catch io:format(F1, 1, "hej")), {'EXIT', _} = (catch io:format(F1, "~p~", [kaka])), {'EXIT', _} = (catch io:format(F1, "~m~n", [kaka])), %% This causes the file process to die, and it is linked to us, %% so we can't catch the error this easily. %% {'EXIT', _} = (catch io:put_chars(F1, 666)), file:close(F1), {'EXIT', _} = (catch io:format(F1, "~p", ["hej"])), ok. float_g(Config) when is_list(Config) -> ["5.00000e-2", "0.500000", "5.00000", "50.0000", "500.000", "5000.00", "5.00000e+4", "5.00000e+5"] = float_g_1("~g", 5.0, -2, 5), ["-5.0000e-2", "-0.50000", "-5.0000", "-50.000", "-500.00", "-5000.0", "-5.0000e+4", "-5.0000e+5"] = float_g_1("~.5g", -5.0, -2, 5), ["5.000e-2", "0.5000", "5.000", "50.00", "500.0", "5.000e+3", "5.000e+4", "5.000e+5"] = float_g_1("~.4g", 5.0, -2, 5), ["-5.00e-2", "-0.500", "-5.00", "-50.0", "-5.00e+2", "-5.00e+3", "-5.00e+4", "-5.00e+5"] = float_g_1("~.3g", -5.0, -2, 5), ["5.0e-2", "0.50", "5.0", "5.0e+1", "5.0e+2", "5.0e+3", "5.0e+4", "5.0e+5"] = float_g_1("~.2g", 5.0, -2, 5), case catch fmt("~.1g", [0.5]) of "0.5" -> ["5.0e-2", "0.5", "5.0e+0", "5.0e+1", "5.0e+2", "5.0e+3", "5.0e+4", "5.0e+5"] = float_g_1("~.1g", 5.0, -2, 5); {'EXIT',_} -> ok end, ["4.99999e-2", "0.499999", "4.99999", "49.9999", "499.999", "4999.99", "4.99999e+4", "4.99999e+5"] = float_g_1("~g", 4.9999949999, -2, 5), ["-5.00000e-2", "-0.500000", "-5.00000", "-50.0000", "-500.000", "-5000.00", "-5.00000e+4", "-5.00000e+5"] = float_g_1("~g", -4.9999950001, -2, 5), ok. float_g_1(Fmt, V, Min, Max) -> [fmt(Fmt, [V*math:pow(10, E)]) || E <- lists:seq(Min, Max)]. %% OTP-5403. ~s formats I/O lists and a single binary. otp_5403(Config) when is_list(Config) -> "atom" = fmt("~s", [atom]), "binary" = fmt("~s", [<<"binary">>]), "atail" = fmt("~s", [["a" | <<"tail">>]]), "deepcharlist" = fmt("~s", [["deep",["char",["list"]]]]), "somebinaries" = fmt("~s", [[<<"some">>,[<<"binaries">>]]]), ok. %% OTP-5813. read/3 is new. otp_5813(Config) when is_list(Config) -> PrivDir = ?privdir(Config), File = filename:join(PrivDir, "test"), ok = file:write_file(File, <<"a. ">>), {ok, Fd} = file:open(File, [read]), {ok, a, 1} = io:read(Fd, '', 1), {eof,1} = io:read(Fd, '', 1), ok = file:close(Fd), ok = file:write_file(File, <<"[}.">>), {ok, Fd2} = file:open(File, [read]), {error,{1,_,_},1} = io:read(Fd2, '', 1), ok = file:close(Fd), file:delete(File), ok. %% OTP-6230. ~p and ~P with (huge) binaries. otp_6230(Config) when is_list(Config) -> %% The problem is actually huge binaries, but the small tests here %% just run through most of the modified code. "<<>>" = fmt("~P", [<<"">>,-1]), "<<\"hej\">>" = fmt("~P", [<<"hej">>,-1]), "{hej,...}" = fmt("~P", [{hej,<<"hej">>},2]), "{hej,<<...>>}" = fmt("~P", [{hej,<<"hej">>},3]), "{hej,<<\"hejs\"...>>}" = fmt("~P", [{hej,<<"hejsan">>},4]), "{hej,<<\"hej\">>}" = fmt("~P", [{hej,<<"hej">>},6]), "<<...>>" = fmt("~P", [<<"hej">>,1]), "<<\"hejs\"...>>" = fmt("~P", [<<"hejsan">>,2]), "<<\"hej\">>" = fmt("~P", [<<"hej">>,4]), "{hej,<<127,...>>}" = fmt("~P", [{hej,<<127:8,<<"hej">>/binary>>},4]), "{hej,<<127,104,101,...>>}" = fmt("~P", [{hej,<<127:8,<<"hej">>/binary>>},6]), B = list_to_binary(lists:duplicate(30000, $a)), "<<\"aaaa"++_ = fmt("~P", [B, 20000]), ok. %% OTP-6282. ~p truncates strings (like binaries) depending on depth. otp_6282(Config) when is_list(Config) -> "[]" = p("", 1, 20, 1), "[]" = p("", 1, 20, -1), "[...]" = p("a", 1, 20, 1), "\"a\"" = p("a", 1, 20, 2), "\"aa\"" = p("aa", 1, 20, 2), "\"aaa\"" = p("aaa", 1, 20, 2), "\"aaaa\"" = p("aaaa", 1, 20, 2), "\"a\"" = p("a", 1, 20, -1), "[97,97,1000]" = p([$a,$a,1000], 1, 20, 4), S1 = lists:duplicate(200,$a), "[...]" = p(S1, 1, 20, 1), true = "\"" ++ S1 ++ "\"" =:= p(S1, 1, 205, -1), "[97,97,1000|...]" = p([$a,$a,1000,1000], 1, 20, 4), "[[]]" = p([""], 1, 20, 2), "[[]]" = p([""], 1, 20, -1), "[[...]]" = p(["a"], 1, 20, 2), "[\"a\"]" = p(["a"], 1, 20, 3), "[\"aa\"]" = p(["aa"], 1, 20, 3), "[\"aaa\"]" = p(["aaa"], 1, 20, 3), "[\"a\"]" = p(["a"], 1, 20, -1), "[[97,97,1000]]" = p([[$a,$a,1000]], 1, 20, 5), "[[...]]" = p([S1], 1, 20, 2), true = "[\"" ++ S1 ++ "\"]" =:= p([S1], 1, 210, -1), "[[97,97,1000|...]]" = p([[$a,$a,1000,1000]], 1, 20, 5), "[\"aaaaa\"]" = p(["aaaaa"], 1, 10, 6), ok. %% OTP-6354. io_lib_pretty rewritten. otp_6354(Config) when is_list(Config) -> %% A few tuples: "{}" = p({}, 1, 20, -1), "..." = p({}, 1, 20, 0), "{}" = p({}, 1, 20, 1), "{}" = p({}, 1, 20, 2), "{a}" = p({a}, 1, 20, -1), "..." = p({a}, 1, 20, 0), "{...}" = p({a}, 1, 20, 1), "{a}" = p({a}, 1, 20, 2), "{a,b}" = p({a,b}, 1, 20, -1), "..." = p({a,b}, 1, 20, 0), "{...}" = p({a,b}, 1, 20, 1), "{a,...}" = p({a,b}, 1, 20, 2), "{a,b}" = p({a,b}, 1, 20, 3), "{}" = p({}, 1, 1, -1), "..." = p({}, 1, 1, 0), "{}" = p({}, 1, 1, 1), "{}" = p({}, 1, 1, 2), "{a}" = p({a}, 1, 1, -1), "..." = p({a}, 1, 1, 0), "{...}" = p({a}, 1, 1, 1), "{a}" = p({a}, 1, 1, 2), "{a,\n b}" = p({a,b}, 1, 1, -1), "{1,\n b}" = p({1,b}, 1, 1, -1), "..." = p({a,b}, 1, 1, 0), "{...}" = p({a,b}, 1, 1, 1), "{a,...}" = p({a,b}, 1, 1, 2), "{a,\n b}" = p({a,b}, 1, 1, 3), "{{}}" = p({{}}, 1, 1, 2), "{[]}" = p({[]}, 1, 1, 2), bt(<<"{1,2,a,b,{sfdsf,sdfdsfs},[sfsdf,sdfsdf]}">>, p({1,2,a,b,{sfdsf,sdfdsfs},[sfsdf,sdfsdf]}, -1)), bt(<<"{abcd,ddddd,\n ddddd}">>, p({abcd,ddddd,ddddd}, 1,16, -1)), bt(<<"{1,2,a,b,\n {sfdsf,sdfdsfs},\n [sfsdf,sdfsdf]}">>, p({1,2,a,b,{sfdsf,sdfdsfs},[sfsdf,sdfsdf]}, 1, 35, 100)), "{1,{1,{2,3}}}" = p({1,{1,{2,3}}}, 1, 80, 100), bt(<<"{wwwww,{wwwww,{wwwww,{wwwww,{wwwww,lkjsldfj,klsdjfjklds,\n" " sdkfjdsl,sdakfjdsklj,sdkljfsdj}}}}}">>, p({wwwww,{wwwww,{wwwww,{wwwww,{wwwww,lkjsldfj,klsdjfjklds, sdkfjdsl,sdakfjdsklj,sdkljfsdj}}}}}, -1)), bt(<<"{wwwww,\n" " {wwwww,\n" " {wwwww,\n" " {wwwww,\n" " {wwwww,\n" " {lkjsldfj,\n" " {klsdjfjklds,\n" " {klajsljls,\n" " #aaaaaaaaaaaaaaaaaaaaa" "aaaaaaaaaaaaaaaaaaaaaaaaaaaaa{}}}}}}}}}">>, p({wwwww,{wwwww,{wwwww,{wwwww,{wwwww,{lkjsldfj, {klsdjfjklds,{klajsljls, {aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa}}}}}}}}}, -1)), "{{...},...}" = p({{a,b},{a,b,c},{d,e,f}},1,8,2), %% Closing brackets and parentheses count: "{{a,b,c},\n {{1,2,\n 3}}}" = p({{a,b,c},{{1,2,3}}},1,11,-1), %% With line breaks: "{{a,b,c},\n [1,2,\n 3]}" = p({{a,b,c},[1,2,3]},1,10,-1), %% With line breaks: "[{{a,b,c},\n {1,2,\n 3}}]" = p([{{a,b,c},{1,2,3}}],1,12,-1), %% A few lists: "[]" = p([], 1, 20, -1), "..." = p([], 1, 20, 0), "[]" = p([], 1, 20, 1), "[]" = p([], 1, 20, 2), "[a]" = p([a], 1, 20, -1), "..." = p([a], 1, 20, 0), "[...]" = p([a], 1, 20, 1), "[a]" = p([a], 1, 20, 2), "[a,b]" = p([a,b], 1, 20, -1), "..." = p([a,b], 1, 20, 0), "[...]" = p([a,b], 1, 20, 1), "[a|...]" = p([a,b], 1, 20, 2), "[a,b]" = p([a,b], 1, 20, 3), "[a|b]" = p([a|b], 1, 20, -1), "..." = p([a|b], 1, 20, 0), "[...]" = p([a|b], 1, 20, 1), "[a|...]" = p([a|b], 1, 20, 2), "[a|b]" = p([a|b], 1, 20, 3), "[]" = p([], 1, 1, -1), "..." = p([], 1, 1, 0), "[]" = p([], 1, 1, 1), "[]" = p([], 1, 1, 2), "[a]" = p([a], 1, 1, -1), "..." = p([a], 1, 1, 0), "[...]" = p([a], 1, 1, 1), "[a]" = p([a], 1, 1, 2), "[a,\n b]" = p([a,b], 1, 1, -1), "..." = p([a,b], 1, 1, 0), "[...]" = p([a,b], 1, 1, 1), "[a|...]" = p([a,b], 1, 1, 2), "[a,\n b]" = p([a,b], 1, 1, 3), "[a|\n b]" = p([a|b], 1, 1, -1), "..." = p([a|b], 1, 1, 0), "[...]" = p([a|b], 1, 1, 1), "[a|...]" = p([a|b], 1, 1, 2), "[a|\n b]" = p([a|b], 1, 1, 3), "[{}]" = p([{}], 1, 1, 2), "[[]]" = p([[]], 1, 1, 2), bt(<<"[1,2,a,b,{sfdsf,sdfdsfs},[sfsdf,sdfsdf]]">>, p([1,2,a,b,{sfdsf,sdfdsfs},[sfsdf,sdfsdf]], -1)), bt(<<"[1,2,a,b,\n {sfdsf,sdfdsfs},\n [sfsdf,sdfsdf]]">>, p([1,2,a,b,{sfdsf,sdfdsfs},[sfsdf,sdfsdf]], 1, 35, 100)), %% Element #8 is not printable: "[49," ++ _ = p("1234567"++[3,4,5,6,7], 1, 100, 9), %% "\"1234567\"..." = p("1234567"++[3,4,5,6,7], 1, 100, 8), %% A few records: %% -record(a, {}). %% -record(a, {}). "..." = p({a}, 0), "{...}" = p({a}, 1), "#a{}" = p({a}, 2), "#a{}" = p({a}, -1), %% -record(b, {f}). "{...}" = p({b}, 1), "..." = p({b,c}, 0), "{...}" = p({b,c}, 1), "#b{...}" = p({b,c}, 2), "#b{f = c}" = p({b,c}, 3), "#b{f = c}" = p({b,c}, -1), "..." = p({b,{c,d}}, 0), "{...}" = p({b,{c,d}}, 1), "#b{...}" = p({b,{c,d}}, 2), "#b{f = {...}}" = p({b,{c,d}}, 3), "#b{f = {c,...}}" = p({b,{c,d}}, 4), "#b{f = {c,d}}" = p({b,{c,d}}, 5), "#b{f = {...}}" = p({b,{b,c}}, 3), "#b{f = #b{...}}" = p({b,{b,c}}, 4), "#b{f = #b{f = c}}" = p({b,{b,c}}, 5), %% -record(c, {f1, f2}). "#c{f1 = d,f2 = e}" = p({c,d,e}, -1), "..." = p({c,d,e}, 0), "{...}" = p({c,d,e}, 1), "#c{...}" = p({c,d,e}, 2), "#c{f1 = d,...}" = p({c,d,e}, 3), "#c{f1 = d,f2 = e}" = p({c,d,e}, 4), %% -record(d, {a..., b..., c.., d...}). bt(<<"#d{aaaaaaaaaaaaaaaaaaaa = 1,bbbbbbbbbbbbbbbbbbbb = 2,\n" " cccccccccccccccccccc = 3,dddddddddddddddddddd = 4,\n" " eeeeeeeeeeeeeeeeeeee = 5}">>, p({d,1,2,3,4,5}, -1)), "..." = p({d,1,2,3,4,5}, 0), "{...}" = p({d,1,2,3,4,5}, 1), "#d{...}" = p({d,1,2,3,4,5}, 2), "#d{aaaaaaaaaaaaaaaaaaaa = 1,...}" = p({d,1,2,3,4,5}, 3), bt(<<"#d{aaaaaaaaaaaaaaaaaaaa = 1,bbbbbbbbbbbbbbbbbbbb = 2,...}">>, p({d,1,2,3,4,5}, 4)), bt(<<"#d{aaaaaaaaaaaaaaaaaaaa = 1,bbbbbbbbbbbbbbbbbbbb = 2,\n" " cccccccccccccccccccc = 3,...}">>, p({d,1,2,3,4,5}, 5)), % longer than 80 characters... bt(<<"#d{aaaaaaaaaaaaaaaaaaaa = 1,bbbbbbbbbbbbbbbbbbbb = 2,\n" " cccccccccccccccccccc = 3,dddddddddddddddddddd = 4,...}">>, p({d,1,2,3,4,5}, 6)), bt(<<"#d{aaaaaaaaaaaaaaaaaaaa = 1,bbbbbbbbbbbbbbbbbbbb = 2,\n" " cccccccccccccccccccc = 3,dddddddddddddddddddd = 4,\n" " eeeeeeeeeeeeeeeeeeee = 5}">>, p({d,1,2,3,4,5}, 7)), bt(<<"#rrrrr{\n" " f1 = 1,\n" " f2 = #rrrrr{f1 = a,f2 = b,f3 = c},\n" " f3 =\n" " #rrrrr{\n" " f1 = h,f2 = i,\n" " f3 =\n" " #rrrrr{\n" " f1 = aa,\n" " f2 =\n" " #rrrrr{\n" " f1 = #rrrrr{f1 = a,f2 = b,f3 = c},\n" " f2 = 2,f3 = 3},\n" " f3 = bb}}}">>, p({rrrrr,1,{rrrrr,a,b,c},{rrrrr,h,i, {rrrrr,aa,{rrrrr,{rrrrr,a,b,c}, 2,3},bb}}}, -1)), bt(<<"#d{aaaaaaaaaaaaaaaaaaaa = 1,\n" " bbbbbbbbbbbbbbbbbbbb =\n" " #d{aaaaaaaaaaaaaaaaaaaa = a,bbbbbbbbbbbbbbbbbbbb = b,\n" " cccccccccccccccccccc = c,dddddddddddddddddddd = d,\n" " eeeeeeeeeeeeeeeeeeee = e},\n" " cccccccccccccccccccc = 3,\n" " dddddddddddddddddddd =\n" " #d{aaaaaaaaaaaaaaaaaaaa = h,bbbbbbbbbbbbbbbbbbbb = i,\n" " cccccccccccccccccccc =\n" " #d{aaaaaaaaaaaaaaaaaaaa = aa," "bbbbbbbbbbbbbbbbbbbb = bb,\n" " cccccccccccccccccccc =\n" " #d{aaaaaaaaaaaaaaaaaaaa = 1," "bbbbbbbbbbbbbbbbbbbb = 2,\n" " cccccccccccccccccccc = 3," "dddddddddddddddddddd = 4,\n" " eeeeeeeeeeeeeeeeeeee = 5},\n" " dddddddddddddddddddd = dd," "eeeeeeeeeeeeeeeeeeee = ee},\n" " dddddddddddddddddddd = k," "eeeeeeeeeeeeeeeeeeee = l},\n" " eeeeeeeeeeeeeeeeeeee = 5}">>, p({d,1,{d,a,b,c,d,e},3,{d,h,i,{d,aa,bb,{d,1,2,3,4,5},dd,ee}, k,l},5}, -1)), A = aaaaaaaaaaaaa, %% Print the record with dots at the end of the line (Ll = 80). "{aaaaaaa" ++ _ = p({A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A, {A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A, {A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A, {A,{A,{ggg,{hhh,{ii,{jj,{kk,{ll,{mm,{nn,{oo,{d,1,2,3,4,5} }}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} }}}}}}}}}}}}}}}}, 146), "{aaaaaaa" ++ _ = p({A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A, {A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A, {A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{A, {A,{A,{A,{A,{A,{ggg,{hhh,{ii,{jj,{kk,{ll,{mm,{nn,{oo,{a} }}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} }}}}}}}}}}}}}}}}}}}, 152), bt(<<"{aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {g,{h,{i,{j,{k,{l,{m,{n,{o,#" "d{...}}}}}}}}}}}}}}}}">>, p({A,{A,{A,{A,{A,{A, {g,{h,{i,{j,{k,{l,{m,{n,{o,{d,1,2,3,4,5}}}}}}}}}}}}}}}}, 32)), bt(<<"{a,#b{f = {c,{d,{e,{f,...}}}}}}">>, p({a,{b,{c,{d,{e,{f,g}}}}}}, 12)), bt(<<"{aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,#c{f1 = ddd," "f2 = eee}}}}}}}}}}">>, p({A,{A,{A,{A,{A,{A,{A,{A,{A,{c,ddd,eee}}}}}}}}}}, 100)), bt(<<"{aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,{aaaaaaaaaaaaa,{aaaaaaaaaaaaa,...}}}}">>, p({A,{A,{A,{A,{b}}}}}, 8)), bt(<<"{aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,{aaaaaaaaaaaaa,{aaaaaaaaaaaaa,...}}}}}">>, p({A,{A,{A,{A,{A,{b}}}}}}, 10)), bt(<<"{aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa," "{aaaaaaaaaaaaa,#a{}}}}}}}}}}}">>, p({A,{A,{A,{A,{A,{A,{A,{A,{A,{A,{a}}}}}}}}}}}, 23)), bt(<<"{aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n", " #rrrrr{\n" " f1 = kljlkjlksfdgkljlsdkjf," "f2 = kljkljsdaflkjlkjsdf,...}}}}">>, p({A,{A,{A,{rrrrr, kljlkjlksfdgkljlsdkjf, kljkljsdaflkjlkjsdf, asdfkldsjfklkljsdklfds}}}}, 10)), bt(<<"{aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {aaaaaaaaaaaaa,\n" " {g,{h,{i,{j,{k,{l,{m,{n," "{o,#a{}}}}}}}}}}}}}}}}}">>, p({A,{A,{A,{A,{A,{A,{A, {g,{h,{i,{j,{k,{l,{m,{n,{o,{a}}}}}}}}}}}}}}}}}, 100)), bt(<<"#c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 = #c{f1 = #c{f1 = #c{f1 = a," "f2 = b},f2 = b},f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b}">>, p({c,{c,{c,{c,{c,{c,{c,{c,{c,{c,{c,{c,a,b},b},b},b},b},b}, b},b},b},b},b},b}, -1)), bt(<<"#rrrrr{\n" " f1 =\n" " #rrrrr{\n" " f1 =\n" " #rrrrr{\n" " f1 =\n" " #rrrrr{\n" " f1 =\n" " {rrrrr,{rrrrr,a,#rrrrr{f1 = {rrrrr,1,2},f2 = a," "f3 = b}},b},\n" " f2 = {rrrrr,c,d},\n" " f3 = {rrrrr,1,2}},\n" " f2 = 1,f3 = 2},\n" " f2 = 3,f3 = 4},\n" " f2 = 5,f3 = 6}">>, p({rrrrr,{rrrrr,{rrrrr,{rrrrr,{rrrrr,{rrrrr,a,{rrrrr, {rrrrr,1,2},a,b}},b},{rrrrr,c,d},{rrrrr,1,2}}, 1,2},3,4},5,6}, -1)), "{aaa,\n {aaa," ++ _ = p({aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa, {aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa, {aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa, {aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa,{aaa, {aaa,a}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}, 1, 80, -1), %% A few other cases... "{a,#Fun<" ++ _ = lists:flatten(io_lib_pretty:print({a,fun fmt/2})), "#Fun<" ++ _ = io_lib_pretty:print(fun() -> foo end), %% No support for negative columns any more: "[a,\n [b,\n c,\n d,\n [e,\n f]],\n c]" = p([a,[b,c,d,[e,f]],c], -1, 2, 10), "[a,\n [b,\n c,\n d,\n [e,\n f]],\n c]" = p([a,[b,c,d,[e,f]],c], 0, 2, 10), %% 20 bytes are tried first, then the rest. Try 21 bytes: L = lists:duplicate(20, $a), %% bt(<<"<<\"aaaaaa\"\n \"aaaaaa\"\n \"aaaaaa\"\n \"aaa\">>">>, bt(<<"<<\"aaaaaaaaaaaaaaaaaaaaa\">>">>, p(list_to_binary([$a | L]), 1, 10, -1)), "<<97," ++ _ = p(list_to_binary(L ++ [3]), 1, 10, -1), "<<97," ++ _ = p(list_to_binary(L ++ [3]), 1, 10, 22), "\"\\b\\t\\n\\v\\f\\r\\e\250\"" = p([8,9,10,11,12,13,27,168], 1, 40, -1), %% "\"\\b\\t\\n\"\n \"\\v\\f\\r\"\n \"\\e\250\"" = "\"\\b\\t\\n\\v\\f\\r\\e¨\"" = p([8,9,10,11,12,13,27,168], 1, 10, -1), "\"\\b\\t\\n\\v\\f\\r\\e\250\"" = p([8,9,10,11,12,13,27,168], 1, 40, 100), %% "\"\\e\\t\\nab\"\n \"cd\"" = "\"\\e\\t\\nabcd\"" = p("\e\t\nabcd", 1, 12, -1), %% DEL (127) is special... "[127]" = p("\d", 1, 10, -1), "[127]" = p([127], 1, 10, 100), "<<\"\\b\\t\\n\\v\\f\\r\\e\250\">>" = p(<<8,9,10,11,12,13,27,168>>, 1, 40, -1), "<<\"\\b\\t\\n\\v\\f\\r\\e\250\">>" = p(<<8,9,10,11,12,13,27,168>>, 1, 10, -1), "<<127>>" = p(<<127>>, 1, 10, 100), %% "Partial" string binaries: "<<\"he\"...>>" = p(list_to_binary("he"++[3]), 1, 80, 2), "<<\"he\"...>>" = p(list_to_binary("he"++[3]), 1, 80, 3), "<<104,101,3>>" = p(list_to_binary("he"++[3]), 1, 80, 4), "<<...>>" = p(list_to_binary([3] ++ "he"), 1, 80, 1), "<<3,...>>" = p(list_to_binary([3] ++ "he"), 1, 80, 2), "<<3,104,...>>" = p(list_to_binary([3] ++ "he"), 1, 80, 3), "<<\"12345678901234567890\"...>>" = p(list_to_binary("12345678901234567890"++[3]), 1, 80, 8), "<<\"12345678901234567890\"...>>" = p(list_to_binary("12345678901234567890"++[3]), 1, 80, 21), "<<49," ++ _ = p(list_to_binary("12345678901234567890"++[3]), 1, 80, 22), "{sdfsdfj,\n 23" ++ _ = p({sdfsdfj,23423423342.23432423}, 1, 17, -1), bt(<<"kljkljlksdjjlf kljalkjlsdajafasjdfj [kjljklasdf,kjlljsfd,sdfsdkjfsd,kjjsdf,jl, lkjjlajsfd|jsdf]">>, fmt("~w ~w ~p", [kljkljlksdjjlf, kljalkjlsdajafasjdfj, [kjljklasdf,kjlljsfd,sdfsdkjfsd,kjjsdf,jl,lkjjlajsfd | jsdf]])), %% Binaries are split as well: bt(<<"<<80,100,0,55,55,55,55,55,55,55,55,55,\n " "55,55,55,55,55,55,55,...>>">>, p(<<80,100,0,55,55,55,55,55,55,55,55,55,55,55,55,55,55,55, 55,55,55,55,55,55,55,55,55,55,55,55>>,1,40,20)), bt(<<"<<80,100,0,55,55,55,55,55,55,55,55,55,\n " "55,55,55,55,55,55,55,55,55,55,55,55,\n 55,55,55,55,55,55>>">>, p(<<80,100,0,55,55,55,55,55,55,55,55,55,55,55,55,55,55,55, 55,55,55,55,55,55,55,55,55,55,55,55>>,1,40,-1)), "<<0,0,0,\n ...>>" = p(<<0,0,0,0,0>>, 1, 10, 4), %% ~W now uses ",..." when printing tuples "[a,b|...]" = fmt("~W", [[a,b,c,d,e], 3]), "{a,b,...}" = fmt("~W", [{a,b,c,d,e}, 3]), ok. %% OTP-6495. io_lib_pretty bugfix. otp_6495(Config) when is_list(Config) -> bt(<<"[120,120,120,120,120,120,120,120,120,120,120,120,120,120," "120,120,120,120,120]<<1>>">>, fmt("~w~p", ["xxxxxxxxxxxxxxxxxxx", <<1>>])), ok. %% OTP-6517. The Format argument of fwrite can be a binary. otp_6517(Config) when is_list(Config) -> "string" = fmt(<<"~s">>, [<<"string">>]), ok. %% OTP-6502. Bits. otp_6502(Config) when is_list(Config) -> bt(<< "[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25]" "<<0,0,8,\n" " " " 1:1>>">>, fmt("~w~p", [lists:seq(0, 25), <<17:25>>])), ok. %% OTP-7421. Soft limit of 60 chars removed when pretty printing. otp_7421(Config) when is_list(Config) -> bt(<<"{aa,bb,\n" " c,dd,\n" " eee,\n" " fff}">>, rp({aa,bb,c,dd,eee,fff}, 1, 80, -1, 5, none)), bt(<<"{aa,bb,\n" " c,\n" " dd,\n" " eee,\n" " fff}">>, rp({aa,bb,c,dd,eee,fff}, 1, 80, -1, 4, none)), ok. bt(Bin, R) -> R = binary_to_list(Bin). p(Term, D) -> rp(Term, 1, 80, D). p(Term, Col, Ll, D) -> rp(Term, Col, Ll, D, none). rp(Term, Col, Ll, D) -> rp(Term, Col, Ll, D, fun rfd/2). -define(MAXCS, 60). rp(Term, Col, Ll, D, RF) -> rp(Term, Col, Ll, D, ?MAXCS, RF). rp(Term, Col, Ll, D, M, none) -> rp(Term, Col, Ll, D, M, fun(_, _) -> no end); rp(Term, Col, Ll, D, M, RF) -> %% io:format("~n~n*** Col = ~p Ll = ~p D = ~p~n~p~n-->~n", %% [Col, Ll, D, Term]), R = io_lib_pretty:print(Term, Col, Ll, D, M, RF), %% io:format("~s~n<--~n", [R]), lists:flatten(io_lib:format("~s", [R])). fmt(Fmt, Args) -> FormatList = io_lib:scan_format(Fmt, Args), {Fmt2, Args2} = io_lib:unscan_format(FormatList), Chars1 = lists:flatten(io_lib:build_text(FormatList)), Chars2 = lists:flatten(io_lib:format(Fmt2, Args2)), Chars3 = lists:flatten(io_lib:format(Fmt, Args)), Chars1 = Chars2, Chars2 = Chars3, Chars3. rfd(a, 0) -> []; rfd(b, 1) -> [f]; rfd(c, 2) -> [f1, f2]; rfd(e, 3) -> [f, g, h]; rfd(d, 5) -> [aaaaaaaaaaaaaaaaaaaa, bbbbbbbbbbbbbbbbbbbb, cccccccccccccccccccc, dddddddddddddddddddd, eeeeeeeeeeeeeeeeeeee]; rfd(rrrrr, 3) -> [f1, f2, f3]; rfd(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, 0) -> []; rfd('\x{400}', 1) -> ['\x{400}']; rfd(_, _) -> no. %% The examples in io(3) and io_lib(3). manpage(Config) when is_list(Config) -> %% The examples that write or print only, not the ones that read... bt(<<"Hello world!\n">>, fmt("Hello world!~n", [])), bt(<<"| aaaaa|bbbbb |ccccc|\n">>, % bugfix fmt("|~10.5c|~-10.5c|~5c|~n", [$a, $b, $c])), bt(<<"|**********|\n">>, fmt("|~10w|~n", [{hey, hey, hey}])), bt(<<"|{hey,hey,h|\n">>, fmt("|~10s|~n", [io_lib:write({hey, hey, hey})])), T = [{attributes,[[{id,age,1.50000},{mode,explicit}, {typename,"INTEGER"}], [{id,cho},{mode,explicit},{typename,'Cho'}]]}, {typename,'Person'},{tag,{'PRIVATE',3}},{mode,implicit}], bt(<<"[{attributes,[[{id,age,1.5},{mode,explicit},{typename," "[73,78,84,69,71,69,82]}],[{id,cho},{mode,explicit}," "{typename,'Cho'}]]},{typename,'Person'},{tag,{'PRIVATE',3}}," "{mode,implicit}]\n">>, fmt("~w~n", [T])), bt(<<"[{attributes,[[{id,age,1.5},\n" " {mode,explicit},\n" " {typename,\"INTEGER\"}],\n" " [{id,cho},{mode,explicit},{typename,'Cho'}]]},\n" " {typename,'Person'},\n" " {tag,{'PRIVATE',3}},\n" " {mode,implicit}]\n">>, fmt("~62p~n", [T])), bt(<<"Here T = [{attributes,[[{id,age,1.5},\n" " {mode,explicit},\n" " {typename,\"INTEGER\"}],\n" " [{id,cho},\n" " {mode,explicit},\n" " {typename,'Cho'}]]},\n" " {typename,'Person'},\n" " {tag,{'PRIVATE',3}},\n" " {mode,implicit}]\n">>, fmt("Here T = ~62p~n", [T])), bt(<<"[{attributes,[[{id,age,1.5},{mode,explicit}," "{typename,...}],[{id,cho},{mode,...},{...}]]}," "{typename,'Person'},{tag,{'PRIVATE',3}},{mode,implicit}]\n">>, fmt("~W~n", [T,9])), bt(<<"[{attributes,[[{id,age,1.5},{mode,explicit},{typename,...}]," "\n " "[{id,cho},{mode,...},{...}]]},\n {typename,'Person'},\n " "{tag,{'PRIVATE',3}},\n {mode,implicit}]\n">>, fmt("~62P~n", [T,9])), "1F\n" = fmt("~.16B~n", [31]), "-10011\n" = fmt("~.2B~n", [-19]), "5Z\n" = fmt("~.36B~n", [5*36+35]), "10#31\n" = fmt("~X~n", [31,"10#"]), "-0x1F\n" = fmt("~.16X~n", [-31,"0x"]), "10#31\n" = fmt("~.10#~n", [31]), "-16#1F\n" = fmt("~.16#~n", [-31]), "abc def 'abc def' {foo,1} A \n" = fmt("~s ~w ~i ~w ~c ~n", ['abc def', 'abc def', {foo, 1},{foo, 1}, 65]), %% fmt("~s", [65]), %% io_lib(3) bt(<<"{1,[2],[3],[...],...}">>, lists:flatten(io_lib:write({1,[2],[3],[4,5],6,7,8,9}, 5))), ok. %% OTP-6708. Fewer newlines when pretty-printing. otp_6708(Config) when is_list(Config) -> bt(<<"[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,\n" " 23,24,25,26,27,28,29|...]">>, p(lists:seq(1,1000), 30)), bt(<<"{lkjasklfjsdak,mlkasjdflksj,klasdjfklasd,jklasdfjkl,\n" " jklsdjfklsd,masdfjkkl}">>, p({lkjasklfjsdak,mlkasjdflksj,klasdjfklasd,jklasdfjkl, jklsdjfklsd, masdfjkkl}, -1)), bt(<<"#b{f = {lkjljalksdf,jklaskfjd,kljasdlf,kljasdf,kljsdlkf,\n" " kjdd}}">>, p({b, {lkjljalksdf,jklaskfjd,kljasdlf,kljasdf,kljsdlkf,kjdd}}, -1)), bt(<<"#b{f = {lkjljalksdf,jklaskfjd,kljasdlf,kljasdf,kljsdlkf,\n" " kdd}}">>, p({b, {lkjljalksdf,jklaskfjd,kljasdlf,kljasdf,kljsdlkf,kdd}}, -1)), bt(<<"#e{f = undefined,g = undefined,\n" " h = #e{f = 11,g = 22,h = 333}}">>, p({e,undefined,undefined,{e,11,22,333}}, -1)), bt(<<"[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21|\n" " apa11]">>, p(lists:seq(1,21) ++ apa11, -1)), bt(<<"[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,\n" " 23,\n" " {{abadalkjlasdjflksdajfksdklfsdjlkfdlskjflsdj" "flsdjfldsdsdddd}}]">>, p(lists:seq(1,23) ++ [{{abadalkjlasdjflksdajfksdklfsdjlkfdlskjflsdjflsdjfldsdsdddd}}], -1)), bt(<<"{lkjasdf,\n" " {kjkjsd,\n" " {kjsd,\n" " {kljsdf,\n" " {kjlsd,{dkjsdf,{kjlds,{kljsd,{kljs," "{kljlkjsd}}}}}}}}}}">>, p({lkjasdf,{kjkjsd,{kjsd, {kljsdf, {kjlsd, {dkjsdf,{kjlds, {kljsd,{kljs,{kljlkjsd}}}}}}}}}}, -1)), bt(<<"{lkjasdf,\n" " {kjkjsd,\n" " {kjsd,{kljsdf,{kjlsd,{dkjsdf,{kjlds," "{kljsd,{kljs}}}}}}}}}">>, p({lkjasdf,{kjkjsd,{kjsd, {kljsdf,{kjlsd,{dkjsdf, {kjlds,{kljsd,{kljs}}}}}}}}}, -1)), bt(<<"<<1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,\n" " 22,23>>">>, p(list_to_binary(lists:seq(1,23)), -1)), bt(<<"<<100,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,\n" " 27>>">>, p(list_to_binary([100|lists:seq(10,27)]), -1)), bt(<<"<<100,101,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,\n" " 26>>">>, p(list_to_binary([100,101|lists:seq(10,26)]), -1)), bt(<<"{{<<100,101,102,10,11,12,13,14,15,16,17,18,19,20,21,22,\n" " 23>>}}">>, p({{list_to_binary([100,101,102|lists:seq(10,23)])}}, -1)), bt(<<"[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22|\n" " ap]">>, p(lists:seq(1,22) ++ ap, -1)), bt(<<"[1,2,3,4,5,6,7,8,9,10,{},[],\n <<>>,11,12,13,14,15]">>, p(lists:seq(1,10) ++ [{},[],<<>>] ++ lists:seq(11,15),1,30,-1)), bt(<<"[ddd,ddd,\n" " {1},\n" " [1,2],\n" " ddd,kdfd,\n" " [[1,2],a,b,c],\n" " <<\"foo\">>,<<\"bar\">>,1,\n" " {2}]">>, p([ddd,ddd,{1},[1,2],ddd,kdfd,[[1,2],a,b,c],<<"foo">>,<<"bar">>, 1,{2}],1,50,-1)), bt(<<"{dskljsadfkjsdlkjflksdjflksdjfklsdjklfjsdklfjlsdjfkl,jksd,\n" " " "lkjsdf,kljsdf,kljsf,kljsdf,kljsdf,jkldf,jklsdf,kljsdf,\n" " " "kljsdf,jklsdf,lkjfd,lkjsdf,kljsdf,kljsdf,lkjsdf,kljsdf,\n" " " "lkjsdfsd,kljsdf,kjsfj}">>, p({dskljsadfkjsdlkjflksdjflksdjfklsdjklfjsdklfjlsdjfkl,jksd, lkjsdf,kljsdf,kljsf,kljsdf,kljsdf,jkldf,jklsdf,kljsdf, kljsdf,jklsdf,lkjfd,lkjsdf,kljsdf,kljsdf,lkjsdf,kljsdf, lkjsdfsd,kljsdf,kjsfj}, 1, 110, -1)), bt(<<"{dskljsadfkjsdlkjflksdjflksdjfklsdjklfjsdklfjlsdjfkl," "#d{aaaaaaaaaaaaaaaaaaaa = 1,\n" " " "bbbbbbbbbbbbbbbbbbbb = 2,cccccccccccccccccccc = 3,\n" " " "dddddddddddddddddddd = 4,eeeeeeeeeeeeeeeeeeee = 5}}">>, rp({dskljsadfkjsdlkjflksdjflksdjfklsdjklfjsdklfjlsdjfkl, {d,1,2,3,4,5}},1,200,-1)), ok. -define(ONE(N), ((1 bsl N) - 1)). -define(ALL_ONES, ((1 bsl 52) - 1)). otp_7084() -> [{timetrap,{minutes,6}}]. %% valgrind needs a lot of time %% OTP-7084. Printing floating point numbers nicely. otp_7084(Config) when is_list(Config) -> L = [{g_warm_up, fun g_warm_up/0}, {g_big_pos_float, fun g_big_pos_float/0}, {g_small_neg_float, fun g_small_neg_float/0}, {g_close_to_zero, fun g_close_to_zero/0}, {g_denormalized, fun g_denormalized/0}, {g_normalized, fun g_normalized/0}, {g_choice, fun g_choice/0}, {g_misc, fun g_misc/0}], F = fun({M,T}) -> io:format("~p~n", [M]), T() end, R = try lists:foreach(fun(T) -> F(T) end, L), ok catch throw:Reason -> Reason end, R. g_warm_up() -> g_t(0.5), g_t(-0.5), g_t((1 bsl 55) * 0.5), g_t(-(1 bsl 55) * 0.5), g_t(1.6799127650033296e+308), g_t(pack(1, 0, 2#1010101010001100101000010111100101000000101100110001)), g_t(pack(1, 0, 2#0001010000001001110100000101010101001110010001010110)), g_t(234324324.23432432432432), ok. g_big_pos_float() -> %% The greatest positive float: ft({{0,2046,?ONE(52)}, 100, 0}), ok. g_small_neg_float() -> %% The least negative float: ft({{1,2046,?ONE(52)}, 0, 100}), ok. g_close_to_zero() -> %% A few denormalized floats close to zero: ft({{0,0,0}, 100, 100}), g_t(pack(1, 0, 0)), % -0.0 ok. g_denormalized() -> %% Denormalized floats (mantissa carry): %% D = 5, %% Faster: D = 1, [ft({{S,0,?ONE(N)},D,D}) || S <- [0,1], N <- lists:seq(0, 52)], ok. g_normalized() -> %% Normalized floats (exponent carry): %% D = 5, %% Faster: D = 1, [ft({{S,E,?ONE(52)},D,D}) || S <- [0,1], E <- lists:seq(0, 2045)], ok. g_choice() -> %% Exponent should be used when and only when the string is shorter. %% (g_misc/0 checks this too, and probably more throughly). L = [0.0003, 3.0e-5, 3.3e-5, 3.3e-4, 314.0, 314.1, 310.0, 3.1e6, -100.0, 3.34e4, 3.0e3, 3.34333e9, 3.3433323e10, 33433323700.0, 0.00197963, 1.97963e-4], lists:foreach(fun(V) -> g_t(V) end, L), ok. g_misc() -> L_0_308 = lists:seq(0, 308), L_0_307 = lists:seq(0, 307), %% Faster: L_1_9 = [1,5,9], L_0_9 = [0,1,5,9], %% 1.0,10.0, ... 2.0,20.0, ... 9.0,90.0, ... -1,-10, ... -2.0,-20.0... [g_t(S*T*pow10(N)) || S <- [1.0, -1.0], T <- L_1_9, N <- L_0_307], %% 1.0,1.0/10,1.0/100,... 2.0,2.0/10,2.0/100, ... 9.0,9.0/10,9.0/100, %% -1.0,-1.0/10,... -9.0,-9.0/10... [g_t(S*T/pow10(N)) || S <- [1.0, -1.0], T <- L_1_9, N <- L_0_308], %% 0.0,1.0,2.0,...,9.0, 0.0,10.0,20.0,...,90.0,... %% 0.0,-1.0,-2.0,...,-9.0, 0.0,-10.0,-20.0,...,-90.0,... [g_t(S*list_to_float([D+$0]++lists:duplicate(N, $0)++".0")) || S <- [1.0,-1.0], N <- lists:seq(0, 300), D <- L_0_9], %% 0.0,0.1,0.2,...0,9, 0.0,0.01,0.02,...,0.09, %% 0.0,-0.1,-0.2,...-0,9, 0.0,-0.01,-0.02,...,-0.09, [g_t(S*list_to_float("0."++lists:duplicate(N, $0)++[D+$0])) || S <- [1.0,-1.0], N <- lists:seq(0, 300), D <- L_0_9], ok. ft({{S,E,M}, L, G}) -> ft({pack(S, E, M), L, G}); ft({V, Less, Greater}) when is_float(V) -> _ = g_t(V), ft(V, fun inc/1, Greater), ft(V, fun dec/1, Less). ft(V0, F, I) when I > 0, is_float(V0) -> V = F(V0), _ = g_t(V), ft(V, F, I - 1); ft(V, _F, 0) when is_float(V) -> ok. g_t(V) when is_float(V) -> %% io:format("Testing ~.17g~n", [V]), Io = io_lib:format("~p", [V]), Sv = binary_to_list(iolist_to_binary(Io)), ok = g_t(V, Sv), Sv. %% -> ok | THROW %% Checks that Sv is the shortest, correctly rounded string that %% converts to V when read back with list_to_float/1. %% Note: in a few cases the least significant digit has been %% incremented by one, namely when the correctly rounded string %% converts to another floating point number. g_t(0.0, "0.0") -> ok; g_t(V, Sv) -> try g_t_1(V, Sv) catch throw:Reason -> throw({Reason, V, Sv}) end. g_t_1(V, Sv) -> %% Check that the least significant digit is correct. %% If Sv is "3.14" then Sv- is "3.13" and Sv+ is "3.15". %% Check that |V - Sv| =< (V - Sv-) and %% that |V - Sv| =< (Sv+ - V) Times = least_significant_digit(Sv), case Times of 0 -> throw(least_significant_digit_is_zero); _ -> ok end, S = if V < 0 -> -1; true -> 1 end, SvMinus = incr_lsd(Sv, -S), SvPlus = incr_lsd(Sv, S), Svr = s2r(Sv), Svminusr = s2r(SvMinus), Svplusr = s2r(SvPlus), Vr = f2r(V), Abs_Sv_Vr = rat_abs(rat_minus(Svr, Vr)), Svminus_Vr = rat_minus(Vr, Svminusr), Svplus_Vr = rat_minus(Svplusr, Vr), %% The are 45 (negative) floats where SvMinus (SvPlus) is closer %% to V than Sv, but such that when reading SvMinus (SvPlus) wrong %% float would be returned. case rat_lte(Abs_Sv_Vr, Svminus_Vr) of true -> ok; false -> case list_to_float(SvMinus) of V -> throw(vsminus_too_close_to_v); _Vminus -> ok end end, case rat_lte(Abs_Sv_Vr, Svplus_Vr) of true -> ok; false -> case list_to_float(SvPlus) of V -> throw(vsplus_too_close_to_v); _Vplus -> ok end end, %% Check that Sv is closer to V than to V- and V+. %% Check that |V - Sv| =< (V - V-) and %% that |V - Sv| =< (V+ - V) %% (An alternative is V- + V =< 2*Sv =< V + V+.) case inc(V) of inf -> ok; Vplus -> Vplusr = f2r(Vplus), V_Vplusr = rat_minus(Vplusr, Vr), case rat_lte(Abs_Sv_Vr, V_Vplusr) of true -> ok; false -> throw(vplus_too_close_to_sv) end end, case dec(V) of '-inf' -> ok; Vminus -> Vminusr = f2r(Vminus), V_Vminusr = rat_minus(Vr, Vminusr), case rat_lte(Abs_Sv_Vr, V_Vminusr) of true -> ok; false -> throw(vminus_too_close_to_sv) end end, %% Check that no prefix of Sv yields V. %% If Sv is "3.14" then Svlow is "3.1" and Svhigh is "3.2". %% %% This is just one way of getting Svlow and Svhigh: if V < 0 -> SvHigh = step_lsd(Sv, -Times), SvLow = step_lsd(Sv, 10 - Times); true -> SvHigh = step_lsd(Sv, 10 - Times), SvLow = step_lsd(Sv, -Times) end, case catch list_to_float(SvLow) of V -> throw(low_is_v); _ -> ok end, case catch list_to_float(SvHigh) of V -> throw(high_is_v); _ -> ok end, %% Check that Sv has enough digits. case list_to_float(Sv) of V -> ok; _ -> throw(wrong_float) % cannot happen end, g_choice(Sv), ok. %%% In "123450000.0", '5' is the lsd; %%% in "1234.0000", (the last) '0' is the lsd; %%% in "1234.0", '4' is the lsd (the Erlang syntax requires the final zero). %% Trailing zeroes are not significant ("3.0", "5.0e-324", "232000.0"). least_significant_digit("-"++Ds) -> least_significant_digit(Ds); least_significant_digit("+"++Ds) -> least_significant_digit(Ds); least_significant_digit(Ds) -> [MS|_E] = string:tokens(Ds, "eE"), lsd0(lists:reverse(MS))-$0. lsd0("0."++Ds) -> lsd1(Ds); lsd0([D | _Ds]) -> D. lsd1("0"++Ds) -> lsd1(Ds); lsd1([D | _Ds]) -> D. step_lsd(Ds, 0) -> Ds; step_lsd(Ds, N) when N > 0 -> NDs = incr_lsd(Ds, 1), step_lsd(NDs, N - 1); step_lsd(Ds, N) when N < 0 -> NDs = incr_lsd(Ds, -1), step_lsd(NDs, N + 1). %% Assumes Ds represents some other number than zero. %% Increments or decrements the least significant digit. incr_lsd("-"++Ds, I) -> "-"++incr_lsd(Ds, I); incr_lsd(Ds, I) when I =:= 1; I =:= -1 -> [MS|E] = string:tokens(Ds, "eE"), X = ["e" || true <- [E =/= []]], lists:flatten([incr_lsd0(lists:reverse(MS), I, []), X, E]). incr_lsd0("0."++Ds, C, L) -> incr_lsd1(Ds, C, [$., $0 | L]); incr_lsd0(Ds, C, L) -> incr_lsd2(Ds, C, L). incr_lsd1("0"++Ds, C, L) -> incr_lsd1(Ds, C, [$0 | L]); incr_lsd1(Ds, C, L) -> incr_lsd2(Ds, C, L). incr_lsd2([], C, L) -> [C + $0 | L]; incr_lsd2("."++Ds, C, L) -> incr_lsd2(Ds, C, [$. | L]); incr_lsd2("9"++Ds, 1=C, L) -> incr_lsd2(Ds, C, [$0 | L]); incr_lsd2("0"++Ds, -1=C, L) -> incr_lsd2(Ds, C, [$9 | L]); incr_lsd2([D | Ds], C, L) -> lists:reverse(Ds, [D + C | L]). s2r(S) when is_list(S) -> case string:tokens(S, "eE") of [MS] -> s10(MS); [MS, ES] -> Mr = s10(MS), E = list_to_integer(ES), if E < 0 -> rat_multiply(Mr, {1,pow10(-E)}); true -> rat_multiply(Mr, {pow10(E), 1}) end end. s10("-"++S) -> rat_multiply({-1,1},s10(S)); s10(S) -> [AS, BS] = string:tokens(S, "."), Sc = length(BS), A = list_to_integer(AS), B = list_to_integer(BS), F = pow10(Sc), rat_multiply({1,1}, {A*F + B, F}). pow10(X) -> int_pow(10, X). int_pow(X, 0) when is_integer(X) -> 1; int_pow(X, N) when is_integer(X), is_integer(N), N > 0 -> int_pow(X, N, 1). int_pow(X, N, R) when N < 2 -> R * X; int_pow(X, N, R) -> int_pow(X * X, N bsr 1, case N band 1 of 1 -> R * X; 0 -> R end). dec(F) when is_float(F) -> <> = <>, dec({S,BE,M}); dec({1,2046,?ALL_ONES}) -> '-inf'; dec({S,BE,M}) when 0 =< S, S =< 1, 0 =< BE, BE =< 2046, 0 =< M, M =< ?ALL_ONES -> {S1,BE1,M1} = dec1(S, BE, M), <> = <>, <> = <>, true = F1 < F, F1. dec1(0, 0, 0) -> dec1(1, 0, 0); dec1(0, BE, 0) -> {0,BE-1,?ALL_ONES}; dec1(0, BE, M) -> {0,BE,M-1}; dec1(1, BE, ?ALL_ONES) -> {1,BE+1,0}; dec1(1, BE, M) -> {1,BE,M+1}. inc(F) when is_float(F) -> <> = <>, inc({S,BE,M}); inc({0,2046,?ALL_ONES}) -> inf; inc({S,BE,M}) when 0 =< S, S =< 1, 0 =< BE, BE =< 2046, 0 =< M, M =< ?ALL_ONES -> {S1,BE1,M1} = inc1(S, BE, M), <> = <>, <> = <>, true = F1 > F, F1. inc1(0, BE, ?ALL_ONES) -> {0,BE+1,0}; inc1(0, BE, M) -> {0,BE,M+1}; inc1(1, 0, 0) -> inc1(0, 0, 0); inc1(1, BE, 0) -> {1,BE-1,?ALL_ONES}; inc1(1, BE, M) -> {1,BE,M-1}. f2r(F) when is_float(F) -> <> = <>, f2r({S,BE,M}); f2r({S,BE,M}) when 0 =< S, S =< 1, 0 =< BE, BE =< 2046, 0 =< M, M =< ?ALL_ONES -> Vr = {T,N} = f2r1(S, BE, M), <> = <>, case catch T/N of {'EXIT', _} -> ok; TN -> true = F =:= TN end, Vr. f2r1(S, 0, M) -> rat_multiply({sign(S),1}, {M, 1 bsl 1074}); f2r1(S, BE, M) when BE - 1075 >= 0 -> rat_multiply({sign(S),1}, {((1 bsl 52)+M) * (1 bsl (BE-1075)),1}); f2r1(S, BE, M) -> rat_multiply({sign(S),1}, {(1 bsl 52)+M, 1 bsl (1075-BE)}). sign(0) -> 1; sign(1) -> -1. %%% Rational numbers (very scetchy). rat_abs({A,B}) when A < 0 -> {-A,B}; rat_abs({A,B}) -> {A,B}. -ifdef(not_used). rat_equal(R1, R2) -> R1 =:= R2. rat_negate({A,B}) -> {-A,B}. rat_divide({A,B},{C,D}) -> rat_multiply({A,B},{D,C}). -endif. rat_lte({A,B}, {C,D}) when B =/= 0, D =/= 0 -> A*D =< C*B. rat_minus({A,B}, {C,D}) -> rat_plus({A,B}, {-C,D}). rat_plus({A,B}, {C,D}) when B =/= 0, D =/= 0 -> rat_normalize({A*D+B*C, B*D}). rat_multiply({A,B}, {C,D}) when B =/= 0, D =/= 0 -> rat_normalize({A * C, B * D}). rat_normalize({T,N}) when N =/= 0 -> G = gcd(T, N), T2 = T div G, N2 = N div G, if T2 < 0 -> if N2 < 0 -> {-T2,-N2}; true -> {T2,N2} end; true -> if N2 < 0 -> {-T2,-N2}; true -> {T2,N2} end end. gcd(A, 0) -> A; gcd(A, B) -> gcd(B, A rem B). %%% End of rational numbers. %% Check that there is an exponent if and only if characters are %% saved. Note: this assumes floating point numbers "Erlang style" %% (with a single zero before and after the dot, and no extra leading %% zero in the exponent). g_choice(S) when is_list(S) -> [MS | ES0] = string:tokens(S, "eE"), [IS, FS] = string:tokens(MS, "."), Il = length(IS), Fl = length(FS), Pre = z(MS), Post = z(lists:reverse(MS)), ES = lists:append(ES0), El = length(ES), I = list_to_integer(IS), if El =/= 0, ((I > 9) or (I < -9)) -> throw(too_many_digits_before_the_dot); El =/= 0, I =:= 0 -> throw(zero_before_the_dot); Pre =:= 0, Post > 0, El =:= 0 -> % DDDD0000.0 Saving = if I < 0, Il =:= Post + 2 -> Post; I > 0, Il =:= Post + 1 -> Post; I =/= 0, true -> Post + 1 end, Cost = 1 + length(integer_to_list(Il - 1)), if Cost < Saving -> throw(with_exponent_is_shorter); true -> ok end; Pre > 0, Post =:= 0, El =:= 0 -> % 0.000DDDD Saving = if Fl =:= Pre + 1 -> Pre; true -> Pre + 1 end, Cost = 2 + length(integer_to_list(Pre + 1)), if Cost < Saving -> throw(with_exponent_is_shorter); true -> ok end; Pre =:= 0, Post =:= 0, El > 0 -> % D.DDDeDD E = list_to_integer(ES), if E >= 0 -> Cost = E - (Fl - 1); E < 0 -> Cost = -E end, Saving = length(ES) + 1, if Cost =:= Saving -> throw(draw_but_choose_form_without_exponent); Cost < Saving -> throw(without_exponent_is_shorter); true -> ok end; Pre =:= 0, Post =:= 0, El =:= 0 -> % DDD.DDD ok; true -> throw(badly_formed_floating_point_string) end. z("0."++Ds) -> length(lists:takewhile(fun(D) -> D =:= $0 end, Ds)); z(_Ds) -> 0. pack(Sign, Exp, Frac) -> <> = <>, Float. %% Whitebox test of io_lib:collect_line/3. io_lib_collect_line_3_wb(Config) when is_list(Config) -> do_collect_line(binary, "\n"), do_collect_line(binary, "\r\n"), do_collect_line(list, "\n"), do_collect_line(list, "\r\n"), ok. do_collect_line(Mode, Eol) -> First = "abcde", FirstNL = First++"\n", Second = "unterminated line", Data0 = First ++ Eol ++ Second, {Data1,Result0} = do_collect_line_combine(Mode, Data0, FirstNL, Second), do_collect_line_1(Mode, Data1, Result0, []), {Data,Result} = do_collect_line_combine(Mode, "unterm", "unterm", eof), do_collect_line_1(Mode, Data, Result, []). do_collect_line_combine(binary, Data0, FirstNL, eof) -> {list_to_binary(Data0), {stop,list_to_binary(FirstNL),eof}}; do_collect_line_combine(binary, Data0, FirstNL, Second) -> {list_to_binary(Data0), {stop,list_to_binary(FirstNL),list_to_binary(Second)}}; do_collect_line_combine(list, Data0, FirstNL, Second) -> {Data0,{stop,FirstNL,Second}}. do_collect_line_1(Mode, [H|T], Result, Acc0) -> Acc = [H|Acc0], Result = do_collect_line_2(lists:reverse(Acc), T), do_collect_line_1(Mode, T, Result, Acc); do_collect_line_1(Mode, <>, Result, Acc0) -> Acc = [H|Acc0], Result = do_collect_line_2(list_to_binary(lists:reverse(Acc)), T), do_collect_line_1(Mode, T, Result, Acc); do_collect_line_1(_Mode, [], _Result, _Acc) -> ok; do_collect_line_1(_Mode, <<>>, _Result, _Acc) -> ok. do_collect_line_2(Part1, Part2) -> Dummy = make_ref(), do_collect_line_3(start, [Part1,Part2,eof], Dummy). do_collect_line_3(State0, [H|T], Dummy) -> case io_lib:collect_line(State0, H, Dummy) of {stop,Line,Rest} -> {stop,Line,do_collect_line_adjust_rest(Rest, T)}; State -> do_collect_line_3(State, T, Dummy) end. do_collect_line_adjust_rest(eof, []) -> eof; do_collect_line_adjust_rest(eof, <<>>) -> eof; do_collect_line_adjust_rest(Rest, [eof]) -> Rest; do_collect_line_adjust_rest(Rest, [Bin|T]) when is_binary(Bin) -> do_collect_line_adjust_rest(<>, T); do_collect_line_adjust_rest(Rest, [List|T]) when is_list(List) -> do_collect_line_adjust_rest(Rest++List, T). cr_whitespace_in_string(Config) when is_list(Config) -> {ok,["abc"],[]} = io_lib:fread("~s", "\rabc"). io_fread_newlines(Config) when is_list(Config) -> PrivDir = ?privdir(Config), Fname = filename:join(PrivDir, "io_fread_newlines.txt"), F0 = [[0,1,2,3,4,5,6,7,8,9]], F1 = [[0,1,2,3,4,5,6,7,8],[9]], F2 = [[0,1,2,3,4,5,6,7],[8,9]], F3 = [[0,1,2,3,4,5,6],[7,8,9]], F4 = [[0,1,2,3,4,5],[6,7,8,9]], F5 = [[0,1,2,3,4],[5,6,7,8,9]], F6 = [[0,1,2,3],[4,5,6,7],[8,9]], F7 = [[0,1,2],[3,4,5],[6,7,8],[9]], F8 = [[0,1],[2,3],[4,5],[6,7],[8,9]], F9 = [[0],[1],[2],[3],[4],[5],[6],[7],[8],[9]], Newlines = ["\n", "\r\n", "\r"], try io_fread_newlines_1([F0,F1,F2,F3,F4,F5,F6,F7,F8,F9], Fname, Newlines) after file:delete(Fname) end. io_fread_newlines_1(Fs, Fname, [Newline|Newlines]) -> ok = io_fread_newlines_2(Fs, Fname, Newline), io_fread_newlines_1(Fs, Fname, Newlines); io_fread_newlines_1(_, _, []) -> ok. io_fread_newlines_2([F|Fs], Fname, Newline) -> N1 = write_newlines_file(Fname, F, Newline), {F2,N2} = read_newlines_file(Fname), io:format("~w ~p ~w~n~n", [N1,F,N2]), F2 = lists:flatten(F), %% Intermediate newlines are not counted N2 = N1 - (length(F) - 1)*length(Newline), io_fread_newlines_2(Fs, Fname, Newline); io_fread_newlines_2([], _, _) -> ok. write_newlines_file(Fname, F, Newline) -> Bytes = list_to_binary(digit_lines(F, Newline)), io:format("Data: ~w~n~w~n", [Newline,Bytes]), ok = file:write_file(Fname, Bytes), size(Bytes). digit_lines([L], _) -> digit_line(L); digit_lines([L|Ls], Newline) -> [digit_line(L),Newline|digit_lines(Ls, Newline)]. digit_line([D]) -> integer_to_list(D); digit_line([D|Ds]) -> [integer_to_list(D), " ", digit_line(Ds)]. read_newlines_file(Fname) -> {ok,Fd} = file:open(Fname, [read]), try {L, N0} = R0 = read_newlines(Fd, [], 0), case io:fread(Fd, "", "~*s~l") of eof -> R0; {ok,[N]} -> {L,N0+N} end after file:close(Fd) end. read_newlines(Fd, Acc, N0) -> case io:fread(Fd, "", "~d~l") of {ok,[D,N]} -> read_newlines(Fd, [D|Acc], N0+N); eof -> {lists:reverse(Acc),N0} end. %% OTP-8989 io:format for ~F.Ps ignores P in some cases. otp_8989(Suite) when is_list(Suite) -> Hello = "Hello", " Hello" = fmt("~6.6s", [Hello]), " Hello" = fmt("~*.6s", [6,Hello]), " Hello" = fmt("~6.*s", [6,Hello]), " Hello" = fmt("~*.*s", [6,6,Hello]), %% " Hello" = fmt("~6.5s", [Hello]), " Hello" = fmt("~*.5s", [6,Hello]), " Hello" = fmt("~6.*s", [5,Hello]), " Hello" = fmt("~*.*s", [6,5,Hello]), %% " Hell" = fmt("~6.4s", [Hello]), " Hell" = fmt("~*.4s", [6,Hello]), " Hell" = fmt("~6.*s", [4,Hello]), " Hell" = fmt("~*.*s", [6,4,Hello]), %% "Hello" = fmt("~5.5s", [Hello]), "Hello" = fmt("~*.5s", [5,Hello]), "Hello" = fmt("~5.*s", [5,Hello]), "Hello" = fmt("~*.*s", [5,5,Hello]), %% " Hell" = fmt("~5.4s", [Hello]), " Hell" = fmt("~*.4s", [5,Hello]), " Hell" = fmt("~5.*s", [4,Hello]), " Hell" = fmt("~*.*s", [5,4,Hello]), %% "Hell" = fmt("~4.4s", [Hello]), "Hell" = fmt("~*.4s", [4,Hello]), "Hell" = fmt("~4.*s", [4,Hello]), "Hell" = fmt("~*.*s", [4,4,Hello]), %% " Hel" = fmt("~4.3s", [Hello]), " Hel" = fmt("~*.3s", [4,Hello]), " Hel" = fmt("~4.*s", [3,Hello]), " Hel" = fmt("~*.*s", [4,3,Hello]), %% %% "Hello " = fmt("~-6.6s", [Hello]), "Hello " = fmt("~*.6s", [-6,Hello]), "Hello " = fmt("~-6.*s", [6,Hello]), "Hello " = fmt("~*.*s", [-6,6,Hello]), %% "Hello " = fmt("~-6.5s", [Hello]), "Hello " = fmt("~*.5s", [-6,Hello]), "Hello " = fmt("~-6.*s", [5,Hello]), "Hello " = fmt("~*.*s", [-6,5,Hello]), %% "Hell " = fmt("~-6.4s", [Hello]), "Hell " = fmt("~*.4s", [-6,Hello]), "Hell " = fmt("~-6.*s", [4,Hello]), "Hell " = fmt("~*.*s", [-6,4,Hello]), %% "Hello" = fmt("~-5.5s", [Hello]), "Hello" = fmt("~*.5s", [-5,Hello]), "Hello" = fmt("~-5.*s", [5,Hello]), "Hello" = fmt("~*.*s", [-5,5,Hello]), %% "Hell " = fmt("~-5.4s", [Hello]), "Hell " = fmt("~*.4s", [-5,Hello]), "Hell " = fmt("~-5.*s", [4,Hello]), "Hell " = fmt("~*.*s", [-5,4,Hello]), %% "Hell" = fmt("~-4.4s", [Hello]), "Hell" = fmt("~*.4s", [-4,Hello]), "Hell" = fmt("~-4.*s", [4,Hello]), "Hell" = fmt("~*.*s", [-4,4,Hello]), %% "Hel " = fmt("~-4.3s", [Hello]), "Hel " = fmt("~*.3s", [-4,Hello]), "Hel " = fmt("~-4.*s", [3,Hello]), "Hel " = fmt("~*.*s", [-4,3,Hello]), ok. %% OTP-9439 io_lib:fread bug for literate at end. io_lib_fread_literal(Suite) when is_list(Suite) -> {more,"~d",0,""} = io_lib:fread("~d", ""), {error,{fread,integer}} = io_lib:fread("~d", " "), {more,"~d",1,""} = io_lib:fread(" ~d", " "), {ok,[17],"X"} = io_lib:fread(" ~d", " 17X"), %% {more,"d",0,""} = io_lib:fread("d", ""), {error,{fread,input}} = io_lib:fread("d", " "), {more,"d",1,""} = io_lib:fread(" d", " "), {ok,[],"X"} = io_lib:fread(" d", " dX"), %% {done,eof,_} = io_lib:fread([], eof, "~d"), {done,eof,_} = io_lib:fread([], eof, " ~d"), {more,C1} = io_lib:fread([], " \n", " ~d"), {done,{error,{fread,input}},_} = io_lib:fread(C1, eof, " ~d"), {done,{ok,[18]},""} = io_lib:fread(C1, "18\n", " ~d"), %% {done,eof,_} = io_lib:fread([], eof, "d"), {done,eof,_} = io_lib:fread([], eof, " d"), {more,C2} = io_lib:fread([], " \n", " d"), {done,{error,{fread,input}},_} = io_lib:fread(C2, eof, " d"), {done,{ok,[]},[]} = io_lib:fread(C2, "d\n", " d"), ok. %% Check that the printable range set by the user actually works. printable_range(Suite) when is_list(Suite) -> Pa = filename:dirname(code:which(?MODULE)), {ok, UNode} = test_server:start_node(printable_range_unicode, slave, [{args, " +pc unicode -pa " ++ Pa}]), {ok, LNode} = test_server:start_node(printable_range_latin1, slave, [{args, " +pc latin1 -pa " ++ Pa}]), {ok, DNode} = test_server:start_node(printable_range_default, slave, [{args, " -pa " ++ Pa}]), unicode = rpc:call(UNode,io,printable_range,[]), latin1 = rpc:call(LNode,io,printable_range,[]), latin1 = rpc:call(DNode,io,printable_range,[]), test_server:stop_node(UNode), test_server:stop_node(LNode), {ok, UNode} = test_server:start_node(printable_range_unicode, slave, [{args, " +pcunicode -pa " ++ Pa}]), {ok, LNode} = test_server:start_node(printable_range_latin1, slave, [{args, " +pclatin1 -pa " ++ Pa}]), unicode = rpc:call(UNode,io,printable_range,[]), latin1 = rpc:call(LNode,io,printable_range,[]), PrettyOptions = [{column,1}, {line_length,109}, {depth,30}, {max_chars,60}, {record_print_fun, fun(_,_) -> no end}, {encoding,unicode}], PrintableControls = "\t\v\b\f\e\r\n", 1025 = print_max(UNode, [{hello, [1024,1025]}, PrettyOptions]), 125 = print_max(LNode, [{hello, [1024,1025]}, PrettyOptions]), 125 = print_max(DNode, [{hello, [1024,1025]}, PrettyOptions]), 1025 = print_max(UNode, [{hello, <<1024/utf8,1025/utf8>>}, PrettyOptions]), 125 = print_max(LNode, [{hello, <<1024/utf8,1025/utf8>>}, PrettyOptions]), 125 = print_max(DNode, [{hello, <<1024/utf8,1025/utf8>>}, PrettyOptions]), $v = print_max(UNode, [PrintableControls,PrettyOptions]), $v = print_max(LNode, [PrintableControls,PrettyOptions]), $v = print_max(DNode, [PrintableControls,PrettyOptions]), 16#10FFFF = print_max(UNode, [<<16#10FFFF/utf8,"\t\v\b\f\e\r\n">>, PrettyOptions]), $> = print_max(LNode, [<<16#10FFFF/utf8,"\t\v\b\f\e\r\n">>, PrettyOptions]), $> = print_max(DNode, [<<16#10FFFF/utf8,"\t\v\b\f\e\r\n">>, PrettyOptions]), 1025 = format_max(UNode, ["~tp", [{hello, [1024,1025]}]]), 125 = format_max(LNode, ["~tp", [{hello, [1024,1025]}]]), 125 = format_max(DNode, ["~tp", [{hello, [1024,1025]}]]), 1025 = format_max(UNode, ["~tp", [{hello, <<1024/utf8,1025/utf8>>}]]), 125 = format_max(LNode, ["~tp", [{hello, <<1024/utf8,1025/utf8>>}]]), 125 = format_max(DNode, ["~tp", [{hello, <<1024/utf8,1025/utf8>>}]]), $\e = format_max(UNode, ["~ts", [PrintableControls]]), $\e = format_max(LNode, ["~ts", [PrintableControls]]), $\e = format_max(DNode, ["~ts", [PrintableControls]]), test_server:stop_node(UNode), test_server:stop_node(LNode), test_server:stop_node(DNode), ok. print_max(Node, Args) -> rpc_call_max(Node, io_lib_pretty, print, Args). format_max(Node, Args) -> rpc_call_max(Node, io_lib, format, Args). rpc_call_max(Node, M, F, Args) -> lists:max(lists:flatten(rpc:call(Node, M, F, Args))). %% Make sure that a bad specification for a printable range is rejected. bad_printable_range(Config) when is_list(Config) -> Cmd = lists:concat([lib:progname()," +pcunnnnnicode -run erlang halt"]), P = open_port({spawn, Cmd}, [stderr_to_stdout, {line, 200}]), ok = receive {P, {data, {eol , "bad range of printable characters" ++ _}}} -> ok; Other -> Other %% valgrind needs a lot of time after 6000 -> timeout end, catch port_close(P), flush_from_port(P), ok. flush_from_port(P) -> receive {P, _} -> flush_from_port(P) after 0 -> ok end. %% Test binaries printed with a depth of one behave correctly. io_lib_print_binary_depth_one(Suite) when is_list(Suite) -> "<<>>" = fmt("~W", [<<>>, 1]), "<<>>" = fmt("~P", [<<>>, 1]), "<<...>>" = fmt("~W", [<<1>>, 1]), "<<...>>" = fmt("~P", [<<1>>, 1]), "<<...>>" = fmt("~W", [<<1:7>>, 1]), "<<...>>" = fmt("~P", [<<1:7>>, 1]), ok. %% OTP-10302. Unicode. otp_10302(Suite) when is_list(Suite) -> Pa = filename:dirname(code:which(?MODULE)), {ok, UNode} = test_server:start_node(printable_range_unicode, slave, [{args, " +pc unicode -pa " ++ Pa}]), {ok, LNode} = test_server:start_node(printable_range_latin1, slave, [{args, " +pc latin1 -pa " ++ Pa}]), "\"\x{400}\"" = rpc:call(UNode,?MODULE,pretty,["\x{400}", -1]), "<<\"\x{400}\"/utf8>>" = rpc:call(UNode,?MODULE,pretty, [<<"\x{400}"/utf8>>, -1]), "<<\"\x{400}foo\"/utf8>>" = rpc:call(UNode,?MODULE,pretty, [<<"\x{400}foo"/utf8>>, 2]), "[1024]" = rpc:call(LNode,?MODULE,pretty,["\x{400}", -1]), "<<208,128>>" = rpc:call(LNode,?MODULE,pretty,[<<"\x{400}"/utf8>>, -1]), "<<208,...>>" = rpc:call(LNode,?MODULE,pretty,[<<"\x{400}foo"/utf8>>, 2]), test_server:stop_node(UNode), test_server:stop_node(LNode), "<<\"äppl\"/utf8>>" = pretty(<<"äppl"/utf8>>, 2), "<<\"äppl\"/utf8...>>" = pretty(<<"äpple"/utf8>>, 2), "<<\"apel\">>" = pretty(<<"apel">>, 2), "<<\"apel\"...>>" = pretty(<<"apelsin">>, 2), "<<\"äppl\">>" = fmt("~tp", [<<"äppl">>]), "<<\"äppl\"...>>" = fmt("~tP", [<<"äpple">>, 2]), "<<0,0,0,0,0,0,1,0>>" = fmt("~p", [<<256:64/unsigned-integer>>]), "<<0,0,0,0,0,0,1,0>>" = fmt("~tp", [<<256:64/unsigned-integer>>]), Chars = lists:seq(0, 512), % just a few... [] = [C || C <- Chars, S <- io_lib:write_char_as_latin1(C), not is_latin1(S)], L1 = [S || C <- Chars, S <- io_lib:write_char(C), not is_latin1(S)], L1 = lists:seq(256, 512), [] = [C || C <- Chars, S <- io_lib:write_string_as_latin1([C]), not is_latin1(S)], L2 = [S || C <- Chars, S <- io_lib:write_string([C]), not is_latin1(S)], L2 = lists:seq(256, 512), ok. pretty(Term, Depth) when is_integer(Depth) -> Opts = [{column, 1}, {line_length, 20}, {depth, Depth}, {max_chars, 60}, {record_print_fun, fun rfd/2}, {encoding, unicode}], pretty(Term, Opts); pretty(Term, Opts) when is_list(Opts) -> R = io_lib_pretty:print(Term, Opts), lists:flatten(io_lib:format("~ts", [R])). is_latin1(S) -> S >= 0 andalso S =< 255. %% OTP-10836. ~ts extended to latin1. otp_10836(Suite) when is_list(Suite) -> S = io_lib:format("~ts", [[<<"äpple"/utf8>>, <<"äpple">>]]), "äppleäpple" = lists:flatten(S), ok. %% OTP-10755. The 'l' modifier otp_10755(Suite) when is_list(Suite) -> S = "string", "\"string\"" = fmt("~p", [S]), "[115,116,114,105,110,103]" = fmt("~lp", [S]), "\"string\"" = fmt("~P", [S, 2]), "[115|...]" = fmt("~lP", [S, 2]), {'EXIT',{badarg,_}} = (catch fmt("~ltp", [S])), {'EXIT',{badarg,_}} = (catch fmt("~tlp", [S])), {'EXIT',{badarg,_}} = (catch fmt("~ltP", [S])), {'EXIT',{badarg,_}} = (catch fmt("~tlP", [S])), Text = "-module(l_mod).\n" "-export([t/0]).\n" "t() ->\n" " S = \"string\",\n" " io:format(\"~ltp\", [S]),\n" " io:format(\"~tlp\", [S]),\n" " io:format(\"~ltP\", [S, 1]),\n" " io:format(\"~tlP\", [S, 1]).\n", {ok,l_mod,[{_File,Ws}]} = compile_file("l_mod.erl", Text, Suite), ["format string invalid (invalid control ~lt)", "format string invalid (invalid control ~tl)", "format string invalid (invalid control ~lt)", "format string invalid (invalid control ~tl)"] = [lists:flatten(M:format_error(E)) || {_L,M,E} <- Ws], ok. compile_file(File, Text, Config) -> PrivDir = ?privdir(Config), Fname = filename:join(PrivDir, File), ok = file:write_file(Fname, Text), try compile:file(Fname, [return]) after ok %file:delete(Fname) end. io_lib_width_too_small(_Config) -> "**" = lists:flatten(io_lib:format("~2.3w", [3.14])), "**" = lists:flatten(io_lib:format("~2.5w", [3.14])), ok. %% Test that the time for a huge message queue is not %% significantly slower than with an empty message queue. io_with_huge_message_queue(Config) when is_list(Config) -> case {test_server:is_native(gen),test_server:is_cover()} of {true,_} -> {skip, "gen is native - huge message queue optimization " "is not implemented"}; {_,true} -> {skip,"Running under cover"}; {false,false} -> do_io_with_huge_message_queue(Config) end. do_io_with_huge_message_queue(Config) -> PrivDir = ?privdir(Config), File = filename:join(PrivDir, "slask"), {ok, F1} = file:open(File, [write]), Test = fun(Times) -> {Time,ok} = timer:tc(fun() -> writes(Times, F1) end), Time end, {Times,EmptyTime} = calibrate(100, Test), [self() ! {msg,N} || N <- lists:seq(1, 500000)], erlang:garbage_collect(), FullTime = Test(Times), file:close(F1), file:delete(File), io:format("Number of writes: ~p", [Times]), io:format("Time for empty message queue: ~p", [EmptyTime]), io:format("Time for huge message queue: ~p", [FullTime]), case (FullTime+1) / (EmptyTime+1) of Q when Q < 10 -> ok; Q -> io:format("Q = ~p", [Q]), ct:fail(failed) end, ok. %% Make sure that the time is not too short. That could cause the %% test case to fail. calibrate(N, Test) when N =< 100000 -> case Test(N) of Time when Time < 50000 -> calibrate(10*N, Test); Time -> {N,Time} end; calibrate(N, _) -> N. writes(0, _) -> ok; writes(N, F1) -> file:write(F1, "hello\n"), writes(N - 1, F1). format_string(_Config) -> %% All but padding is tested by fmt/2. "xxxxxxsssx" = fmt("~10.4.xs", ["sss"]), "xxxxxxsssx" = fmt("~10.4.*s", [$x, "sss"]), ok. maps(_Config) -> %% Note that order in which a map is printed is arbitrary. In %% practice, small maps (non-HAMT) are printed in key order, but %% the breakpoint for creating big maps (HAMT) is lower in the %% debug-compiled run-time system than in the optimized run-time %% system. %% %% Therefore, play it completely safe by not assuming any order %% in a map with more than one element. "#{}" = fmt("~w", [#{}]), "#{a=>b}" = fmt("~w", [#{a=>b}]), re_fmt(<<"#\\{(a=>b|c=>d),[.][.][.]=>[.][.][.]\\}">>, "~W", [#{a=>b,c=>d},2]), re_fmt(<<"#\\{(a=>b|c=>d|e=>f),[.][.][.]=>[.][.][.],[.][.][.]\\}">>, "~W", [#{a=>b,c=>d,e=>f},2]), "#{}" = fmt("~p", [#{}]), "#{a => b}" = fmt("~p", [#{a=>b}]), "#{...}" = fmt("~P", [#{a=>b},1]), re_fmt(<<"#\\{(a => b|c => d),[.][.][.]\\}">>, "~P", [#{a=>b,c=>d},2]), re_fmt(<<"#\\{(a => b|c => d|e => f),[.][.][.]\\}">>, "~P", [#{a=>b,c=>d,e=>f},2]), List = [{I,I*I} || I <- lists:seq(1, 20)], Map = maps:from_list(List), "#{...}" = fmt("~P", [Map,1]), %% Print a map and parse it back to a map. S = fmt("~p\n", [Map]), io:format("~p\n", [S]), Map = parse_map(S), %% Smoke test of a map as key. MapAsKey = #{Map => "value"}, io:format("~s\n", [fmt("~p", [MapAsKey])]), ok. re_fmt(Pattern, Format, Args) -> S = list_to_binary(fmt(Format, Args)), case re:run(S, Pattern, [{capture,none}]) of nomatch -> io:format("Pattern: ~s", [Pattern]), io:format("Result: ~s", [S]), ct:fail(failed); match -> ok end. %% Parse a map consisting of integer keys and values. parse_map(S0) -> S1 = parse_expect(S0, "#{"), {M,S2} = parse_map_1(S1), S = parse_expect(S2, "}"), S = "", M. parse_map_1(S0) -> {Key,S1} = parse_number(S0), S2 = parse_expect(S1, "=>"), {Val,S3} = parse_number(S2), case S3 of ","++S4 -> S5 = parse_skip_ws(S4), {Map,S} = parse_map_1(S5), {Map#{Key=>Val},S}; S -> {#{Key=>Val},S} end. parse_number(S) -> parse_number(S, none). parse_number([C|S], Acc0) when $0 =< C, C =< $9 -> Acc = case Acc0 of none -> 0; _ when is_integer(Acc0) -> Acc0 end, parse_number(S, Acc*10+C-$0); parse_number(S, Acc) -> {Acc,parse_skip_ws(S)}. parse_expect([H|T1], [H|T2]) -> parse_expect(T1, T2); parse_expect(S, []) -> parse_skip_ws(S). parse_skip_ws([C|S]) when C =< $\s -> parse_skip_ws(S); parse_skip_ws(S) -> S. %% Cover the last uncovered lines for completeness. coverage(_Config) -> S1 = io_lib_pretty:print({a,term}, fun(_, _) -> no end), io:format("~s\n", [S1]), %% The tuple of arity three will be ignored. S2 = io_lib_pretty:print(lists:seq(1, 100), [{depth,1,1}]), io:format("~s\n", [S2]), ok. %% Test UTF-8 atoms. otp_14178_unicode_atoms(_Config) -> "atom" = fmt("~ts", ['atom']), "кирилли́ческий атом" = fmt("~ts", ['кирилли́ческий атом']), [16#10FFFF] = fmt("~ts", ['\x{10FFFF}']), %% ~s must not accept code points greater than 255. bad_io_lib_format("~s", ['\x{100}']), bad_io_lib_format("~s", ['кирилли́ческий атом']), ok. bad_io_lib_format(F, S) -> try io_lib:format(F, S) of _ -> ct:fail({should_fail,F,S}) catch error:badarg -> ok end. otp_14175(_Config) -> "..." = p(#{}, 0), "#{}" = p(#{}, 1), "#{...}" = p(#{a => 1}, 1), "#{#{} => a}" = p(#{#{} => a}, 2), mt("#{a => 1,...}", p(#{a => 1, b => 2}, 2)), mt("#{a => 1,b => 2}", p(#{a => 1, b => 2}, -1)), M = #{kaaaaaaaaaaaaaaaaaaa => v1,kbbbbbbbbbbbbbbbbbbb => v2, kccccccccccccccccccc => v3,kddddddddddddddddddd => v4, keeeeeeeeeeeeeeeeeee => v5}, "#{...}" = p(M, 1), mt("#{kaaaaaaaaaaaaaaaaaaaa => v1,...}", p(M, 2)), mt("#{kaaaaaaaaaaaaaaaaaaaa => 1,kbbbbbbbbbbbbbbbbbbbb => 2,...}", p(M, 3)), mt("#{kaaaaaaaaaaaaaaaaaaa => v1,kbbbbbbbbbbbbbbbbbbb => v2,\n" " kccccccccccccccccccc => v3,...}", p(M, 4)), mt("#{kaaaaaaaaaaaaaaaaaaa => v1,kbbbbbbbbbbbbbbbbbbb => v2,\n" " kccccccccccccccccccc => v3,kddddddddddddddddddd => v4,...}", p(M, 5)), mt("#{kaaaaaaaaaaaaaaaaaaa => v1,kbbbbbbbbbbbbbbbbbbb => v2,\n" " kccccccccccccccccccc => v3,kddddddddddddddddddd => v4,\n" " keeeeeeeeeeeeeeeeeee => v5}", p(M, 6)), weak("#{aaaaaaaaaaaaaaaaaaa => 1,bbbbbbbbbbbbbbbbbbbb => 2,\n" " cccccccccccccccccccc => {3},\n" " dddddddddddddddddddd => 4,eeeeeeeeeeeeeeeeeeee => 5}", p(#{aaaaaaaaaaaaaaaaaaa => 1,bbbbbbbbbbbbbbbbbbbb => 2, cccccccccccccccccccc => {3}, dddddddddddddddddddd => 4,eeeeeeeeeeeeeeeeeeee => 5}, -1)), M2 = #{dddddddddddddddddddd => {1}, {aaaaaaaaaaaaaaaaaaaa} => 2, {bbbbbbbbbbbbbbbbbbbb} => 3,{cccccccccccccccccccc} => 4, {eeeeeeeeeeeeeeeeeeee} => 5}, "#{...}" = p(M2, 1), weak("#{dddddddddddddddddddd => {...},...}", p(M2, 2)), weak("#{dddddddddddddddddddd => {1},{...} => 2,...}", p(M2, 3)), weak("#{dddddddddddddddddddd => {1},\n" " {aaaaaaaaaaaaaaaaaaaa} => 2,\n" " {...} => 3,...}", p(M2, 4)), weak("#{dddddddddddddddddddd => {1},\n" " {aaaaaaaaaaaaaaaaaaaa} => 2,\n" " {bbbbbbbbbbbbbbbbbbbb} => 3,\n" " {...} => 4,...}", p(M2, 5)), weak("#{dddddddddddddddddddd => {1},\n" " {aaaaaaaaaaaaaaaaaaaa} => 2,\n" " {bbbbbbbbbbbbbbbbbbbb} => 3,\n" " {cccccccccccccccccccc} => 4,\n" " {...} => 5}", p(M2, 6)), weak("#{dddddddddddddddddddd => {1},\n" " {aaaaaaaaaaaaaaaaaaaa} => 2,\n" " {bbbbbbbbbbbbbbbbbbbb} => 3,\n" " {cccccccccccccccccccc} => 4,\n" " {eeeeeeeeeeeeeeeeeeee} => 5}", p(M2, 7)), M3 = #{kaaaaaaaaaaaaaaaaaaa => vuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuu, kbbbbbbbbbbbbbbbbbbb => vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv, kccccccccccccccccccc => vxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx, kddddddddddddddddddd => vyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyy, keeeeeeeeeeeeeeeeeee => vzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz}, mt("#{aaaaaaaaaaaaaaaaaaaa =>\n" " uuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuu,\n" " bbbbbbbbbbbbbbbbbbbb =>\n" " vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv,\n" " cccccccccccccccccccc =>\n" " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx,\n" " dddddddddddddddddddd =>\n" " yyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyy,\n" " eeeeeeeeeeeeeeeeeeee =>\n" " zzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz}", p(M3, -1)), R4 = {c,{c,{c,{c,{c,{c,{c,{c,{c,{c,{c,{c,a,b},b},b},b},b},b}, b},b},b},b},b},b}, M4 = #{aaaaaaaaaaaaaaaaaaaa => R4, bbbbbbbbbbbbbbbbbbbb => R4, cccccccccccccccccccc => R4, dddddddddddddddddddd => R4, eeeeeeeeeeeeeeeeeeee => R4}, weak("#{aaaaaaaaaaaaaaaaaaaa =>\n" " #c{f1 = #c{f1 = #c{...},f2 = b},f2 = b},\n" " bbbbbbbbbbbbbbbbbbbb => #c{f1 = #c{f1 = {...},...},f2 = b},\n" " cccccccccccccccccccc => #c{f1 = #c{...},f2 = b},\n" " dddddddddddddddddddd => #c{f1 = {...},...},\n" " eeeeeeeeeeeeeeeeeeee => #c{...}}", p(M4, 7)), M5 = #{aaaaaaaaaaaaaaaaaaaa => R4}, mt("#{aaaaaaaaaaaaaaaaaaaa =>\n" " #c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 =\n" " #c{\n" " f1 = #c{f1 = #c{f1 = #c{f1 = a,f2 = b},f2 = b}," "f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b},\n" " f2 = b}}", p(M5, -1)), ok. %% Just check number of newlines and dots ('...'). -define(WEAK, true). -ifdef(WEAK). weak(S, R) -> (nl(S) =:= nl(R) andalso dots(S) =:= dots(S)). nl(S) -> [C || C <- S, C =:= $\n]. dots(S) -> [C || C <- S, C =:= $\.]. -else. % WEAK weak(S, R) -> mt(S, R). -endif. % WEAK %% If EXACT is defined: mt() matches strings exactly. %% %% if EXACT is not defined: do not match the strings exactly, but %% compare them assuming that all map keys and all map values are %% equal (by assuming all map keys and all map values have the same %% length and begin with $k and $v respectively). %-define(EXACT, true). -ifdef(EXACT). mt(S, R) -> S =:= R. -else. % EXACT mt(S, R) -> anon(S) =:= anon(R). anon(S) -> {ok, Ts0, _} = erl_scan:string(S, 1, [text]), Ts = anon1(Ts0), text(Ts). anon1([]) -> []; anon1([{atom,Anno,Atom}=T|Ts]) -> case erl_anno:text(Anno) of "k" ++ _ -> NewAnno = erl_anno:set_text("key", Anno), [{atom,NewAnno,Atom}|anon1(Ts)]; "v" ++ _ -> NewAnno = erl_anno:set_text("val", Anno), [{atom,NewAnno,Atom}|anon1(Ts)]; _ -> [T|anon1(Ts)] end; anon1([T|Ts]) -> [T|anon1(Ts)]. text(Ts) -> lists:append(text1(Ts)). text1([]) -> []; text1([T|Ts]) -> Anno = element(2, T), [erl_anno:text(Anno) | text1(Ts)]. -endif. % EXACT otp_14285(_Config) -> UOpts = [{record_print_fun, fun rfd/2}, {encoding, unicode}], LOpts = [{record_print_fun, fun rfd/2}, {encoding, latin1}], RT = {'\x{400}','\x{400}'}, "#'\x{400}'{'\x{400}' = '\x{400}'}" = pretty(RT, UOpts), "#'\\x{400}'{'\\x{400}' = '\\x{400}'}" = pretty(RT, LOpts), Chars = lists:seq(0, 512), [] = [C || C <- Chars, S <- io_lib:write_atom_as_latin1(list_to_atom([C])), not is_latin1(S)], L1 = [S || C <- Chars, S <- io_lib:write_atom(list_to_atom([C])), not is_latin1(S)], L1 = lists:seq(256, 512), latin1_fmt("~w", ['кирилли́ческий атом']), latin1_fmt("~w", ['\x{10FFFF}']), "'кирилли́ческий атом'" = fmt("~tw", ['кирилли́ческий атом']), [$',16#10FFFF,$'] = fmt("~tw", ['\x{10FFFF}']), latin1_fmt("~W", ['кирилли́ческий атом', 13]), latin1_fmt("~W", ['\x{10FFFF}', 13]), "'кирилли́ческий атом'" = fmt("~tW", ['кирилли́ческий атом', 13]), [$',16#10FFFF,$'] = fmt("~tW", ['\x{10FFFF}', 13]), {ok, [an_atom],[]} = io_lib:fread("~a", "an_atom"), {ok, [an_atom],[]} = io_lib:fread("~ta", "an_atom"), Str = "\"ab" ++ [1089] ++ "cd\"", {ok, ["\"ab"], [1089]++"cd\""} = io_lib:fread("~s", Str), {ok, ['\"ab'], [1089]++"cd\""} = io_lib:fread("~a", Str), {ok,[Str], []} = io_lib:fread("~ts", Str), {ok,[Atom],[]} = io_lib:fread("~ta", Str), Str = atom_to_list(Atom), ok. latin1_fmt(Fmt, Args) -> L = fmt(Fmt, Args), true = lists:all(fun is_latin1/1, L). limit_term(_Config) -> {_, 2} = limt([a,b,c], 2), {_, 2} = limt([a,b,c], 3), {_, 2} = limt([a,b|c], 2), {_, 2} = limt([a,b|c], 3), {_, 2} = limt({a,b,c,[d,e]}, 2), {_, 2} = limt({a,b,c,[d,e]}, 3), {_, 2} = limt({a,b,c,[d,e]}, 4), T0 = [1|{a,b,c}], {_, 2} = limt(T0, 2), {_, 2} = limt(T0, 3), {_, 2} = limt(T0, 4), {_, 1} = limt(<<"foo">>, 18), {_, 2} = limt({"",[1,2]}, 3), {_, 2} = limt({"",{1,2}}, 3), true = limt_pp({"123456789012345678901234567890",{1,2}}, 3), ok = blimt(<<"123456789012345678901234567890">>), true = limt_pp(<<"123456789012345678901234567890">>, 3), {_, 2} = limt({<<"kljlkjsl">>,[1,2,3,4]}, 4), {_, 1} = limt(<<7:3>>, 2), {_, 1} = limt(<<7:21>>, 2), {_, 1} = limt([], 2), {_, 1} = limt({}, 2), {_, 1} = limt({"", ""}, 4), {_, 1} = limt(#{}, 2), {_, 2} = limt(#{[] => {}}, 1), {_, 2} = limt(#{[] => {}}, 2), {_, 1} = limt(#{[] => {}}, 3), T = #{[] => {},[a] => [b]}, {_, 1} = limt(T, 0), {_, 2} = limt(T, 1), {_, 2} = limt(T, 2), {_, 1} = limt(T, 3), {_, 1} = limt(T, 4), T2 = #{[] => {},{} => []}, {_, 2} = limt(T2, 1), {_, 2} = limt(T2, 2), {_, 1} = limt(T2, 3), ok. blimt(Binary) -> blimt(Binary, byte_size(Binary)). blimt(_B, 1) -> ok; blimt(B, D) -> {_, 1} = limt(B, D), blimt(B, D - 1). limt(Term, Depth) when is_integer(Depth) -> T1 = io_lib:limit_term(Term, Depth), S = form(Term, Depth), S1 = form(T1, Depth), OK1 = S1 =:= S, T2 = io_lib:limit_term(Term, Depth+1), S2 = form(T2, Depth), OK2 = S2 =:= S, T3 = io_lib:limit_term(Term, Depth-1), S3 = form(T3, Depth), OK3 = S3 =/= S, R = case {OK1, OK2, OK3} of {true, true, true} -> 2; {true, true, false} -> 1; _ -> 0 end, {{S, S1, S2}, R}. form(Term, Depth) -> lists:flatten(io_lib:format("~W", [Term, Depth])). limt_pp(Term, Depth) when is_integer(Depth) -> T1 = io_lib:limit_term(Term, Depth), S = pp(Term, Depth), S1 = pp(T1, Depth), S1 =:= S. pp(Term, Depth) -> lists:flatten(io_lib:format("~P", [Term, Depth])).