Merge branch 'bjorn/asn1/bug-fixes/OTP-10853'

* bjorn/asn1/bug-fixes/OTP-10853:
  asn1ct: Eliminate use of obsolete size/1
  Eliminate use of obsolete size/1 in generated code
  BER: Fix broken table constraints inside a SET OF/SEQUENCE OF
  Smoke test the 'der' option
  der: Correct code generation for checking of empty sets
  per,uper: Fix breakage of compilation of InformationFramework
  Add NullTest
  asn1_SUITE: Shorten the path to case-specific directory
  asn1_SUITE: Don't add priv_dir to the code path
  asn1 tests: Remove obsolete duplicates of ASN.1 specs

17 files changed, 74 insertions, 191 deletions

diff --git a/lib/asn1/src/asn1ct_check.erl b/lib/asn1/src/asn1ct_check.erl
index dd77085c39..452862fcee 100644
--- a/lib/asn1/src/asn1ct_check.erl
+++ b/lib/asn1/src/asn1ct_check.erl
@@ -1263,13 +1263,13 @@ check_object_list(S,ClassRef,[ObjOrSet|Objs],Acc) ->
 	    check_object_list(S,ClassRef,Objs,[{{no_mod,no_name},Def}|Acc]);
 	{'ObjectSetFromObjects',Os,FieldName} when is_tuple(Os) ->
 	    NewSet =
