Merge branch 'bjorn/asn1/rfc-5912/OTP-12395'

* bjorn/asn1/rfc-5912/OTP-12395: (79 commits)
  Remove the old unused yecc-based parser
  Improve error handling for illegal object definitions
  Reimplement storeindb/2 to avoid excessive process communication
  Remove useless fields in #state{}
  Remove vestiges of obsolete {TypeName,Value} notation
  Remove old error handling
  Modernize the remaining cases
  Further improve error handling for instatiation of parameterized types
  asn1ct_tok: Clean up
  Add a test case for EXTENSIBILITY IMPLIED
  asn1ct_parser2: Remove expensive lookahead_assignment/1 function
  asn1ct_parser2: Clean up error handling and reporting
  asn1ct, asn1ct_parser2: Refactor the upper levels of error handling
  asn1ct_parser2: Eliminate all uses of old-style 'catch'
  asn1ct_parser2: Clean up parse_or/3 and parse_or_tag/3
  asn1ct_parser2: Correct extraction of line number from token
  asn1ct_parser2: Throw an {asn1_error,...} for *all* parse errors
  asn1ct_parser2: Simplify parse_Type/1
  asn1ct_parser2: Remove unsuccessful parsing of ValueSetFromObjects
  Move checking of UNIQUE & DEFAULT error to asn1ct_check
  ...

1 files changed, 25 insertions, 0 deletions

diff --git a/lib/asn1/test/asn1_test_lib.erl b/lib/asn1/test/asn1_test_lib.erl
index da07cd1118..a5f46046ff 100644
--- a/lib/asn1/test/asn1_test_lib.erl
+++ b/lib/asn1/test/asn1_test_lib.erl
@@ -21,6 +21,7 @@
 
 -export([compile/3,compile_all/3,compile_erlang/3,
 	 hex_to_bin/1,
+	 match_value/2,
 	 parallel/0,
 	 roundtrip/3,roundtrip/4,roundtrip_enc/3,roundtrip_enc/4]).
 
@@ -106,6 +107,24 @@ compile_erlang(Mod, Config, Options) ->
 hex_to_bin(S) ->
     << <<(hex2num(C)):4>> || C <- S, C =/= $\s >>.
 
+%% match_value(Pattern, Value) -> ok.
+%%  Match Pattern against Value. If the Pattern contains in any
+%%  position, the corresponding position in the Value can be
+%%  anything. Generate an exception if the Pattern and Value don't
+%%  match.
+
+match_value('_', _) ->
+    ok;
+match_value([H1|T1], [H2|T2]) ->
+    match_value(H1, H2),
+    match_value(T1, T2);
+match_value(T1, T2) when tuple_size(T1) =:= tuple_size(T2) ->
+    match_value_tuple(1, T1, T2);
+match_value(Same, Same) ->
+    ok;
+match_value(V1, V2) ->
+    error({nomatch,V1,V2}).
+
 roundtrip(Mod, Type, Value) ->
     roundtrip(Mod, Type, Value, Value).
 
@@ -132,6 +151,12 @@ hex2num(C) when $0 =< C, C =< $9 -> C - $0;
 hex2num(C) when $A =< C, C =< $F -> C - $A + 10;
 hex2num(C) when $a =< C, C =< $f -> C - $a + 10.
 
+match_value_tuple(I, T1, T2) when I =< tuple_size(T1) ->
+    match_value(element(I, T1), element(I, T2)),
+    match_value_tuple(I+1, T1, T2);
+match_value_tuple(_, _, _) ->
+    ok.
+
 test_ber_indefinite(Mod, Type, Encoded, ExpectedValue) ->
     case Mod:encoding_rule() of
 	ber ->