Merge branch 'bjorn/asn1/bug-fixes-and-clean-ups/OTP-11134' into maint

* bjorn/asn1/bug-fixes-and-clean-ups/OTP-11134: (77 commits)
  testSeqOf: Test constrained, extensible sizes
  Clean up testSeqOf
  Extend tests cases for BIT STRING
  Improve tests of ENUMERATED
  asn1ct_check: Eliminate useless Per argument from complist_as_tuple()
  asn1ct_check: Don't pass on #'ObjectClassFieldType'{} with fixed type
  asn1ct_gen_per: Remove useless renewal of 'enumval'
  Fix encoding of semi-constrained, extensible INTEGERs
  PER/UPER: Fix decoding of semi-constrained INTEGERs
  testPrim: Simplify test cases using a roundtrip function
  BER: Fix handling of a constructed default value for a class
  PER: Generate code for deep table constraints at compile-time
  Normalize data representation for table constraints
  asn1ct: Simplify check_value/2
  Extend tests to cover more code in asn1ct_check
  Clean up checking of values for ENUMERATEDs
  Introduce a new mechanism for structured error handling
  asn1_db: Make dbput/3 and dbsave/2 asynchronous
  asn1_db: Remove unused functions
  asn1ct_check: Clean up checkc/3
  ...

1 files changed, 43 insertions, 39 deletions

diff --git a/lib/asn1/test/asn1_SUITE_data/extensionAdditionGroup.erl b/lib/asn1/test/asn1_SUITE_data/extensionAdditionGroup.erl
index d46560979d..00e4c707dd 100644
--- a/lib/asn1/test/asn1_SUITE_data/extensionAdditionGroup.erl
+++ b/lib/asn1/test/asn1_SUITE_data/extensionAdditionGroup.erl
@@ -1,9 +1,3 @@
-%%%-------------------------------------------------------------------
-%%% File    : extensionAdditionGroup.erl
-%%% Author  : Kenneth Lundin
-%%% Description :
-%%%
-%%% Created : 18 May 2010 by kenneth
 %%
 %% %CopyrightBegin%
 %%
@@ -25,36 +19,38 @@
 %%%-------------------------------------------------------------------
 -module(extensionAdditionGroup).
 -include("Extension-Addition-Group.hrl").
-
+-export([run/1]).
 
 -compile(export_all).
 
 run(Erule) ->
-    Val = #'Ax'{a=253, b = true, c= {e,true}, g="123", h = true},
-    io:format("~p:~p~n",[Erule,Val]),
-    {ok,List}= asn1rt:encode('Extension-Addition-Group','Ax',Val),
-    Enc = iolist_to_binary(List),
-    io:format("~p~n",[Enc]),
-    {ok,Val2} = asn1rt:decode('Extension-Addition-Group','Ax',Enc),
-    io:format("~p~n",[Val2]),
-    case Val2 of
-	Val -> ok;
-	_ -> exit({expected,Val, got, Val2})
-    end.
+    Val = #'Ax'{a=253,b=true,c={e,true},g="123",h=true},
+    Enc = hex_to_binary(encoded_ax(Erule)),
+    roundtrip('Ax', Val, Enc),
 
-run2(Erule) ->
-    Val = #'Ax3'{a=253, b = true, s = #'Ax3_s'{sa = 11, sb = true, sextaddgroup = 17}},
-    io:format("~p:~p~n",[Erule,Val]),
-    {ok,List}= asn1rt:encode('Extension-Addition-Group','Ax3',Val),
-    Enc = iolist_to_binary(List),
-    io:format("~p~n",[Enc]),
-    {ok,Val2} = asn1rt:decode('Extension-Addition-Group','Ax3',Enc),
-    io:format("~p~n",[Val2]),
-    case Val2 of
-	Val -> ok;
-	_ -> exit({expected,Val, got, Val2})
-    end.
+    Val2 = #'Ax3'{a=253,b=true,s=#'Ax3_s'{sa=11,sb=true,sextaddgroup=17}},
+    roundtrip('Ax3', Val2),
+
+    run3(),
+    run3(Erule),
+
+    ok.
+
+%% From X.691 (07/2002) A.4.
+encoded_ax(per) ->  "9E000180 010291A4";
+encoded_ax(uper) -> "9E000600 040A4690";
+encoded_ax(ber) ->  none.
 
+hex_to_binary(none) ->
+    none;
+hex_to_binary(L) ->
+    << <<(hex_digit_to_binary(D)):4>> || D <- L, D =/= $\s >>.
+
+hex_digit_to_binary(D) ->
+    if
+	$0 =< D, D =< $9 -> D - $0;
+	$A =< D, D =< $F -> D - ($A-10)
+    end.
 run3(Erule) ->
     Val = 
 {'RRC-DL-DCCH-Message',
@@ -141,15 +137,23 @@ run3() ->
                  'ac-BarringFactor' = p00,
                  'ac-BarringTime' = s4,
                  'ac-BarringForSpecialAC' = <<0:5>>},
-    roundtrip(SI),
-    roundtrip(SI#'SystemInformationBlockType2'{
-		'ssac-BarringForMMTEL-Voice-r9'=Barring}),
-    roundtrip(SI#'SystemInformationBlockType2'{
+    T = 'SystemInformationBlockType2',
+    roundtrip(T, SI),
+    roundtrip(T, SI#'SystemInformationBlockType2'{
+		   'ssac-BarringForMMTEL-Voice-r9'=Barring}),
+    roundtrip(T, SI#'SystemInformationBlockType2'{
 		'ssac-BarringForMMTEL-Video-r9'=Barring}),
-    roundtrip(SI#'SystemInformationBlockType2'{
-		'ac-BarringForCSFB-r10'=Barring}).
+    roundtrip(T, SI#'SystemInformationBlockType2'{
+		   'ac-BarringForCSFB-r10'=Barring}).
 
-roundtrip(V) ->
+roundtrip(T, V) ->
+    roundtrip(T, V, none).
+
+roundtrip(T, V, Expected) ->
     Mod = 'Extension-Addition-Group',
-    {ok,E} = Mod:encode('SystemInformationBlockType2', V),
-    {ok,V} = Mod:decode('SystemInformationBlockType2', iolist_to_binary(E)).
+    {ok,E} = Mod:encode(T, V),
+    {ok,V} = Mod:decode(T, E),
+    case Expected of
+	none -> ok;
+	E -> ok
+    end.