~statik/ubuntu/maverick/erlang/erlang-merge-testing

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
SetTag DEFINITIONS IMPLICIT TAGS ::= 

BEGIN

IMPORTS XSeq1, XSetNT, XSetImp, XSetExp FROM External;

SetTag ::= [APPLICATION 20] SET {
	nt NT,
	imp Imp,
	exp Exp }

SetTagImp ::= [APPLICATION 21] SET {
	nt [0] NT,
	imp [1] Imp,
	exp [2] Exp}

SetTagExp ::= [APPLICATION 22] SET {
	nt [0] EXPLICIT NT,
	imp [1] EXPLICIT Imp,
	exp [2] EXPLICIT Exp}

SetTagX ::= [APPLICATION 30] SET {
	xnt XSetNT,
	ximp XSetImp,
	xexp XSetExp }

SetTagImpX ::= [APPLICATION 31] SET {
	xnt [3] XSetNT,
	ximp [4] XSetImp,
	xexp [5] XSetExp }

SetTagExpX ::= [APPLICATION 32] SET {
	xnt [3] EXPLICIT XSetNT,
	ximp [4] EXPLICIT XSetImp,
	xexp [5] EXPLICIT XSetExp }

NT ::= SET {
  os  OCTET STRING,
  bool  BOOLEAN}
Imp ::= [11] SET {
  os  OCTET STRING,
  bool  BOOLEAN}
Exp ::= [12] EXPLICIT SET {
  os  OCTET STRING,
  bool  BOOLEAN}

END