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

diff --git a/lib/asn1/test/error_SUITE.erl b/lib/asn1/test/error_SUITE.erl
new file mode 100644
index 0000000000..a94a6d95a0
--- /dev/null
+++ b/lib/asn1/test/error_SUITE.erl
@@ -0,0 +1,104 @@
+%%
+%% %CopyrightBegin%
+%%
+%% Copyright Ericsson AB 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(error_SUITE).
+-export([suite/0,all/0,groups/0,
+	 already_defined/1,enumerated/1]).
+
+-include_lib("test_server/include/test_server.hrl").
+
+suite() -> [{ct_hooks, [ts_install_cth]}].
+
+all() ->
+    [{group,p}].
+
+groups() ->
+    [{p,parallel(),[already_defined,
+		    enumerated]}].
+
+parallel() ->
+    case erlang:system_info(schedulers) > 1 of
+        true  -> [parallel];
+        false -> []
+    end.
+
+already_defined(Config) ->
+    M = 'Already',
+    P = {M,
+	 <<"Already DEFINITIONS ::= BEGIN\n"
+	   "  I ::= INTEGER\n"
+	   "  i I ::= 42\n"
+	   "  I ::= OCTET STRING\n"
+	   "  I ::= CLASS { &Type }\n"
+	   "  MYCLASS ::= CLASS { &Type }\n"
+	   "  i MYCLASS ::= { &Type INTEGER }\n"
+	   "  o MYCLASS ::= { &Type INTEGER }\n"
+	   "  I MYCLASS ::= { o }\n"
+	   "  I{T} ::= SEQUENCE OF T\n"
+	   "  I{INTEGER:x} INTEGER ::= { 1 | 2 | x }\n"
+	   "  i{T} MYCLASS ::= { &Type T }\n"
+	   "END\n">>},
+    {error,
+     [
+      {structured_error,{M,4},asn1ct_check,{already_defined,'I',2}},
+      {structured_error,{M,5},asn1ct_check,{already_defined,'I',2}},
+      {structured_error,{M,7},asn1ct_check,{already_defined,'i',3}},
+      {structured_error,{M,9},asn1ct_check,{already_defined,'I',2}},
+      {structured_error,{M,10},asn1ct_check,{already_defined,'I',2}},
+      {structured_error,{M,11},asn1ct_check,{already_defined,'I',2}},
+      {structured_error,{M,12},asn1ct_check,{already_defined,'i',3}}
+     ]
+    } = run(P, Config),
+    ok.
+
+enumerated(Config) ->
+    M = 'Enumerated',
+    P = {M,
+	 <<"Enumerated DEFINITIONS AUTOMATIC TAGS ::= BEGIN\n"
+	   "  Enum ::= ENUMERATED { a, b, c }\n"
+	   "  e Enum ::= d\n"
+	   "  EnumExt ::= ENUMERATED { x, ..., y }\n"
+	   "  ext EnumExt ::= z\n"
+	   "  S1 ::= SEQUENCE {\n"
+           "    ge1 Enum DEFAULT a,\n"
+           "    ge2 EnumExt DEFAULT x,\n"
+           "    ge3 EnumExt DEFAULT y,\n"
+	   "    e Enum DEFAULT aa\n"
+           "  }\n"
+	   "  S2 ::= SEQUENCE {\n"
+	   "    e2 EnumExt DEFAULT xyz\n"
+	   "  }\n"
+	   "END\n">>},
+    {error,
+     [
+      {structured_error,{'Enumerated',3},asn1ct_check,{undefined,d}},
+      {structured_error,{'Enumerated',5},asn1ct_check,{undefined,z}},
+      {structured_error,{'Enumerated',10},asn1ct_check,{undefined,aa}},
+      {structured_error,{'Enumerated',13},asn1ct_check,{undefined,xyz}}
+     ]
+    } = run(P, Config),
+    ok.
+
+
+
+run({Mod,Spec}, Config) ->
+    Base = atom_to_list(Mod) ++ ".asn1",
+    File = filename:join(?config(priv_dir, Config), Base),
+    ok = file:write_file(File, Spec),
+    asn1ct:compile(File).