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, 29 insertions, 0 deletions

diff --git a/lib/asn1/test/testExtensibilityImplied.erl b/lib/asn1/test/testExtensibilityImplied.erl
new file mode 100644
index 0000000000..8049bb6e53
--- /dev/null
+++ b/lib/asn1/test/testExtensibilityImplied.erl
@@ -0,0 +1,29 @@
+%%
+%% %CopyrightBegin%
+%%
+%% Copyright Ericsson AB 2014. 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(testExtensibilityImplied).
+-export([main/0]).
+
+main() ->
+    M = 'ExtensibilityImplied',
+    {'Seq2',true} = M:decode('Seq2', M:encode('Seq1', {'Seq1',true,42})),
+    {'Set2',true} = M:decode('Set2', M:encode('Set1', {'Set1',true,42})),
+    {asn1_enum,_} = M:decode('Enum2', M:encode('Enum1', ext)),
+    ok.