-		check_ObjectSetFromObjects(S,element(size(Os),Os),
+		check_ObjectSetFromObjects(S, element(tuple_size(Os), Os),
 					   FieldName,[]),
 	    check_object_list(S,ClassRef,Objs,NewSet++Acc);
 	{{'ObjectSetFromObjects',Os,FieldName},InterSection}
 	when is_tuple(Os) ->
 	    NewSet =
-		check_ObjectSetFromObjects(S, element(size(Os),Os),
+		check_ObjectSetFromObjects(S, element(tuple_size(Os), Os),
 					   FieldName,InterSection),
 	    check_object_list(S,ClassRef,Objs,NewSet++Acc);
 	Other ->
@@ -1570,7 +1570,7 @@ gen_incl_set(S,Fields,#typedef{typespec=#type{def=Eref}})
     gen_incl_set(S,Fields,CDef);
 gen_incl_set(S,Fields,ClassDef) ->
     case catch get_unique_fieldname(S,ClassDef) of
-	Tuple when is_tuple(Tuple), size(Tuple) =:= 3 ->
+	Tuple when tuple_size(Tuple) =:= 3 ->
 	    false;
 	_ ->
 	    gen_incl_set1(S,Fields,
@@ -1589,7 +1589,7 @@ gen_incl_set1(_,['EXTENSIONMARK'],_) ->
 gen_incl_set1(_,['EXTENSIONMARK'|_],_) ->
     true;
 gen_incl_set1(S,[Object|Rest],CFields)->
-    Fields = element(size(Object),Object),
+    Fields = element(tuple_size(Object), Object),
     case gen_incl1(S,Fields,CFields) of
 	true ->
 	    true;
@@ -3028,7 +3028,7 @@ is_record_normalized(S,Name,V = #'Externalvaluereference'{},NumComps) ->
 	_ -> false
     end;
 is_record_normalized(_S,Name,Value,NumComps) when is_tuple(Value) ->
-    (size(Value) =:= (NumComps + 1)) andalso (element(1,Value)=:=Name);
+    (tuple_size(Value) =:= (NumComps + 1)) andalso (element(1, Value) =:= Name);
 is_record_normalized(_,_,_,_) ->
     false.
 
@@ -3720,7 +3720,7 @@ maybe_open_type(S,ClassSpec=#objectclass{fields=Fs},
 	{typefieldreference,_} ->
 	    case {catch get_unique_fieldname(S,#classdef{typespec=ClassSpec}),
 		  asn1ct_gen:get_constraint(Constr,componentrelation)}of
-		{Tuple,_} when is_tuple(Tuple), size(Tuple) =:= 3 ->
+		{Tuple,_} when tuple_size(Tuple) =:= 3 ->
 		    OCFT#'ObjectClassFieldType'{fieldname=FieldNames,
 						type='ASN1_OPEN_TYPE'};
 		{_,no} ->
@@ -4167,7 +4167,7 @@ check_constraint(S,Ext) when is_record(Ext,'Externaltypereference') ->
 
 
 check_constraint(S,{'SizeConstraint',{Lb,Ub}}) 
-  when is_list(Lb);is_tuple(Lb),size(Lb)==2 ->
+  when is_list(Lb); tuple_size(Lb) =:= 2 ->
     NewLb = range_check(resolv_tuple_or_list(S,Lb)),
     NewUb = range_check(resolv_tuple_or_list(S,Ub)),
     {'SizeConstraint',{NewLb,NewUb}};
@@ -5217,7 +5217,7 @@ imported1(_Name,[]) ->
 check_integer(_S,[],_C) ->
     [];
 check_integer(S,NamedNumberList,_C) ->
-    case [X||X<-NamedNumberList,is_tuple(X),size(X)=:=2] of
+    case [X || X <- NamedNumberList, tuple_size(X) =:= 2] of
 	NamedNumberList ->
 	    %% An already checked integer with NamedNumberList
 	    NamedNumberList;
diff --git a/lib/asn1/src/asn1ct_constructed_ber_bin_v2.erl b/lib/asn1/src/asn1ct_constructed_ber_bin_v2.erl
index e82212f0d8..341a04761b 100644
--- a/lib/asn1/src/asn1ct_constructed_ber_bin_v2.erl
+++ b/lib/asn1/src/asn1ct_constructed_ber_bin_v2.erl
@@ -528,14 +528,7 @@ gen_decode_sof(Erules,TypeName,_InnerTypeName,D) when is_record(D,type) ->
 		   Atom when is_atom(Atom) -> Atom;
 		   _ -> TypeNameSuffix
 	       end,
-%% fix me
-    ObjFun =
-	case D#type.tablecinf of
-	    [{objfun,_}|_R] ->
-		", ObjFun";
-	    _ ->
-		[]
-	end,
+    ObjFun = false,
     gen_dec_line(Erules,TypeName,ContName,[],Cont,mandatory,ObjFun),
     %%    gen_dec_line_sof(Erules,Typename,ContName,Cont,ObjFun),
     emit([" || ",{curr,v}," <- ",{curr,tlv},"].",nl,nl,nl]).
diff --git a/lib/asn1/src/asn1ct_gen.erl b/lib/asn1/src/asn1ct_gen.erl
index ebc52df1d9..76c4182160 100644
--- a/lib/asn1/src/asn1ct_gen.erl
+++ b/lib/asn1/src/asn1ct_gen.erl
@@ -657,9 +657,13 @@ gen_check_sof(Name,SOF,Type) ->
     end,
     emit({"   ",{asis,NewName},"(DVs,Vs).",nl,nl}).
 
+gen_check_sequence(Name, []) ->
+    emit([{asis,ensure_atom(Name)},"(_,_) ->",nl,
+	 "    throw(badval).",nl,nl]);
 gen_check_sequence(Name,Components) ->
     emit([{asis,ensure_atom(Name)},"(DefaultValue,Value) ->",nl]),
     gen_check_sequence(Name,Components,1).
+
 gen_check_sequence(Name,[#'ComponentType'{name=N,typespec=Type}|Cs],Num) ->
     InnerType = get_inner(Type#type.def),
     NthDefV = ["element(",Num+1,",DefaultValue)"],
@@ -671,9 +675,7 @@ gen_check_sequence(Name,[#'ComponentType'{name=N,typespec=Type}|Cs],Num) ->
 	_ ->
 	    emit({",",nl}),
 	    gen_check_sequence(Name,Cs,Num+1)
-    end;
-gen_check_sequence(_,[],_) ->
-    ok.
+    end.
 
 gen_check_choice(Name,CList=[#'ComponentType'{}|_Cs]) ->
     emit([{asis,ensure_atom(Name)},"({Id,DefaultValue},{Id,Value}) ->",nl]),
diff --git a/lib/asn1/src/asn1ct_gen_ber_bin_v2.erl b/lib/asn1/src/asn1ct_gen_ber_bin_v2.erl
index f3a2486565..de0adef2b2 100644
--- a/lib/asn1/src/asn1ct_gen_ber_bin_v2.erl
+++ b/lib/asn1/src/asn1ct_gen_ber_bin_v2.erl
@@ -1162,7 +1162,7 @@ gen_objset_enc(_,ObjSetName,_UniqueName,['EXTENSIONMARK'],_ClName,
     emit({"'getenc_",ObjSetName,"'(_, _) ->",nl}),
     emit({indent(3),"fun(_, Val, _RestPrimFieldName) ->",nl}),
     emit({indent(6),"Len = case Val of",nl,indent(9),
- 	  "Bin when is_binary(Bin) -> size(Bin);",nl,indent(9),
+	  "Bin when is_binary(Bin) -> byte_size(Bin);",nl,indent(9),
  	  "_ -> length(Val)",nl,indent(6),"end,"}),
     emit({indent(6),"{Val,Len}",nl}),
     emit({indent(3),"end.",nl,nl}),
@@ -1270,7 +1270,7 @@ gen_inlined_enc_funs1(Fields,[{typefield,Name,_}|Rest],ObjSetName,
 		%% treatment.
 		emit([";",nl,indent(9),{asis,Name}," ->",nl]),
 		emit([indent(12),"Len = case Val of",nl,
-		      indent(15),"Bin when is_binary(Bin) -> size(Bin);",nl,
+		      indent(15),"Bin when is_binary(Bin) -> byte_size(Bin);",nl,
 		      indent(15),"_ -> length(Val)",nl,indent(12),"end,",nl,
 		      indent(12),"{Val,Len}"]),
 		{Acc,0}
@@ -1449,7 +1449,7 @@ gen_inlined_dec_funs(Fields,[{typefield,Name,Prop}|Rest],
 		  nl,indent(6),"case Type of",nl,
 		  indent(9),{asis,Name}," ->",nl,
 		  indent(12),"Len = case Bytes of",nl,
-		  indent(15),"B when is_binary(B) -> size(B);",nl,
+		  indent(15),"B when is_binary(B) -> byte_size(B);",nl,
 		  indent(15),"_ -> length(Bytes)",nl,
 		  indent(12),"end,",nl,
 		  indent(12),"{Bytes,[],Len}"]),
diff --git a/lib/asn1/src/asn1ct_gen_per.erl b/lib/asn1/src/asn1ct_gen_per.erl
index 0d6620667f..fac233532b 100644
--- a/lib/asn1/src/asn1ct_gen_per.erl
+++ b/lib/asn1/src/asn1ct_gen_per.erl
@@ -1174,12 +1174,12 @@ gen_dec_imm_1('UTF8String', _Constraint, Aligned) ->
     asn1ct_imm:per_dec_restricted_string(Aligned);
 gen_dec_imm_1('REAL', _Constraint, Aligned) ->
     asn1ct_imm:per_dec_real(Aligned);
-gen_dec_imm_1(#'ObjectClassFieldType'{}=TypeName, Constraint, Aligned) ->
+gen_dec_imm_1(#'ObjectClassFieldType'{}=TypeName, _Constraint, Aligned) ->
     case asn1ct_gen:get_inner(TypeName) of
-	{fixedtypevaluefield,_,InnerType} ->
-	    gen_dec_imm_1(InnerType, Constraint, Aligned);
-	T ->
-	    gen_dec_imm_1(T, Constraint, Aligned)
+	{fixedtypevaluefield,_,#type{def=InnerType,constraint=C}} ->
+	    gen_dec_imm_1(InnerType, C, Aligned);
+	#type{def=T,constraint=C} ->
+	    gen_dec_imm_1(T, C, Aligned)
     end.
 
 gen_dec_bit_string(F, Imm) ->
diff --git a/lib/asn1/src/asn1ct_gen_per_rt2ct.erl b/lib/asn1/src/asn1ct_gen_per_rt2ct.erl
index 5a409295fb..81d8cdcae6 100644
--- a/lib/asn1/src/asn1ct_gen_per_rt2ct.erl
+++ b/lib/asn1/src/asn1ct_gen_per_rt2ct.erl
@@ -610,9 +610,9 @@ gen_encode_objectfields(Erules,ClassName,[{typefield,Name,OptOrMand}|Rest],
 		emit(["   if",nl,
 		      "     is_list(Val) ->",nl,
 		      "       NewVal = list_to_binary(Val),",nl,
-		      "       [20,size(NewVal),NewVal];",nl,
+		      "       [20,byte_size(NewVal),NewVal];",nl,
 		      "     is_binary(Val) ->",nl,
-		      "       [20,size(Val),Val]",nl,
+		      "       [20,byte_size(Val),Val]",nl,
 		      "   end"]),
 		[];
 	    {false,{'DEFAULT',DefaultType}} ->
@@ -989,7 +989,7 @@ gen_objset_enc(_Erule,ObjSetName,_UniqueName,['EXTENSIONMARK'],_ClName,
     emit({indent(9),"is_list(Val) -> list_to_binary(Val);",nl}),
     emit({indent(9),"true -> Val",nl}),
     emit({indent(6),"end,",nl}),
-    emit({indent(6),"Size = size(BinVal),",nl}),
+    emit({indent(6),"Size = byte_size(BinVal),",nl}),
     emit({indent(6),"if",nl}),
     emit({indent(9),"Size < 256 ->",nl}),
     emit({indent(12),"[20,Size,BinVal];",nl}),
diff --git a/lib/asn1/src/asn1rtt_ber.erl b/lib/asn1/src/asn1rtt_ber.erl
index 88292aca99..5fbf116747 100644
--- a/lib/asn1/src/asn1rtt_ber.erl
+++ b/lib/asn1/src/asn1rtt_ber.erl
@@ -868,7 +868,7 @@ remove_unused_then_dotag(TagIn,Unused,BinBits) ->
 	    encode_tags(TagIn, <<0>>, 1);
 	0 ->
 	    Bin = <<Unused,BinBits/binary>>,
-	    encode_tags(TagIn,Bin,size(Bin));
+	    encode_tags(TagIn, Bin, byte_size(Bin));
 	Num ->
 	    N = byte_size(BinBits)-1,
 	    <<BBits:N/binary,LastByte>> = BinBits,
diff --git a/lib/asn1/src/asn1rtt_per.erl b/lib/asn1/src/asn1rtt_per.erl
index d02f4f548e..84ff809912 100644
--- a/lib/asn1/src/asn1rtt_per.erl
+++ b/lib/asn1/src/asn1rtt_per.erl
@@ -613,11 +613,11 @@ bit_string_trailing_zeros1(BitList,Lb,Ub) ->
 encode_bin_bit_string(C, {Unused,BinBits}, _NamedBitList)
   when is_integer(C),C=<16 ->
     range_check(C, bit_size(BinBits) - Unused),
-    [45,C,size(BinBits),BinBits];
+    [45,C,byte_size(BinBits),BinBits];
 encode_bin_bit_string(C, {Unused,BinBits}, _NamedBitList)
   when is_integer(C), C =< 255 ->
     range_check(C, bit_size(BinBits) - Unused),
-    [2,45,C,size(BinBits),BinBits];
+    [2,45,C,byte_size(BinBits),BinBits];
 encode_bin_bit_string(C, {Unused,BinBits}, _NamedBitList)
   when is_integer(C), C =< 65535 ->
     range_check(C, bit_size(BinBits) - Unused),
diff --git a/lib/asn1/src/asn1rtt_real_common.erl b/lib/asn1/src/asn1rtt_real_common.erl
index 540f0d60a5..d1668f68b2 100644
--- a/lib/asn1/src/asn1rtt_real_common.erl
+++ b/lib/asn1/src/asn1rtt_real_common.erl
@@ -88,7 +88,7 @@ encode_real(_C, {Mantissa, Base, Exponent}) when Base =:= 2 ->
 	      end,
 %%    ok = io:format("SignBitMask: ~w~n",[SignBitMask]),
     SFactor = 0,
-    OctExpLen = size(OctExp),
+    OctExpLen = byte_size(OctExp),
     if OctExpLen > 255 ->
 	    exit({error,{asn1, {to_big_exp_in_encode_real, OctExpLen}}});
        true  -> true %% make real assert later..
diff --git a/lib/asn1/test/Makefile b/lib/asn1/test/Makefile
index 1fa495d8f1..10f8e2833b 100644
--- a/lib/asn1/test/Makefile
+++ b/lib/asn1/test/Makefile
@@ -109,6 +109,7 @@ MODULES= \
 	test_modified_x420 \
 	testX420 \
 	test_x691 \
+	testWSParamClass \
 	asn1_test_lib \
 	asn1_app_test \
 	asn1_appup_test \
diff --git a/lib/asn1/test/asn1_SUITE.erl b/lib/asn1/test/asn1_SUITE.erl
index be9b82cddf..d66f395adb 100644
--- a/lib/asn1/test/asn1_SUITE.erl
+++ b/lib/asn1/test/asn1_SUITE.erl
@@ -86,6 +86,7 @@ groups() ->
                     testInvokeMod,
                     per,
                     ber_other,
+		    der,
                     h323test,
                     per_GeneralString]},
        testChoPrim,
@@ -166,13 +167,13 @@ groups() ->
        testINSTANCE_OF,
        testTCAP,
        test_ParamTypeInfObj,
-       test_WS_ParamClass,
        test_Defed_ObjectIdentifier,
        testSelectionType,
        testSSLspecs,
        testNortel,
-       % Uses 'PKCS7'
-       {group, [], [test_modified_x420,
+       % Uses 'PKCS7', 'InformationFramework'
+       {group, [], [test_WS_ParamClass,
+		    test_modified_x420,
                     testX420]},
        testTcapsystem,
        testNBAPsystem,
@@ -200,8 +201,6 @@ parallel(Options) ->
 %%------------------------------------------------------------------------------
 
 init_per_suite(Config) ->
-    PrivDir = ?config(priv_dir, Config),
-    true = code:add_patha(PrivDir),
     Config.
 
 end_per_suite(_Config) ->
@@ -214,7 +213,7 @@ end_per_group(_GroupName, Config) ->
     Config.
 
 init_per_testcase(Func, Config) ->
-    CaseDir = filename:join([?config(priv_dir, Config), ?MODULE, Func]),
+    CaseDir = filename:join(?config(priv_dir, Config), Func),
     ok = filelib:ensure_dir(filename:join([CaseDir, dummy_file])),
     true = code:add_patha(CaseDir),
 
@@ -688,6 +687,8 @@ ber_other(Config) ->
 ber_other(Config, Rule, Opts) ->
     [module_test(M, Config, Rule, Opts) || M <- ber_modules()].
 
+der(Config) ->
+    asn1_test_lib:compile_all(ber_modules(), Config, [der]).
 
 module_test(M, Config, Rule, Opts) ->
     asn1_test_lib:compile(M, Config, [Rule|Opts]),
@@ -988,8 +989,11 @@ test_driver_load(Config, Rule, Opts) ->
 test_ParamTypeInfObj(Config) ->
     asn1_test_lib:compile("IN-CS-1-Datatypes", Config, [ber]).
 
-test_WS_ParamClass(Config) ->
-    asn1_test_lib:compile("InformationFramework", Config, [ber]).
+test_WS_ParamClass(Config) -> test(Config, fun test_WS_ParamClass/3).
+test_WS_ParamClass(Config, Rule, Opts) ->
+    asn1_test_lib:compile("InformationFramework", Config, [Rule|Opts]),
+    ?only_ber(testWSParamClass:main(Rule)),
+    ok.
 
 test_Defed_ObjectIdentifier(Config) ->
     asn1_test_lib:compile("UsefulDefinitions", Config, [ber]).
@@ -1123,6 +1127,7 @@ test_modules() ->
      "Int",
      "MAP-commonDataTypes",
      "Null",
+     "NullTest",
      "Octetstr",
      "One",
      "P-Record",
diff --git a/lib/asn1/test/asn1_SUITE_data/Def.py b/lib/asn1/test/asn1_SUITE_data/Def.py
deleted file mode 100644
index ff08ed6386..0000000000
--- a/lib/asn1/test/asn1_SUITE_data/Def.py
+++ /dev/null
@@ -1,31 +0,0 @@
-Def DEFINITIONS IMPLICIT TAGS ::= 
-
-BEGIN
-
-Def1 ::=  SEQUENCE 
-{
-  bool0 [0] BOOLEAN,
-  bool1 [1] BOOLEAN DEFAULT false,
-  bool2 [2] BOOLEAN DEFAULT false,
-  bool3 [3] BOOLEAN DEFAULT false
-}
-
-
-Def2 ::=  SEQUENCE 
-{
-  bool10 [10] BOOLEAN,
-  bool11 [11] BOOLEAN DEFAULT false,
-  bool12 [12] BOOLEAN DEFAULT false,
-  bool13 [13] BOOLEAN 
-}
-
-
-Def3 ::=  SEQUENCE 
-{
-  bool30 [30] BOOLEAN DEFAULT false,
-  bool31 [31] BOOLEAN DEFAULT false,
-  bool32 [32] BOOLEAN DEFAULT false,
-  bool33 [33] BOOLEAN DEFAULT false 
-}
-
-END
diff --git a/lib/asn1/test/asn1_SUITE_data/NullTest.asn1 b/lib/asn1/test/asn1_SUITE_data/NullTest.asn1
new file mode 100644
index 0000000000..041b20a4c1
--- /dev/null
+++ b/lib/asn1/test/asn1_SUITE_data/NullTest.asn1
@@ -0,0 +1,14 @@
+NullTest DEFINITIONS ::=
+BEGIN
+
+NullTestData ::= SEQUENCE {
+  body  NullBody,
+  tail  INTEGER
+}
+
+NullBody ::= CHOICE {
+  null    [0] NULL,
+  notNull [1] INTEGER
+}
+
+END
diff --git a/lib/asn1/test/asn1_SUITE_data/Opt.py b/lib/asn1/test/asn1_SUITE_data/Opt.py
deleted file mode 100644
index 48c2a09b64..0000000000
--- a/lib/asn1/test/asn1_SUITE_data/Opt.py
+++ /dev/null
@@ -1,31 +0,0 @@
-Opt DEFINITIONS IMPLICIT TAGS ::= 
-
-BEGIN
-
-Opt1 ::=  SEQUENCE 
-{
-  bool0 [0] BOOLEAN,
-  bool1 [1] BOOLEAN OPTIONAL,
-  bool2 [2] BOOLEAN OPTIONAL,
-  bool3 [3] BOOLEAN OPTIONAL
-}
-
-
-Opt2 ::=  SEQUENCE 
-{
-  bool10 [10] BOOLEAN,
-  bool11 [11] BOOLEAN OPTIONAL,
-  bool12 [12] BOOLEAN OPTIONAL,
-  bool13 [13] BOOLEAN 
-}
-
-
-Opt3 ::=  SEQUENCE 
-{
-  bool30 [30] BOOLEAN OPTIONAL,
-  bool31 [31] BOOLEAN OPTIONAL,
-  bool32 [32] BOOLEAN OPTIONAL,
-  bool33 [33] BOOLEAN OPTIONAL 
-}
-
-END
diff --git a/lib/asn1/test/asn1_SUITE_data/SeqOf.py b/lib/asn1/test/asn1_SUITE_data/SeqOf.py
deleted file mode 100644
index c941418934..0000000000
--- a/lib/asn1/test/asn1_SUITE_data/SeqOf.py
+++ /dev/null
@@ -1,45 +0,0 @@
-SeqOf DEFINITIONS IMPLICIT TAGS ::= 
-
-BEGIN
-
-
-Seq1 ::= SEQUENCE 
-{
-  bool1  BOOLEAN,
-  int1  INTEGER,
-  seq1  SEQUENCE OF SeqIn DEFAULT {}
-}
-
-Seq2 ::= SEQUENCE 
-{
-  seq2  SEQUENCE OF SeqIn DEFAULT {},
-  bool2  BOOLEAN,
-  int2  INTEGER
-}
-
-Seq3 ::= SEQUENCE 
-{
-  bool3  BOOLEAN,
-  seq3  SEQUENCE OF SeqIn DEFAULT {},
-  int3  INTEGER
-}
-
-Seq4 ::= SEQUENCE 
-{
-  seq41 [41] SEQUENCE OF SeqIn DEFAULT {},
-  seq42 [42] SEQUENCE OF SeqIn DEFAULT {},
-  seq43 [43] SEQUENCE OF SeqIn DEFAULT {}
-}
-
-
-
-SeqIn ::= SEQUENCE 
-{
-  boolIn  BOOLEAN,
-  intIn  INTEGER
-}
-
-
-
-
-END
diff --git a/lib/asn1/test/asn1_SUITE_data/SetOf.py b/lib/asn1/test/asn1_SUITE_data/SetOf.py
deleted file mode 100644
index 4e2ea16fcc..0000000000
--- a/lib/asn1/test/asn1_SUITE_data/SetOf.py
+++ /dev/null
@@ -1,42 +0,0 @@
-SetOf DEFINITIONS IMPLICIT TAGS ::= 
-
-BEGIN
-
-
-Set1 ::= SET 
-{
-  bool1  BOOLEAN,
-  int1  INTEGER,
-  set1  SET OF SetIn DEFAULT {}
-}
-
-Set2 ::= SET 
-{
-  set2  SET OF SetIn DEFAULT {},
-  bool2  BOOLEAN,
-  int2  INTEGER
-}
-
-Set3 ::= SET 
-{
-  bool3  BOOLEAN,
-  set3  SET OF SetIn DEFAULT {},
-  int3  INTEGER
-}
-
-Set4 ::= SET 
-{
-  set41 [41] SET OF SetIn DEFAULT {},
-  set42 [42] SET OF SetIn DEFAULT {},
-  set43 [43] SET OF SetIn DEFAULT {}
-}
-
-
-
-SetIn ::= SET 
-{
-  boolIn  BOOLEAN,
-  intIn  INTEGER
-}
-
-END
diff --git a/lib/asn1/test/testWSParamClass.erl b/lib/asn1/test/testWSParamClass.erl
new file mode 100644
index 0000000000..ae67ca8b81
--- /dev/null
+++ b/lib/asn1/test/testWSParamClass.erl
@@ -0,0 +1,17 @@
+-module(testWSParamClass).
+-export([main/1]).
+
+main(_) ->
+    IF = 'InformationFramework',
+    roundtrip({'Attribute',IF:'id-at-objectClass'(),
+	       [IF:'id-at-objectClass'()],
+	       asn1_NOVALUE}),
+    roundtrip({'Attribute',IF:'id-at-objectClass'(),
+	       [],[]}),
+    ok.
+
+roundtrip(Data) ->
+    IF = 'InformationFramework',
+    {ok,Enc} = asn1_wrapper:encode(IF, 'Attribute', Data),
+    {ok,Data} = IF:decode('Attribute', Enc),
+    ok.