1233294Sstas-- $Id$ -- 2178825Sdfr 3178825SdfrTEST DEFINITIONS ::= 4178825Sdfr 5178825SdfrBEGIN 6178825Sdfr 7178825SdfrIMPORTS heim_any FROM heim; 8178825Sdfr 9233294SstasTESTuint32 ::= INTEGER (0..4294967295) 10233294Sstas 11178825SdfrTESTLargeTag ::= SEQUENCE { 12233294Sstas foo[127] INTEGER (-2147483648..2147483647), 13233294Sstas bar[128] INTEGER (-2147483648..2147483647) 14178825Sdfr} 15178825Sdfr 16178825SdfrTESTSeq ::= SEQUENCE { 17178825Sdfr tag0[0] INTEGER (-2147483648..2147483647), 18178825Sdfr tag1[1] TESTLargeTag, 19178825Sdfr tagless INTEGER (-2147483648..2147483647), 20178825Sdfr tag3[2] INTEGER (-2147483648..2147483647) 21178825Sdfr} 22178825Sdfr 23178825SdfrTESTChoice1 ::= CHOICE { 24178825Sdfr i1[1] INTEGER (-2147483648..2147483647), 25178825Sdfr i2[2] INTEGER (-2147483648..2147483647), 26233294Sstas ... 27178825Sdfr} 28178825Sdfr 29178825SdfrTESTChoice2 ::= CHOICE { 30178825Sdfr i1[1] INTEGER (-2147483648..2147483647), 31233294Sstas ... 32178825Sdfr} 33178825Sdfr 34178825SdfrTESTInteger ::= INTEGER (-2147483648..2147483647) 35178825Sdfr 36178825SdfrTESTInteger2 ::= [4] IMPLICIT TESTInteger 37178825SdfrTESTInteger3 ::= [5] IMPLICIT TESTInteger2 38178825Sdfr 39178825SdfrTESTImplicit ::= SEQUENCE { 40178825Sdfr ti1[0] IMPLICIT INTEGER (-2147483648..2147483647), 41233294Sstas ti2[1] IMPLICIT SEQUENCE { 42178825Sdfr foo[127] INTEGER (-2147483648..2147483647) 43178825Sdfr }, 44178825Sdfr ti3[2] IMPLICIT [5] IMPLICIT [4] IMPLICIT INTEGER (-2147483648..2147483647) 45178825Sdfr} 46178825Sdfr 47178825SdfrTESTImplicit2 ::= SEQUENCE { 48178825Sdfr ti1[0] IMPLICIT TESTInteger, 49178825Sdfr ti2[1] IMPLICIT TESTLargeTag, 50178825Sdfr ti3[2] IMPLICIT TESTInteger3 51178825Sdfr} 52178825Sdfr 53178825SdfrTESTAllocInner ::= SEQUENCE { 54178825Sdfr ai[0] TESTInteger 55178825Sdfr} 56178825Sdfr 57178825SdfrTESTAlloc ::= SEQUENCE { 58178825Sdfr tagless TESTAllocInner OPTIONAL, 59178825Sdfr three [1] INTEGER (-2147483648..2147483647), 60178825Sdfr tagless2 heim_any OPTIONAL 61178825Sdfr} 62178825Sdfr 63233294SstasTESTOptional ::= SEQUENCE { 64233294Sstas zero [0] INTEGER (-2147483648..2147483647) OPTIONAL, 65233294Sstas one [1] INTEGER (-2147483648..2147483647) OPTIONAL 66233294Sstas} 67178825Sdfr 68233294Sstas 69178825SdfrTESTCONTAINING ::= OCTET STRING ( CONTAINING INTEGER ) 70233294SstasTESTENCODEDBY ::= OCTET STRING ( ENCODED BY 71178825Sdfr { joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1) } 72178825Sdfr) 73178825Sdfr 74233294SstasTESTDer OBJECT IDENTIFIER ::= { 75178825Sdfr joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1) 76178825Sdfr} 77178825Sdfr 78233294SstasTESTCONTAININGENCODEDBY ::= OCTET STRING ( CONTAINING INTEGER ENCODED BY 79178825Sdfr { joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1) } 80178825Sdfr) 81178825Sdfr 82233294SstasTESTCONTAININGENCODEDBY2 ::= OCTET STRING ( 83178825Sdfr CONTAINING INTEGER ENCODED BY TESTDer 84178825Sdfr) 85178825Sdfr 86178825Sdfr 87178825SdfrTESTValue1 INTEGER ::= 1 88178825Sdfr 89178825SdfrTESTUSERCONSTRAINED ::= OCTET STRING (CONSTRAINED BY { -- meh -- }) 90178825Sdfr-- TESTUSERCONSTRAINED2 ::= OCTET STRING (CONSTRAINED BY { TESTInteger }) 91178825Sdfr-- TESTUSERCONSTRAINED3 ::= OCTET STRING (CONSTRAINED BY { INTEGER }) 92178825Sdfr-- TESTUSERCONSTRAINED4 ::= OCTET STRING (CONSTRAINED BY { INTEGER : 1 }) 93178825Sdfr 94178825SdfrTESTSeqOf ::= SEQUENCE OF TESTInteger 95178825Sdfr 96178825SdfrTESTSeqSizeOf1 ::= SEQUENCE SIZE (2) OF TESTInteger 97178825SdfrTESTSeqSizeOf2 ::= SEQUENCE SIZE (1..2) OF TESTInteger 98178825SdfrTESTSeqSizeOf3 ::= SEQUENCE SIZE (1..MAX) OF TESTInteger 99178825SdfrTESTSeqSizeOf4 ::= SEQUENCE SIZE (MIN..2) OF TESTInteger 100178825Sdfr 101178825SdfrTESTOSSize1 ::= OCTET STRING SIZE (1..2) 102178825Sdfr 103233294SstasTESTSeqOfSeq ::= SEQUENCE OF SEQUENCE { 104233294Sstas zero [0] TESTInteger 105233294Sstas} 106233294Sstas 107233294SstasTESTSeqOfSeq2 ::= SEQUENCE OF SEQUENCE { 108233294Sstas string [0] GeneralString 109233294Sstas} 110233294Sstas 111233294SstasTESTSeqOfSeq3 ::= SEQUENCE OF SEQUENCE { 112233294Sstas zero [0] TESTInteger, 113233294Sstas string [0] GeneralString 114233294Sstas} 115233294Sstas 116233294SstasTESTSeqOf2 ::= SEQUENCE { 117233294Sstas strings SEQUENCE OF GeneralString 118233294Sstas} 119233294Sstas 120233294SstasTESTSeqOf3 ::= SEQUENCE { 121233294Sstas strings SEQUENCE OF GeneralString OPTIONAL 122233294Sstas} 123233294Sstas 124233294SstasTESTPreserve ::= SEQUENCE { 125233294Sstas zero [0] TESTInteger, 126233294Sstas one [1] TESTInteger 127233294Sstas} 128233294Sstas 129233294SstasTESTBitString ::= BIT STRING { 130233294Sstas zero(0), 131233294Sstas eight(8), 132233294Sstas thirtyone(31) 133233294Sstas} 134233294Sstas 135233294SstasTESTMechType::= OBJECT IDENTIFIER 136233294SstasTESTMechTypeList ::= SEQUENCE OF TESTMechType 137233294Sstas 138178825SdfrEND 139