%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 2001-2013. All Rights Reserved.
%%
%% The contents of this file are subject to the Erlang Public License,
%% Version 1.1, (the "License"); you may not use this file except in
%% compliance with the License. You should have received a copy of the
%% Erlang Public License along with this software. If not, it can be
%% retrieved online at http://www.erlang.org/.
%%
%% Software distributed under the License is distributed on an "AS IS"
%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
%% the License for the specific language governing rights and limitations
%% under the License.
%%
%% %CopyrightEnd%
%%
%%
-module(testSeqSetDefaultVal).
-export([main/2]).
-include("External.hrl").
-include_lib("test_server/include/test_server.hrl").
-record('SeqInts',{a = asn1_DEFAULT,
b = asn1_DEFAULT,
c = asn1_DEFAULT,
d = asn1_DEFAULT}).
-record('SetInts',{a = asn1_DEFAULT,
b = asn1_DEFAULT,
c = asn1_DEFAULT,
d = asn1_DEFAULT}).
-record('SeqBS',{a = asn1_DEFAULT,
b = asn1_DEFAULT,
c = asn1_DEFAULT,
d = asn1_DEFAULT,
e = asn1_DEFAULT}).
-record('SetBS',{a = asn1_DEFAULT,
b = asn1_DEFAULT,
c = asn1_DEFAULT,
d = asn1_DEFAULT}).
-record('SeqOS',{a = asn1_DEFAULT,
b = asn1_DEFAULT,
c = asn1_DEFAULT}).
-record('SetOS',{a = asn1_DEFAULT,
b = asn1_DEFAULT,
c = asn1_DEFAULT}).
-record('SeqOI',{a = asn1_DEFAULT,
b = asn1_DEFAULT,
c = asn1_DEFAULT}).
-record('SetOI',{a = asn1_DEFAULT,
b = asn1_DEFAULT,
c = asn1_DEFAULT}).
-record('SeqEnum',{a = asn1_DEFAULT,
b = asn1_DEFAULT}).
-record('SetEnum',{a = asn1_DEFAULT,
b = asn1_DEFAULT}).
-record('SeqIntBool',{a = asn1_DEFAULT,
b = asn1_DEFAULT,
c = asn1_DEFAULT}).
-record('SeqIntBool_a',{aa = asn1_DEFAULT,
ab = asn1_DEFAULT}).
-record('SetIntBool',{a = asn1_DEFAULT,
b = asn1_DEFAULT,
c = asn1_DEFAULT}).
-record('SetIntBool_a',{aa = asn1_DEFAULT,
ab = asn1_DEFAULT}).
-record('SeqStrings',{a = asn1_DEFAULT,
b1 = asn1_DEFAULT,
b2 = asn1_DEFAULT,
b3 = asn1_DEFAULT,
c = asn1_DEFAULT,
d = asn1_DEFAULT}).
-record('SetStrings',{a = asn1_DEFAULT,
b1 = asn1_DEFAULT,
b2 = asn1_DEFAULT,
b3 = asn1_DEFAULT,
c = asn1_DEFAULT,
d = asn1_DEFAULT}).
-record('S1',{a = asn1_DEFAULT,
b = asn1_DEFAULT}).
-record('S1_a',{aa = asn1_DEFAULT,
ab = asn1_DEFAULT}).
-record('S2',{a = asn1_DEFAULT, b=asn1_NOVALUE}).
-record('S3',{a = asn1_DEFAULT,
b = asn1_DEFAULT,
c = asn1_DEFAULT,
d = asn1_DEFAULT}).
-record('S3set',{a = asn1_DEFAULT,
b = asn1_DEFAULT}).
-record('S4',{a = asn1_DEFAULT,
b = asn1_DEFAULT}).
-record('S4_b',{ba = asn1_DEFAULT,
bb = asn1_DEFAULT}).
main(ber, []) ->
%% Nothing to test because plain BER will only use
%% default values when explicitly told to do so by
%% asn1_DEFAULT.
ok;
main(Rule, Opts) ->
%% DER, PER, UPER. These encodings should not encode
%% values that are equal to the default value.
case {Rule,Opts} of
{ber,[der]} ->
der();
{_,_} ->
ok
end,
Ts = [{#'SeqInts'{},
[{#'SeqInts'.c,
[asn1_DEFAULT,
three,
3]}]},
{#'SeqBS'{},
[{#'SeqBS'.a,
[asn1_DEFAULT,
2#0110101,
[1,0,1,0,1,1,0],
{1,<<16#AC>>},
<<1:1,0:1,1:1,0:1,1:1,1:1,0:1>>]},
{#'SeqBS'.b,
[asn1_DEFAULT,
2#10100010101,
[1,0,1,0,1,0,0,0,1,0,1,0],
{4,<<16#A8,16#A0>>},
<<16#A8:8,16#A:4>>]},
{#'SeqBS'.c,
[asn1_DEFAULT,
[second],
[0,1],
{6,<<0:1,1:1,0:6>>},
<<1:2>>]},
{#'SeqBS'.c, %Zeroes on the right
[asn1_DEFAULT,
[second],
[0,1,0,0,0],
{4,<<0:1,1:1,0:6>>},
<<1:2,0:17>>]},
{#'SeqBS'.d,
[asn1_DEFAULT,
2#1001,
[1,0,0,1],
{4,<<2#1001:4,0:4>>},
<<2#1001:4>>]},
{#'SeqBS'.e,
[asn1_DEFAULT,
[0,1,0,1,1,0,1,0],
{0,<<2#01011010:8>>},
<<2#01011010:8>>]},
%% Not EQUAL to DEFAULT.
{#'SeqBS'.b,
[[1,1,0], %Not equal to DEFAULT
{5,<<6:3,0:5>>},
<<6:3>>]}
]},
{#'SeqOS'{},
[{#'SeqOS'.a,
[asn1_DEFAULT,
[172]]}]},
{#'SeqOI'{},
[{#'SeqOI'.a,
[asn1_DEFAULT,
{1,2,14,15}]},
{#'SeqOI'.b,
[asn1_DEFAULT,
%% {iso,'member-body',250,3,4},
{1,2,250,3,4}]},
{#'SeqOI'.c,
[asn1_DEFAULT,
%% {iso,standard,8571,2,250,4},
{1,0,8571,2,250,4}]}]}
],
io:format("~p\n", [Ts]),
R0 = [[consistency(Rec, Pos, Vs) || {Pos,Vs} <- Fs] || {Rec,Fs} <- Ts],
case lists:flatten(R0) of
[] ->
ok;
[_|_]=R ->
io:format("~p\n", [R]),
?t:fail()
end.
consistency(Rec0, Pos, [V|Vs]) ->
T = element(1, Rec0),
Rec = setelement(Pos, Rec0, V),
{ok,Enc} = 'Default':encode(T, Rec),
{ok,_SmokeTest} = 'Default':decode(T, Enc),
consistency_1(Vs, Rec0, Pos, Enc).
consistency_1([V|Vs], Rec0, Pos, Enc) ->
Rec = setelement(Pos, Rec0, V),
case 'Default':encode(element(1, Rec), Rec) of
{ok,Enc} ->
consistency_1(Vs, Rec0, Pos, Enc);
{ok,WrongEnc} ->
[{Rec,{wrong,WrongEnc},{should_be,Enc}}|
consistency_1(Vs, Rec0, Pos, Enc)]
end;
consistency_1([], _, _, _) -> [].
der() ->
io:put_chars("Peforming DER-specific tests..."),
roundtrip(<<48,0>>,
'SeqInts',
#'SeqInts'{a=asn1_DEFAULT,b=asn1_DEFAULT,
c=asn1_DEFAULT,d=asn1_DEFAULT},
#'SeqInts'{a=1,b=-1,c=3,d=1}),
roundtrip(<<48,0>>,
'SeqInts',
#'SeqInts'{a=1,b=-1,c=three,d=1},
#'SeqInts'{a=1,b=-1,c=3,d=1}),
roundtrip(<<49,0>>,
'SetInts',
#'SetInts'{a=asn1_DEFAULT,b=asn1_DEFAULT,
c=asn1_DEFAULT,d=asn1_DEFAULT},
#'SetInts'{a=1,b=-1,c=3,d=1}),
roundtrip(<<49,0>>,
'SetInts',
#'SetInts'{a=1,b=-1,c=three,d=1},
#'SetInts'{a=1,b=-1,c=3,d=1}),
roundtrip(<<48,0>>,
'SeqBS',
#'SeqBS'{a=2#0110101,
b=2#010100010101,
c=[second],
d=[1,0,0,1]},
#'SeqBS'{a = <<2#1010110:7>>, b = <<16#A8A:12>>,
c=[second], d = <<2#1001:4>>,
e = <<2#01011010:8>>}),
roundtrip(<<48,0>>,
'SeqBS',
#'SeqBS'{a=[1,0,1,0,1,1,0],
b=[1,0,1,0,1,0,0,0,1,0,1,0],
c={5,<<64>>},
d=2#1001},
#'SeqBS'{a = <<2#1010110:7>>, b = <<16#A8A:12>>,
c=[second], d = <<2#1001:4>>,
e = <<2#01011010:8>>}),
roundtrip(<<48,3,131,1,0>>,
'SeqBS',
#'SeqBS'{a=[1,0,1,0,1,1,0],
b=[1,0,1,0,1,0,0,0,1,0,1,0],
c={5,<<64>>},
d=0},
#'SeqBS'{a = <<2#1010110:7>>, b = <<16#A8A:12>>,
c=[second], d = <<>>,
e = <<2#01011010:8>>}),
roundtrip(<<48,3,131,1,0>>,
'SeqBS',
#'SeqBS'{a = <<1:1,0:1,1:1,0:1,1:1,1:1,0:1>>,
b = <<1:1,0:1,1:1,0:1,1:1,0:1,0:1,0:1,1:1,0:1,1:1,0:1>>,
c = <<2:3>>,
d=0,
e = <<16#5A:8>>},
#'SeqBS'{a = <<2#1010110:7>>, b = <<16#A8A:12>>,
c=[second], d = <<>>,
e = <<2#01011010:8>>}),
%% None of the default values are used.
roundtrip(<<48,19,128,2,7,128,129,2,5,64,130,2,5,32,131,1,0,132,2,5,224>>,
'SeqBS',
#'SeqBS'{a = <<1:1>>,
b = {5,<<64>>},
c = [third],
d = 0,
e = <<7:3>>},
#'SeqBS'{a = <<1:1>>,
b = <<2:3>>,
c = [third],
d = <<>>,
e = <<7:3>>}),
roundtrip(<<49,0>>,
'SetBS',
#'SetBS'{a=2#0110101,
b=2#010100010101,
c=[second],
d=[1,0,0,1]},
#'SetBS'{a = <<2#1010110:7>>, b = <<16#A8A:12>>,
c=[second], d = <<2#1001:4>>}),
roundtrip(<<49,0>>,
'SetBS',
#'SetBS'{a=[1,0,1,0,1,1,0],
b=[1,0,1,0,1,0,0,0,1,0,1,0],
c={5,<<64>>},
d=9},
#'SetBS'{a = <<2#1010110:7>>, b = <<16#A8A:12>>,
c=[second], d = <<2#1001:4>>}),
roundtrip(<<49,3,131,1,0>>,
'SetBS',
#'SetBS'{a=[1,0,1,0,1,1,0],
b=[1,0,1,0,1,0,0,0,1,0,1,0],
c={5,<<64>>},
d=0},
#'SetBS'{a = <<2#1010110:7>>, b = <<16#A8A:12>>,
c=[second], d = <<>>}),
roundtrip(<<49,3,131,1,0>>,
'SetBS',
#'SetBS'{a = <<1:1,0:1,1:1,0:1,1:1,1:1,0:1>>,
b = <<1:1,0:1,1:1,0:1,1:1,0:1,0:1,0:1,1:1,0:1,1:1,0:1>>,
c = <<2:3>>,
d=0},
#'SetBS'{a = <<2#1010110:7>>, b = <<16#A8A:12>>,
c=[second], d = <<>>}),
roundtrip(<<48,0>>, 'SeqOS',
#'SeqOS'{a=[172],b=[16#A8,16#A0],c='NULL'}),
roundtrip(<<48,0>>,
'SeqOS',
#'SeqOS'{a=172,b=43168,c='NULL'},
#'SeqOS'{a=[172],b=[16#A8,16#A0],c='NULL'}),
roundtrip(<<49,0>>, 'SetOS', #'SetOS'{a=[172],b=[16#A8,16#A0],c='NULL'}),
roundtrip(<<49,0>>,
'SetOS',
#'SetOS'{a=172,b=43168,c='NULL'},
#'SetOS'{a=[172],b=[16#A8,16#A0],c='NULL'}),
roundtrip(<<48,0>>,
'SeqOI',
#'SeqOI'{a={1,2,14,15},
b={iso,'member-body',250,3,4},
c={iso,standard,8571,2,250,4}},
#'SeqOI'{a={1,2,14,15},
b={1,2,250,3,4},
c={1,0,8571,2,250,4}}),
roundtrip(<<49,0>>,
'SetOI',
#'SetOI'{a={1,2,14,15},
b={iso,'member-body',250,3,4},
c={iso,standard,8571,2,250,4}},
#'SetOI'{a={1,2,14,15},
b={1,2,250,3,4},
c={1,0,8571,2,250,4}}),
roundtrip(<<48,0>>, 'SeqEnum', #'SeqEnum'{a=b4,b=b2}),
roundtrip(<<49,0>>, 'SetEnum', #'SetEnum'{a=b4,b=b2}),
roundtrip(<<48,0>>,
'SeqIntBool',
#'SeqIntBool'{a=#'SeqIntBool_a'{aa=12,ab=13},
b=#'S2'{a=14,b=true},
c=#'S2'{a=15,b=false}}),
roundtrip(<<48,0>>,
'SeqIntBool',
#'SeqIntBool'{a=asn1_DEFAULT,b=asn1_DEFAULT,c=asn1_DEFAULT},
#'SeqIntBool'{a=#'SeqIntBool_a'{aa=12,ab=13},
b=#'S2'{a=14,b=true},
c=#'S2'{a=15,b=false}}),
roundtrip(<<49,0>>,
'SetIntBool',
#'SetIntBool'{a=#'SetIntBool_a'{aa=12,ab=13},
b=#'S2'{a=14,b=true},
c=#'S2'{a=15,b=false}}),
roundtrip(<<49,0>>,
'SetIntBool',
#'SetIntBool'{a=asn1_DEFAULT,b=asn1_DEFAULT,c=asn1_DEFAULT},
#'SetIntBool'{a=#'SetIntBool_a'{aa=12,ab=13},
b=#'S2'{a=14,b=true},
c=#'S2'{a=15,b=false}}),
roundtrip(<<48,0>>,
'SeqStrings',
#'SeqStrings'{a="123456789",b1="abcdef",
b2={0,13},
b3={"First line",{0,13},"Second line"},
c="Printable string",
d={0,0,1,14}},
#'SeqStrings'{a="123456789",b1="abcdef",
b2=[0,13],
b3=["First line",[0,13],"Second line"],
c="Printable string",
d=[0,0,1,14]}),
roundtrip(<<49,0>>,
'SetStrings',
#'SetStrings'{a="123456789",b1="abcdef",
b2={0,13},
b3={"First line",{0,13},"Second line"},
c="Printable string",
d={0,0,1,14}},
#'SetStrings'{a="123456789",b1="abcdef",
b2=[0,13],
b3=["First line",[0,13],"Second line"],
c="Printable string",
d=[0,0,1,14]}),
roundtrip(<<48,0>>,
'S1',
#'S1'{a=#'S1_a'{aa=1,ab=#'S2'{a=2,b=true}},
b=#'S4'{a=#'S2'{a=2,b=true},b=#'S4_b'{ba=true,bb=5}}}),
roundtrip(<<48,3,129,1,255>>, 'S2', #'S2'{a=1,b=true}),
roundtrip(<<48,0>>,
'S3',
#'S3'{a="\v\f\r",
b=[{a,11},{b,true},{c,13}],
c=[1,2,3,4],
d=[#'S2'{a=20,b=true},#'S2'{a=30,b=false}]}),
roundtrip(<<48,0>>,
'S3',
#'S3'{a=[11,13,12],
b=[{b,true},{a,11},{c,13}],
c=[3,4,1,2],
d=[#'S2'{a=30,b=false},#'S2'{a=20,b=true}]},
#'S3'{a=[11,12,13],
b=[{a,11},{b,true},{c,13}],
c=[1,2,3,4],
d=[#'S2'{a=20,b=true},#'S2'{a=30,b=false}]}),
roundtrip(<<48,0>>,
'S3',
#'S3'{a=asn1_DEFAULT,b=asn1_DEFAULT,
c=asn1_DEFAULT,d=asn1_DEFAULT},
#'S3'{a=[11,12,13],
b=[{a,11},{b,true},{c,13}],
c=[1,2,3,4],
d=[#'S2'{a=20,b=true},#'S2'{a=30,b=false}]}),
roundtrip(<<49,0>>,
'S3set',
#'S3set'{a=[{c,#'S2'{a=3,b=true}},{b,17},{a,false}],
b=[1,2,3,4]}),
roundtrip(<<49,0>>,
'S3set',
#'S3set'{a=[{b,17},{c,#'S2'{a=3,b=true}},{a,false}],
b=[1,3,4,2]},
#'S3set'{a=[{c,#'S2'{a=3,b=true}},{b,17},{a,false}],
b=[1,2,3,4]}),
roundtrip(<<49,0>>,
'S3set',
#'S3set'{a=asn1_DEFAULT,b=asn1_DEFAULT},
#'S3set'{a=[{c,#'S2'{a=3,b=true}},{b,17},{a,false}],
b=[1,2,3,4]}),
roundtrip(<<48,0>>,
'S4',
#'S4'{a=#'S2'{a=1,b=asn1_NOVALUE},b=#'S4_b'{ba=true,bb=0}},
#'S4'{a=#'S2'{a=1,b=asn1_NOVALUE},b=#'S4_b'{ba=true,bb=0}}),
ok.
roundtrip(Encoded, Type, Value) ->
roundtrip(Encoded, Type, Value, Value).
roundtrip(Encoded, Type, Value, ExpectedValue) ->
Encoded = asn1_test_lib:roundtrip_enc('Default', Type,
Value, ExpectedValue),
ok.
