From e45fb925416ae43a3956366bf015aa74b77b7cfe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Tue, 25 Feb 2014 11:36:01 +0100
Subject: asn1ct_check: Clean up error checking for INSTANCE OF

This will also eliminate a dialyzer warning for unmatched returns,
and increase the coverage.
---
 lib/asn1/test/error_SUITE.erl | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

(limited to 'lib/asn1/test/error_SUITE.erl')

diff --git a/lib/asn1/test/error_SUITE.erl b/lib/asn1/test/error_SUITE.erl
index 2e4863301f..09327f6e12 100644
--- a/lib/asn1/test/error_SUITE.erl
+++ b/lib/asn1/test/error_SUITE.erl
@@ -19,7 +19,8 @@
 
 -module(error_SUITE).
 -export([suite/0,all/0,groups/0,
-	 already_defined/1,bitstrings/1,enumerated/1,integers/1,objects/1,values/1]).
+	 already_defined/1,bitstrings/1,enumerated/1,
+	 instance_of/1,integers/1,objects/1,values/1]).
 
 -include_lib("test_server/include/test_server.hrl").
 
@@ -33,6 +34,7 @@ groups() ->
       [already_defined,
        bitstrings,
        enumerated,
+       instance_of,
        integers,
        objects,
        values]}].
@@ -117,6 +119,23 @@ enumerated(Config) ->
     } = run(P, Config),
     ok.
 
+instance_of(Config) ->
+    M = 'InstanceOf',
+    P = {M,
+	 <<"InstanceOf DEFINITIONS AUTOMATIC TAGS ::= BEGIN\n"
+	   "XX ::= INSTANCE OF CL ({TI})\n"
+	   "CL ::= CLASS {\n"
+           "&id INTEGER,\n"
+           "&Type\n"
+	   "}\n"
+	   "o1 CL ::= {&id 1, &Type OCTET STRING}\n"
+	   "TI CL ::= { o1 }\n"
+	   "END\n">>},
+    {error,
+     [{structured_error,{M,2},asn1ct_check,{illegal_instance_of,'CL'}}
+     ]} = run(P, Config),
+    ok.
+
 integers(Config) ->
     M = 'Integers',
     P = {M,
@@ -132,6 +151,7 @@ integers(Config) ->
      ]} = run(P, Config),
     ok.
 
+
 objects(Config) ->
     M = 'Objects',
     P = {M,
-- 
cgit v1.2.3