1
-- The idea with this spec is to gather definitions that has a
2
-- complicated structure of table constraints.
3
TConstr DEFINITIONS AUTOMATIC TAGS ::=
8
&id OBJECT IDENTIFIER UNIQUE,
17
object1 MYCLASS ::= {ID id-object1 TYPE Type-object1 RESULT INTEGER}
18
object2 MYCLASS ::= {ID id-object2 TYPE Type-object2}
19
object3 MYCLASS ::= {ID id-object3 TYPE Type-object3 RESULT BOOLEAN}
21
ObjectSet MYCLASS ::= {object1 | object2 | object3}
23
id-object1 OBJECT IDENTIFIER ::= {2 4}
24
id-object2 OBJECT IDENTIFIER ::= {2 5}
25
id-object3 OBJECT IDENTIFIER ::= {2 6 7}
28
Type-object1 ::= SEQUENCE {
33
Type-object2 ::= ENUMERATED {first, second, third}
35
Type-object3 ::= CHOICE {
36
first SEQUENCE {a BOOLEAN, b INTEGER},
41
a SEQUENCE {aa INTEGER, ab MYCLASS.&id ({ObjectSet})},
42
b SEQUENCE {ba INTEGER, bb MYCLASS.&Type ({ObjectSet}{@a.ab})}
48
subid MYCLASS.&id ({ObjectSet}),
49
subcontent MYCLASS.&Type ({ObjectSet}{@content.subid}),
50
subresult MYCLASS.&Result ({ObjectSet}{@content.subid})
55
-- following from Peter's definitions
59
&id OBJECT IDENTIFIER UNIQUE,
67
abc MY-CLASS.&id({Supported})
69
uvw MY-CLASS.&Type ({Supported}{@xyz.abc}) }
71
Supported MY-CLASS ::= { dsa | rsa }
75
id-dsa OBJECT IDENTIFIER ::= { 1 2 }
77
DSAPublicKey ::= INTEGER -- public key, y
85
rsaEncryption OBJECT IDENTIFIER ::= { 1 3 4 }
87
RSAPublicKey ::= SEQUENCE {
89
publicExponent INTEGER } -- e