-module(binary_module_SUITE).
-export([all/1, interesting/1,random_ref_comp/1,random_ref_sr_comp/1,
random_ref_fla_comp/1,parts/1, bin_to_list/1, list_to_bin/1, copy/1]).
-export([random_copy/1]).
-define(STANDALONE,1).
-ifdef(STANDALONE).
-define(line,erlang:display({?MODULE,?LINE}),).
-else.
-include("test_server.hrl").
-endif.
-ifdef(STANDALONE).
-export([run/0]).
run() ->
[ apply(?MODULE,X,[[]]) || X <- all(suite) ].
-endif.
all(suite) -> [interesting,random_ref_fla_comp,random_ref_sr_comp,
random_ref_comp,parts,bin_to_list, list_to_bin, copy].
-define(MASK_ERROR(EXPR),mask_error((catch (EXPR)))).
interesting(doc) ->
["Try some interesting patterns"];
interesting(Config) when is_list(Config) ->
X = do_interesting(binary),
X = do_interesting(binref).
do_interesting(Module) ->
?line {0,4} = Module:match(<<"123456">>,
Module:compile_pattern([<<"12">>,<<"1234">>,
<<"23">>,<<"3">>,
<<"34">>,<<"456">>,
<<"45">>,<<"6">>])),
?line [{0,4},{5,1}] = Module:matches(<<"123456">>,
Module:compile_pattern([<<"12">>,<<"1234">>,
<<"23">>,<<"3">>,
<<"34">>,<<"456">>,
<<"45">>,<<"6">>])),
?line [{0,4}] = Module:matches(<<"123456">>,
Module:compile_pattern([<<"12">>,<<"1234">>,
<<"23">>,<<"3">>,
<<"34">>,<<"456">>,
<<"45">>])),
?line [{0,2},{2,2}] = Module:matches(<<"123456">>,
Module:compile_pattern([<<"12">>,
<<"23">>,<<"3">>,
<<"34">>,<<"456">>,
<<"45">>])),
?line {1,4} = Module:match(<<"123456">>,
Module:compile_pattern([<<"34">>,<<"34">>,
<<"12347">>,<<"2345">>])),
?line [{1,4}] = Module:matches(<<"123456">>,
Module:compile_pattern([<<"34">>,<<"34">>,
<<"12347">>,<<"2345">>])),
?line [{2,2}] = Module:matches(<<"123456">>,
Module:compile_pattern([<<"34">>,<<"34">>,
<<"12347">>,<<"2346">>])),
?line {0,4} = Module:match(<<"123456">>,
[<<"12">>,<<"1234">>,
<<"23">>,<<"3">>,
<<"34">>,<<"456">>,
<<"45">>,<<"6">>]),
?line [{0,4},{5,1}] = Module:matches(<<"123456">>,
[<<"12">>,<<"1234">>,
<<"23">>,<<"3">>,
<<"34">>,<<"456">>,
<<"45">>,<<"6">>]),
?line [{0,4}] = Module:matches(<<"123456">>,
[<<"12">>,<<"1234">>,
<<"23">>,<<"3">>,
<<"34">>,<<"456">>,
<<"45">>]),
?line [{0,2},{2,2}] = Module:matches(<<"123456">>,
[<<"12">>,
<<"23">>,<<"3">>,
<<"34">>,<<"456">>,
<<"45">>]),
?line {1,4} = Module:match(<<"123456">>,
[<<"34">>,<<"34">>,
<<"12347">>,<<"2345">>]),
?line [{1,4}] = Module:matches(<<"123456">>,
[<<"34">>,<<"34">>,
<<"12347">>,<<"2345">>]),
?line [{2,2}] = Module:matches(<<"123456">>,
[<<"34">>,<<"34">>,
<<"12347">>,<<"2346">>]),
?line nomatch = Module:match(<<1,2,3,4>>,<<2>>,[{scope,{0,1}}]),
?line {1,1} = Module:match(<<1,2,3,4>>,<<2>>,[{scope,{0,2}}]),
?line nomatch = Module:match(<<1,2,3,4>>,<<2,3>>,[{scope,{0,2}}]),
?line {1,2} = Module:match(<<1,2,3,4>>,<<2,3>>,[{scope,{0,3}}]),
?line {1,2} = Module:match(<<1,2,3,4>>,<<2,3>>,[{scope,{0,4}}]),
?line badarg = ?MASK_ERROR(Module:match(<<1,2,3,4>>,<<2,3>>,
[{scope,{0,5}}])),
?line {1,2} = Module:match(<<1,2,3,4>>,<<2,3>>,[{scope,{4,-4}}]),
?line {0,3} = Module:match(<<1,2,3,4>>,<<1,2,3>>,[{scope,{4,-4}}]),
?line {0,4} = Module:match(<<1,2,3,4>>,<<1,2,3,4>>,[{scope,{4,-4}}]),
?line badarg = ?MASK_ERROR(Module:match(<<1,2,3,4>>,<<1,2,3,4>>,
[{scope,{3,-4}}])),
?line [] = Module:matches(<<1,2,3,4>>,<<2>>,[{scope,{0,1}}]),
?line [{1,1}] = Module:matches(<<1,2,3,4>>,[<<2>>,<<3>>],[{scope,{0,2}}]),
?line [] = Module:matches(<<1,2,3,4>>,<<2,3>>,[{scope,{0,2}}]),
?line [{1,2}] = Module:matches(<<1,2,3,4>>,<<2,3>>,[{scope,{0,3}}]),
?line [{1,2}] = Module:matches(<<1,2,3,4>>,<<2,3>>,[{scope,{0,4}}]),
?line [{1,2}] = Module:matches(<<1,2,3,4>>,[<<2,3>>,<<4>>],
[{scope,{0,3}}]),
?line [{1,2},{3,1}] = Module:matches(<<1,2,3,4>>,[<<2,3>>,<<4>>],
[{scope,{0,4}}]),
?line badarg = ?MASK_ERROR(Module:matches(<<1,2,3,4>>,<<2,3>>,
[{scope,{0,5}}])),
?line [{1,2}] = Module:matches(<<1,2,3,4>>,<<2,3>>,[{scope,{4,-4}}]),
?line [{1,2},{3,1}] = Module:matches(<<1,2,3,4>>,[<<2,3>>,<<4>>],
[{scope,{4,-4}}]),
?line [{0,3}] = Module:matches(<<1,2,3,4>>,<<1,2,3>>,[{scope,{4,-4}}]),
?line [{0,4}] = Module:matches(<<1,2,3,4>>,<<1,2,3,4>>,[{scope,{4,-4}}]),
?line badarg = ?MASK_ERROR(Module:matches(<<1,2,3,4>>,<<1,2,3,4>>,
[{scope,{3,-4}}])),
?line badarg = ?MASK_ERROR(Module:matches(<<1,2,3,4>>,[<<1,2,3,4>>],
[{scope,{3,-4}}])),
?line [<<1,2,3>>,<<6,7,8>>] = Module:split(<<1,2,3,4,5,6,7,8>>,<<4,5>>),
?line [<<1,2,3>>,<<6,7,8>>] = Module:split(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>]),
?line [<<1,2,3>>,<<6>>,<<8>>] = Module:split(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>],[global]),
?line [<<1,2,3>>,<<6>>,<<>>,<<>>] = Module:split(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],
[global]),
?line [<<1,2,3>>,<<6>>] = Module:split(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],
[global,trim]),
?line [<<1,2,3,4,5,6,7,8>>] = Module:split(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],
[global,trim,{scope,{0,4}}]),
?line [<<1,2,3>>,<<6,7,8>>] = Module:split(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],
[global,trim,{scope,{0,5}}]),
?line badarg = ?MASK_ERROR(
Module:replace(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],<<99>>,
[global,trim,{scope,{0,5}}])),
?line <<1,2,3,99,6,7,8>> = Module:replace(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],<<99>>,[]),
?line <<1,2,3,99,6,99,99>> = Module:replace(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],<<99>>,
[global]),
?line <<1,2,3,99,6,7,8>> = Module:replace(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],<<99>>,
[global,{scope,{0,5}}]),
?line <<1,2,3,99,6,7,8>> = Module:replace(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],<<99>>,
[global,{scope,{0,5}}]),
?line <<1,2,3,99,6,7,8>> = Module:replace(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],<<99>>,
[global,{scope,{0,5}}]),
?line badarg = ?MASK_ERROR(Module:replace(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],<<99>>,
[global,{scope,{0,5}},
{insert,1}])),
?line <<1,2,3,99,4,5,6,7,8>> = Module:replace(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],<<99>>,
[global,{scope,{0,5}},
{insert_replaced,1}]),
?line <<1,2,3,9,4,5,9,6,7,8>> = Module:replace(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],
<<9,9>>,
[global,{scope,{0,5}},
{insert_replaced,1}]),
?line badarg = ?MASK_ERROR(Module:replace(<<1,2,3,4,5,6,7,8>>,
[<<4,5>>,<<7>>,<<8>>],<<>>,
[global,{scope,{0,5}},
{insert_replaced,1}])),
?line 2 = Module:longest_common_prefix([<<1,2,4>>,<<1,2,3>>]),
?line 2 = Module:longest_common_prefix([<<1,2,4>>,<<1,2>>]),
?line 1 = Module:longest_common_prefix([<<1,2,4>>,<<1>>]),
?line 0 = Module:longest_common_prefix([<<1,2,4>>,<<>>]),
?line 1 = Module:longest_common_prefix([<<1,2,4>>,<<1,2,3>>,<<1,3,3>>]),
?line 1 = Module:longest_common_prefix([<<1,2,4>>,<<1,2,3>>,<<1,3,3>>,<<1,2,4>>]),
?line 1251 = Module:longest_common_prefix([<<0:10000,1,2,4>>,
<<0:10000,1,2,3>>,
<<0:10000,1,3,3>>,
<<0:10000,1,2,4>>]),
?line 12501 = Module:longest_common_prefix([<<0:100000,1,2,4>>,
<<0:100000,1,2,3>>,
<<0:100000,1,3,3>>,
<<0:100000,1,2,4>>]),
?line 1251 = Module:longest_common_prefix(
[make_unaligned(<<0:10000,1,2,4>>),
<<0:10000,1,2,3>>,
make_unaligned(<<0:10000,1,3,3>>),
<<0:10000,1,2,4>>]),
?line 12501 = Module:longest_common_prefix(
[<<0:100000,1,2,4>>,
make_unaligned(<<0:100000,1,2,3>>),
<<0:100000,1,3,3>>,
make_unaligned(<<0:100000,1,2,4>>)]),
?line 1250001 = Module:longest_common_prefix([<<0:10000000,1,2,4>>,
<<0:10000000,1,2,3>>,
<<0:10000000,1,3,3>>,
<<0:10000000,1,2,4>>]),
if % Too cruel for the reference implementation
Module =:= binary ->
?line 125000001 = Module:longest_common_prefix(
[<<0:1000000000,1,2,4>>,
<<0:1000000000,1,2,3>>,
<<0:1000000000,1,3,3>>,
<<0:1000000000,1,2,4>>]);
true ->
ok
end,
?line 1 = Module:longest_common_suffix([<<0:1000000000,1,2,4,5>>,
<<0:1000000000,1,2,3,5>>,
<<0:1000000000,1,3,3,5>>,
<<0:1000000000,1,2,4,5>>]),
?line 1 = Module:longest_common_suffix([<<1,2,4,5>>,
<<0:1000000000,1,2,3,5>>,
<<0:1000000000,1,3,3,5>>,
<<0:1000000000,1,2,4,5>>]),
?line 1 = Module:longest_common_suffix([<<1,2,4,5,5>>,<<5,5>>,
<<0:1000000000,1,3,3,5,5>>,
<<0:1000000000,1,2,4,5>>]),
?line 0 = Module:longest_common_suffix([<<1,2,4,5,5>>,<<5,5>>,
<<0:1000000000,1,3,3,5,5>>,
<<0:1000000000,1,2,4>>]),
?line 2 = Module:longest_common_suffix([<<1,2,4,5,5>>,<<5,5>>,
<<0:1000000000,1,3,3,5,5>>,
<<0:1000000000,1,2,4,5,5>>]),
?line 1 = Module:longest_common_suffix([<<1,2,4,5,5>>,<<5>>,
<<0:1000000000,1,3,3,5,5>>,
<<0:1000000000,1,2,4,5,5>>]),
?line 0 = Module:longest_common_suffix([<<1,2,4,5,5>>,<<>>,
<<0:1000000000,1,3,3,5,5>>,
<<0:1000000000,1,2,4,5,5>>]),
?line 0 = Module:longest_common_suffix([<<>>,<<0:1000000000,1,3,3,5,5>>,
<<0:1000000000,1,2,4,5,5>>]),
?line 0 = Module:longest_common_suffix([<<>>,<<0:1000000000,1,3,3,5,5>>,
<<0:1000000000,1,2,4,5,5>>]),
?line 2 = Module:longest_common_suffix([<<5,5>>,<<0:1000000000,1,3,3,5,5>>,
<<0:1000000000,1,2,4,5,5>>]),
?line 2 = Module:longest_common_suffix([<<5,5>>,<<5,5>>,<<4,5,5>>]),
?line 2 = Module:longest_common_suffix([<<5,5>>,<<5,5>>,<<5,5>>]),
?line 3 = Module:longest_common_suffix([<<4,5,5>>,<<4,5,5>>,<<4,5,5>>]),
?line 0 = Module:longest_common_suffix([<<>>]),
?line badarg = ?MASK_ERROR(Module:longest_common_suffix([])),
?line badarg = ?MASK_ERROR(Module:longest_common_suffix([apa])),
?line badarg = ?MASK_ERROR(Module:longest_common_suffix([[<<>>]])),
?line badarg = ?MASK_ERROR(Module:longest_common_suffix([[<<0>>,
<<1:9>>]])),
?line 0 = Module:longest_common_prefix([<<>>]),
?line badarg = ?MASK_ERROR(Module:longest_common_prefix([])),
?line badarg = ?MASK_ERROR(Module:longest_common_prefix([apa])),
?line badarg = ?MASK_ERROR(Module:longest_common_prefix([[<<>>]])),
?line badarg = ?MASK_ERROR(Module:longest_common_prefix([[<<0>>,
<<1:9>>]])),
?line <<1:6,Bin:3/binary,_:2>> = <<1:6,1,2,3,1:2>>,
?line <<1,2,3>> = Bin,
?line 1 = Module:first(Bin),
?line 1 = Module:first(<<1>>),
?line 1 = Module:first(<<1,2,3>>),
?line badarg = ?MASK_ERROR(Module:first(<<>>)),
?line badarg = ?MASK_ERROR(Module:first(apa)),
?line 3 = Module:last(Bin),
?line 1 = Module:last(<<1>>),
?line 3 = Module:last(<<1,2,3>>),
?line badarg = ?MASK_ERROR(Module:last(<<>>)),
?line badarg = ?MASK_ERROR(Module:last(apa)),
?line 1 = Module:at(Bin,0),
?line 1 = Module:at(<<1>>,0),
?line 1 = Module:at(<<1,2,3>>,0),
?line 2 = Module:at(<<1,2,3>>,1),
?line 3 = Module:at(<<1,2,3>>,2),
?line badarg = ?MASK_ERROR(Module:at(<<1,2,3>>,3)),
?line badarg = ?MASK_ERROR(Module:at(<<1,2,3>>,-1)),
?line badarg = ?MASK_ERROR(Module:at(<<1,2,3>>,apa)),
?line "hejsan" = [ Module:at(<<"hejsan">>,I) || I <- lists:seq(0,5) ],
?line badarg = ?MASK_ERROR(Module:bin_to_list(<<1,2,3>>,3,-4)),
?line [1,2,3] = ?MASK_ERROR(Module:bin_to_list(<<1,2,3>>,3,-3)),
ok.
list_to_bin(doc) ->
["Test list_to_bin/1 bif"];
list_to_bin(Config) when is_list(Config) ->
%% Just some smoke_tests first, then go nuts with random cases
?line badarg = ?MASK_ERROR(binary:list_to_bin({})),
?line badarg = ?MASK_ERROR(binary:list_to_bin(apa)),
?line badarg = ?MASK_ERROR(binary:list_to_bin(<<"apa">>)),
F1 = fun(L) ->
?MASK_ERROR(binref:list_to_bin(L))
end,
F2 = fun(L) ->
?MASK_ERROR(binary:list_to_bin(L))
end,
?line random_iolist:run(1000,F1,F2),
ok.
copy(doc) ->
["Test copy/1,2 bif's"];
copy(Config) when is_list(Config) ->
?line <<1,2,3>> = binary:copy(<<1,2,3>>),
?line RS = random_string({1,10000}),
?line RS = RS2 = binary:copy(RS),
?line false = erts_debug:same(RS,RS2),
?line badarg = ?MASK_ERROR(binary:copy(<<1,2,3>>,0)),
?line badarg = ?MASK_ERROR(binary:copy(<<>>,0)),
?line <<>> = binary:copy(<<>>,10000),
?line random:seed({1271,769940,559934}),
?line ok = random_copy(3000),
?line erts_debug:set_internal_state(available_internal_state,true),
?line io:format("oldlimit: ~p~n",
[erts_debug:set_internal_state(binary_loop_limit,10)]),
?line ok = random_copy(1000),
?line io:format("limit was: ~p~n",
[erts_debug:set_internal_state(binary_loop_limit,
default)]),
?line erts_debug:set_internal_state(available_internal_state,false),
ok.
random_copy(0) ->
ok;
random_copy(N) ->
Str = random_string({0,N}),
Num = random:uniform(N div 10+1),
A = ?MASK_ERROR(binary:copy(Str,Num)),
B = ?MASK_ERROR(binref:copy(Str,Num)),
C = ?MASK_ERROR(binary:copy(make_unaligned(Str),Num)),
case {(A =:= B), (B =:= C)} of
{true,true} ->
random_copy(N-1);
_ ->
io:format("Failed to pick copy ~s ~p times~n",
[Str,Num]),
io:format("A:~p,~nB:~p,~n,C:~p.~n",
[A,B,C]),
exit(mismatch)
end.
bin_to_list(doc) ->
["Test bin_to_list/1,2,3 bif's"];
bin_to_list(Config) when is_list(Config) ->
%% Just some smoke_tests first, then go nuts with random cases
?line X = <<1,2,3,4,0:1000000,5>>,
?line Y = make_unaligned(X),
?line LX = binary:bin_to_list(X),
?line LX = binary:bin_to_list(X,0,byte_size(X)),
?line LX = binary:bin_to_list(X,byte_size(X),-byte_size(X)),
?line LX = binary:bin_to_list(X,{0,byte_size(X)}),
?line LX = binary:bin_to_list(X,{byte_size(X),-byte_size(X)}),
?line LY = binary:bin_to_list(Y),
?line LY = binary:bin_to_list(Y,0,byte_size(Y)),
?line LY = binary:bin_to_list(Y,byte_size(Y),-byte_size(Y)),
?line LY = binary:bin_to_list(Y,{0,byte_size(Y)}),
?line LY = binary:bin_to_list(Y,{byte_size(Y),-byte_size(Y)}),
?line 1 = hd(LX),
?line 5 = lists:last(LX),
?line 1 = hd(LY),
?line 5 = lists:last(LY),
?line X = list_to_binary(LY),
?line Y = list_to_binary(LY),
?line X = list_to_binary(LY),
?line [5] = lists:nthtail(byte_size(X)-1,LX),
?line [0,5] = lists:nthtail(byte_size(X)-2,LX),
?line [0,5] = lists:nthtail(byte_size(Y)-2,LY),
?line random:seed({1271,769940,559934}),
?line ok = random_bin_to_list(5000),
ok.
random_bin_to_list(0) ->
ok;
random_bin_to_list(N) ->
Str = random_string({1,N}),
Parts0 = random_parts(10,N),
Parts1 = Parts0 ++ [ {X+Y,-Y} || {X,Y} <- Parts0 ],
[ begin
try
true = ?MASK_ERROR(binary:bin_to_list(Str,Z)) =:=
?MASK_ERROR(binref:bin_to_list(Str,Z)),
true = ?MASK_ERROR(binary:bin_to_list(Str,Z)) =:=
?MASK_ERROR(binary:bin_to_list(make_unaligned(Str),Z))
catch
_:_ ->
io:format("Error, Str = <<\"~s\">>.~nZ = ~p.~n",
[Str,Z]),
exit(badresult)
end
end || Z <- Parts1 ],
[ begin
try
true = ?MASK_ERROR(binary:bin_to_list(Str,A,B)) =:=
?MASK_ERROR(binref:bin_to_list(Str,A,B)),
true = ?MASK_ERROR(binary:bin_to_list(Str,A,B)) =:=
?MASK_ERROR(binary:bin_to_list(make_unaligned(Str),A,B))
catch
_:_ ->
io:format("Error, Str = <<\"~s\">>.~nA = ~p.~nB = ~p.~n",
[Str,A,B]),
exit(badresult)
end
end || {A,B} <- Parts1 ],
random_bin_to_list(N-1).
parts(doc) ->
["Test the part/2,3 bif's"];
parts(Config) when is_list(Config) ->
%% Some simple smoke tests to begin with
?line Simple = <<1,2,3,4,5,6,7,8>>,
?line <<1,2>> = binary:part(Simple,0,2),
?line <<1,2>> = binary:part(Simple,{0,2}),
?line Simple = binary:part(Simple,0,8),
?line Simple = binary:part(Simple,{0,8}),
?line badarg = ?MASK_ERROR(binary:part(Simple,0,9)),
?line badarg = ?MASK_ERROR(binary:part(Simple,{0,9})),
?line badarg = ?MASK_ERROR(binary:part(Simple,1,8)),
?line badarg = ?MASK_ERROR(binary:part(Simple,{1,8})),
?line <<2,3,4,5,6,7,8>> = binary:part(Simple,{1,7}),
?line <<2,3,4,5,6,7,8>> = binary:part(Simple,{8,-7}),
?line Simple = binary:part(Simple,{8,-8}),
?line badarg = ?MASK_ERROR(binary:part(Simple,{1,-8})),
?line badarg = ?MASK_ERROR(binary:part(Simple,{8,-9})),
?line badarg = ?MASK_ERROR(binary:part(Simple,{0,-1})),
?line <<>> = binary:part(Simple,{8,0}),
?line badarg = ?MASK_ERROR(binary:part(Simple,{9,0})),
?line badarg = ?MASK_ERROR(binary:part(Simple,{-1,0})),
?line badarg = ?MASK_ERROR(binary:part(Simple,{7,2})),
?line <<8>> = binary:part(Simple,{7,1}),
?line random:seed({1271,769940,559934}),
?line random_parts(5000),
ok.
random_parts(0) ->
ok;
random_parts(N) ->
Str = random_string({1,N}),
Parts0 = random_parts(10,N),
Parts1 = Parts0 ++ [ {X+Y,-Y} || {X,Y} <- Parts0 ],
[ begin
true = ?MASK_ERROR(binary:part(Str,Z)) =:=
?MASK_ERROR(binref:part(Str,Z)),
true = ?MASK_ERROR(binary:part(Str,Z)) =:=
?MASK_ERROR(binary:part(make_unaligned(Str),Z))
end || Z <- Parts1 ],
random_parts(N-1).
random_parts(0,_) ->
[];
random_parts(X,N) ->
Pos = random:uniform(N),
Len = random:uniform((Pos * 12) div 10),
[{Pos,Len} | random_parts(X-1,N)].
random_ref_comp(doc) ->
["Test pseudorandomly generated cases against reference imlementation"];
random_ref_comp(Config) when is_list(Config) ->
?line put(success_counter,0),
?line random:seed({1271,769940,559934}),
?line do_random_match_comp(5000,{1,40},{30,1000}),
io:format("Number of successes: ~p~n",[get(success_counter)]),
?line do_random_match_comp2(5000,{1,40},{30,1000}),
io:format("Number of successes: ~p~n",[get(success_counter)]),
?line do_random_match_comp3(5000,{1,40},{30,1000}),
io:format("Number of successes: ~p~n",[get(success_counter)]),
?line do_random_matches_comp(5000,{1,40},{30,1000}),
io:format("Number of successes: ~p~n",[get(success_counter)]),
?line do_random_matches_comp2(5000,{1,40},{30,1000}),
io:format("Number of successes: ~p~n",[get(success_counter)]),
?line do_random_matches_comp3(5,{1,40},{30,1000}),
?line erts_debug:set_internal_state(available_internal_state,true),
?line io:format("oldlimit: ~p~n",[ erts_debug:set_internal_state(binary_loop_limit,100)]),
?line do_random_matches_comp3(5,{1,40},{30,1000}),
?line io:format("limit was: ~p~n",[ erts_debug:set_internal_state(binary_loop_limit,default)]),
?line erts_debug:set_internal_state(available_internal_state,false),
ok.
random_ref_sr_comp(doc) ->
["Test pseudorandomly generated cases against reference imlementation of split and replace"];
random_ref_sr_comp(Config) when is_list(Config) ->
?line put(success_counter,0),
?line random:seed({1271,769940,559934}),
?line do_random_split_comp(5000,{1,40},{30,1000}),
io:format("Number of successes: ~p~n",[get(success_counter)]),
?line do_random_replace_comp(5000,{1,40},{30,1000}),
io:format("Number of successes: ~p~n",[get(success_counter)]),
?line do_random_split_comp2(5000,{1,40},{30,1000}),
io:format("Number of successes: ~p~n",[get(success_counter)]),
?line do_random_replace_comp2(5000,{1,40},{30,1000}),
io:format("Number of successes: ~p~n",[get(success_counter)]),
ok.
random_ref_fla_comp(doc) ->
["Test pseudorandomly generated cases against reference imlementation of split and replace"];
random_ref_fla_comp(Config) when is_list(Config) ->
?line put(success_counter,0),
?line random:seed({1271,769940,559934}),
?line do_random_first_comp(5000,{1,1000}),
?line do_random_last_comp(5000,{1,1000}),
?line do_random_at_comp(5000,{1,1000}),
io:format("Number of successes: ~p~n",[get(success_counter)]),
ok.
do_random_first_comp(0,_) ->
ok;
do_random_first_comp(N,Range) ->
S = random_string(Range),
A = ?MASK_ERROR(binref:first(S)),
B = ?MASK_ERROR(binary:first(S)),
C = ?MASK_ERROR(binary:first(make_unaligned(S))),
case {(A =:= B), (B =:= C)} of
{true,true} ->
do_random_first_comp(N-1,Range);
_ ->
io:format("Failed to pick first of ~s~n",
[S]),
io:format("A:~p,~nB:~p,~n,C:~p.~n",
[A,B,C]),
exit(mismatch)
end.
do_random_last_comp(0,_) ->
ok;
do_random_last_comp(N,Range) ->
S = random_string(Range),
A = ?MASK_ERROR(binref:last(S)),
B = ?MASK_ERROR(binary:last(S)),
C = ?MASK_ERROR(binary:last(make_unaligned(S))),
case {(A =:= B), (B =:= C)} of
{true,true} ->
do_random_last_comp(N-1,Range);
_ ->
io:format("Failed to pick last of ~s~n",
[S]),
io:format("A:~p,~nB:~p,~n,C:~p.~n",
[A,B,C]),
exit(mismatch)
end.
do_random_at_comp(0,_) ->
ok;
do_random_at_comp(N,{Min,Max}=Range) ->
S = random_string(Range),
XMax = Min + ((Max - Min) * 3) div 4,
Pos = random_length({Min,XMax}), %% some out of range
A = ?MASK_ERROR(binref:at(S,Pos)),
B = ?MASK_ERROR(binary:at(S,Pos)),
C = ?MASK_ERROR(binary:at(make_unaligned(S),Pos)),
if
A =/= badarg ->
put(success_counter,get(success_counter)+1);
true ->
ok
end,
case {(A =:= B), (B =:= C)} of
{true,true} ->
do_random_at_comp(N-1,Range);
_ ->
io:format("Failed to pick last of ~s~n",
[S]),
io:format("A:~p,~nB:~p,~n,C:~p.~n",
[A,B,C]),
exit(mismatch)
end.
do_random_matches_comp(0,_,_) ->
ok;
do_random_matches_comp(N,NeedleRange,HaystackRange) ->
NumNeedles = element(2,HaystackRange) div element(2,NeedleRange),
Needles = [random_string(NeedleRange) ||
_ <- lists:duplicate(NumNeedles,a)],
Haystack = random_string(HaystackRange),
true = do_matches_comp(Needles,Haystack),
do_random_matches_comp(N-1,NeedleRange,HaystackRange).
do_random_matches_comp2(0,_,_) ->
ok;
do_random_matches_comp2(N,NeedleRange,HaystackRange) ->
NumNeedles = element(2,HaystackRange) div element(2,NeedleRange),
Haystack = random_string(HaystackRange),
Needles = [random_substring(NeedleRange,Haystack) ||
_ <- lists:duplicate(NumNeedles,a)],
true = do_matches_comp(Needles,Haystack),
do_random_matches_comp2(N-1,NeedleRange,HaystackRange).
do_random_matches_comp3(0,_,_) ->
ok;
do_random_matches_comp3(N,NeedleRange,HaystackRange) ->
NumNeedles = element(2,HaystackRange) div element(2,NeedleRange),
Haystack = random_string(HaystackRange),
Needles = [random_substring(NeedleRange,Haystack) ||
_ <- lists:duplicate(NumNeedles,a)],
RefRes = binref:matches(Haystack,Needles),
true = do_matches_comp_loop(10000,Needles,Haystack, RefRes),
do_random_matches_comp3(N-1,NeedleRange,HaystackRange).
do_matches_comp_loop(0,_,_,_) ->
true;
do_matches_comp_loop(N, Needles, Haystack0,RR) ->
DummySize=N*8,
Haystack1 = <<0:DummySize,Haystack0/binary>>,
RR1=[{X+N,Y} || {X,Y} <- RR],
true = do_matches_comp2(Needles,Haystack1,RR1),
Haystack2 = <<Haystack0/binary,Haystack1/binary>>,
RR2 = RR ++ [{X2+N+byte_size(Haystack0),Y2} || {X2,Y2} <- RR],
true = do_matches_comp2(Needles,Haystack2,RR2),
do_matches_comp_loop(N-1, Needles, Haystack0,RR).
do_matches_comp2(N,H,A) ->
C = ?MASK_ERROR(binary:matches(H,N)),
case (A =:= C) of
true ->
true;
_ ->
io:format("Failed to match ~p (needle) against ~s (haystack)~n",
[N,H]),
io:format("A:~p,~n,C:~p.~n",
[A,C]),
exit(mismatch)
end.
do_matches_comp(N,H) ->
A = ?MASK_ERROR(binref:matches(H,N)),
B = ?MASK_ERROR(binref:matches(H,binref:compile_pattern(N))),
C = ?MASK_ERROR(binary:matches(H,N)),
D = ?MASK_ERROR(binary:matches(make_unaligned(H),binary:compile_pattern(N))),
if
A =/= nomatch ->
put(success_counter,get(success_counter)+1);
true ->
ok
end,
case {(A =:= B), (B =:= C),(C =:= D)} of
{true,true,true} ->
true;
_ ->
io:format("Failed to match ~p (needle) against ~s (haystack)~n",
[N,H]),
io:format("A:~p,~nB:~p,~n,C:~p,~n,D:~p.~n",
[A,B,C,D]),
exit(mismatch)
end.
do_random_match_comp(0,_,_) ->
ok;
do_random_match_comp(N,NeedleRange,HaystackRange) ->
Needle = random_string(NeedleRange),
Haystack = random_string(HaystackRange),
true = do_match_comp(Needle,Haystack),
do_random_match_comp(N-1,NeedleRange,HaystackRange).
do_random_match_comp2(0,_,_) ->
ok;
do_random_match_comp2(N,NeedleRange,HaystackRange) ->
Haystack = random_string(HaystackRange),
Needle = random_substring(NeedleRange,Haystack),
true = do_match_comp(Needle,Haystack),
do_random_match_comp2(N-1,NeedleRange,HaystackRange).
do_random_match_comp3(0,_,_) ->
ok;
do_random_match_comp3(N,NeedleRange,HaystackRange) ->
NumNeedles = element(2,HaystackRange) div element(2,NeedleRange),
Haystack = random_string(HaystackRange),
Needles = [random_substring(NeedleRange,Haystack) ||
_ <- lists:duplicate(NumNeedles,a)],
true = do_match_comp3(Needles,Haystack),
do_random_match_comp3(N-1,NeedleRange,HaystackRange).
do_match_comp(N,H) ->
A = ?MASK_ERROR(binref:match(H,N)),
B = ?MASK_ERROR(binref:match(H,binref:compile_pattern([N]))),
C = ?MASK_ERROR(binary:match(make_unaligned(H),N)),
D = ?MASK_ERROR(binary:match(H,binary:compile_pattern([N]))),
if
A =/= nomatch ->
put(success_counter,get(success_counter)+1);
true ->
ok
end,
case {(A =:= B), (B =:= C),(C =:= D)} of
{true,true,true} ->
true;
_ ->
io:format("Failed to match ~s (needle) against ~s (haystack)~n",
[N,H]),
io:format("A:~p,~nB:~p,~n,C:~p,~n,D:~p.~n",
[A,B,C,D]),
exit(mismatch)
end.
do_match_comp3(N,H) ->
A = ?MASK_ERROR(binref:match(H,N)),
B = ?MASK_ERROR(binref:match(H,binref:compile_pattern(N))),
C = ?MASK_ERROR(binary:match(H,N)),
D = ?MASK_ERROR(binary:match(H,binary:compile_pattern(N))),
if
A =/= nomatch ->
put(success_counter,get(success_counter)+1);
true ->
ok
end,
case {(A =:= B), (B =:= C),(C =:= D)} of
{true,true,true} ->
true;
_ ->
io:format("Failed to match ~s (needle) against ~s (haystack)~n",
[N,H]),
io:format("A:~p,~nB:~p,~n,C:~p,~n,D:~p.~n",
[A,B,C,D]),
exit(mismatch)
end.
do_random_split_comp(0,_,_) ->
ok;
do_random_split_comp(N,NeedleRange,HaystackRange) ->
Haystack = random_string(HaystackRange),
Needle = random_substring(NeedleRange,Haystack),
true = do_split_comp(Needle,Haystack,[]),
true = do_split_comp(Needle,Haystack,[global]),
true = do_split_comp(Needle,Haystack,[global,trim]),
do_random_split_comp(N-1,NeedleRange,HaystackRange).
do_random_split_comp2(0,_,_) ->
ok;
do_random_split_comp2(N,NeedleRange,HaystackRange) ->
NumNeedles = element(2,HaystackRange) div element(2,NeedleRange),
Haystack = random_string(HaystackRange),
Needles = [random_substring(NeedleRange,Haystack) ||
_ <- lists:duplicate(NumNeedles,a)],
true = do_split_comp(Needles,Haystack,[]),
true = do_split_comp(Needles,Haystack,[global]),
do_random_split_comp2(N-1,NeedleRange,HaystackRange).
do_split_comp(N,H,Opts) ->
A = ?MASK_ERROR(binref:split(H,N,Opts)),
D = ?MASK_ERROR(binary:split(H,binary:compile_pattern(N),Opts)),
if
(A =/= [N]) and is_list(A) ->
put(success_counter,get(success_counter)+1);
true ->
ok
end,
case (A =:= D) of
true ->
true;
_ ->
io:format("Failed to split ~n~p ~n(haystack) with ~n~p ~n(needle) "
"~nand options ~p~n",
[H,N,Opts]),
io:format("A:~p,D:~p.~n",
[A,D]),
exit(mismatch)
end.
do_random_replace_comp(0,_,_) ->
ok;
do_random_replace_comp(N,NeedleRange,HaystackRange) ->
Haystack = random_string(HaystackRange),
Needle = random_substring(NeedleRange,Haystack),
Repl = random_string(NeedleRange),
Insertat = random_length(NeedleRange), %Sometimes larger than Repl
true = do_replace_comp(Needle,Haystack,Repl,[]),
true = do_replace_comp(Needle,Haystack,Repl,[global]),
true = do_replace_comp(Needle,Haystack,Repl,
[global,{insert_replaced,Insertat}]),
do_random_replace_comp(N-1,NeedleRange,HaystackRange).
do_random_replace_comp2(0,_,_) ->
ok;
do_random_replace_comp2(N,NeedleRange,HaystackRange) ->
NumNeedles = element(2,HaystackRange) div element(2,NeedleRange),
Haystack = random_string(HaystackRange),
Needles = [random_substring(NeedleRange,Haystack) ||
_ <- lists:duplicate(NumNeedles,a)],
Repl = random_string(NeedleRange),
Insertat = random_length(NeedleRange), %Sometimes larger than Repl
true = do_replace_comp(Needles,Haystack,Repl,[]),
true = do_replace_comp(Needles,Haystack,Repl,[global]),
true = do_replace_comp(Needles,Haystack,Repl,
[global,{insert_replaced,Insertat}]),
do_random_replace_comp2(N-1,NeedleRange,HaystackRange).
do_replace_comp(N,H,R,Opts) ->
A = ?MASK_ERROR(binref:replace(H,N,R,Opts)),
D = ?MASK_ERROR(binary:replace(H,binary:compile_pattern(N),R,Opts)),
if
(A =/= N) and is_binary(A) ->
put(success_counter,get(success_counter)+1);
true ->
ok
end,
case (A =:= D) of
true ->
true;
_ ->
io:format("Failed to replace ~s (haystack) by ~s (needle) "
"inserting ~s (replacement) and options ~p~n",
[H,N,R,Opts]),
io:format("A:~p,D:~p.~n",
[A,D]),
exit(mismatch)
end.
one_random(N) ->
M = ((N - 1) rem 68) + 1,
element(M,{$a,$b,$c,$d,$e,$f,$g,$h,$i,$j,$k,$l,$m,$n,$o,$p,$q,$r,$s,$t,
$u,$v,$w,$x,$y,$z,$�,$�,$�,$A,$B,$C,$D,$E,$F,$G,$H,
$I,$J,$K,$L,$M,$N,$O,$P,$Q,$R,$S,$T,$U,$V,$W,$X,$Y,$Z,$�,
$�,$�,$0,$1,$2,$3,$4,$5,$6,$7,$8,$9}).
random_length({Min,Max}) ->
random:uniform(Max - Min + 1) + Min - 1.
random_string({Min,Max}) ->
X = random:uniform(Max - Min + 1) + Min - 1,
list_to_binary([one_random(random:uniform(68)) || _ <- lists:seq(1,X)]).
random_substring({Min,Max},Hay) ->
X = random:uniform(Max - Min + 1) + Min - 1,
Y = byte_size(Hay),
Z = if
X > Y -> Y;
true -> X
end,
PMax = Y - Z,
Pos = random:uniform(PMax + 1) - 1,
<<_:Pos/binary,Res:Z/binary,_/binary>> = Hay,
Res.
mask_error({'EXIT',{Err,_}}) ->
Err;
mask_error(Else) ->
Else.
make_unaligned(Bin0) when is_binary(Bin0) ->
Bin1 = <<0:3,Bin0/binary,31:5>>,
Sz = byte_size(Bin0),
<<0:3,Bin:Sz/binary,31:5>> = id(Bin1),
Bin.
id(I) -> I.
