Lev Walkin | 08d1433 | 2005-02-13 03:22:41 +0000 | [diff] [blame] | 1 | |
| 2 | -- OK: Everything is Fine |
| 3 | |
| 4 | -- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1) |
| 5 | -- .spelio.software.asn1c.test (9363.1.5.1) |
| 6 | -- .70 |
| 7 | |
| 8 | ModuleTestXERDecoding |
| 9 | { iso org(3) dod(6) internet(1) private(4) enterprise(1) |
| 10 | spelio(9363) software(1) asn1c(5) test(1) 70 } |
Lev Walkin | 534f35d | 2005-02-14 20:19:21 +0000 | [diff] [blame] | 11 | DEFINITIONS AUTOMATIC TAGS ::= |
Lev Walkin | 08d1433 | 2005-02-13 03:22:41 +0000 | [diff] [blame] | 12 | BEGIN |
| 13 | /* |
| 14 | * This module defines several types for the XER decoder testing |
| 15 | * environment (defined elsewhere). |
| 16 | */ |
| 17 | |
| 18 | PDU ::= CHOICE { |
Lev Walkin | 96829de | 2005-02-18 16:29:49 +0000 | [diff] [blame] | 19 | sequence Sequence, |
| 20 | set Set, |
Lev Walkin | 96829de | 2005-02-18 16:29:49 +0000 | [diff] [blame] | 21 | sequenceOf SequenceOf, |
| 22 | extensibleSet ExtensibleSet, |
| 23 | extensibleSequence ExtensibleSequence, |
Lev Walkin | 1575040 | 2005-07-03 05:27:19 +0000 | [diff] [blame] | 24 | extensibleSequence2 ExtensibleSequence2, |
Lev Walkin | f5db614 | 2005-02-24 22:38:43 +0000 | [diff] [blame] | 25 | setOfNULL SetOfNULL, |
Lev Walkin | 1c75173 | 2005-11-07 15:19:05 +0000 | [diff] [blame] | 26 | setOfREAL SetOfREAL, |
Lev Walkin | f5db614 | 2005-02-24 22:38:43 +0000 | [diff] [blame] | 27 | setOfEnums SetOfEnums, |
Lev Walkin | 1c75173 | 2005-11-07 15:19:05 +0000 | [diff] [blame] | 28 | namedSetOfNULL NamedSetOfNULL, |
| 29 | namedSetOfREAL NamedSetOfREAL, |
| 30 | namedSetOfEnums NamedSetOfEnums, |
Lev Walkin | f5db614 | 2005-02-24 22:38:43 +0000 | [diff] [blame] | 31 | seqOfZuka SeqOfZuka, |
Lev Walkin | 5ab96cd | 2005-11-07 15:26:47 +0000 | [diff] [blame] | 32 | setOfChoice SetOfChoice, |
| 33 | namedSetOfChoice NamedSetOfChoice, |
Lev Walkin | 96829de | 2005-02-18 16:29:49 +0000 | [diff] [blame] | 34 | ... |
Lev Walkin | 08d1433 | 2005-02-13 03:22:41 +0000 | [diff] [blame] | 35 | } |
| 36 | |
| 37 | Sequence ::= SEQUENCE { |
| 38 | integer INTEGER, |
Lev Walkin | b2c3fa9 | 2005-02-14 17:20:53 +0000 | [diff] [blame] | 39 | sequence Sequence OPTIONAL, -- backreference |
| 40 | bits BIT STRING OPTIONAL, |
Lev Walkin | 08d1433 | 2005-02-13 03:22:41 +0000 | [diff] [blame] | 41 | string UTF8String |
| 42 | } |
| 43 | |
Lev Walkin | 7c1a3d6 | 2005-02-14 17:43:35 +0000 | [diff] [blame] | 44 | Set ::= SET { |
| 45 | roid RELATIVE-OID, |
| 46 | opaque OCTET STRING OPTIONAL |
| 47 | } |
| 48 | |
Lev Walkin | 815331c | 2005-02-18 09:08:20 +0000 | [diff] [blame] | 49 | ExtensibleSet ::= SET { |
| 50 | string UTF8String OPTIONAL, |
Lev Walkin | dad2f09 | 2005-03-09 22:19:47 +0000 | [diff] [blame] | 51 | ..., |
| 52 | enum ENUMERATED { b, a } |
Lev Walkin | 815331c | 2005-02-18 09:08:20 +0000 | [diff] [blame] | 53 | } |
| 54 | |
Lev Walkin | 96829de | 2005-02-18 16:29:49 +0000 | [diff] [blame] | 55 | ExtensibleSequence ::= SEQUENCE { |
| 56 | string UTF8String OPTIONAL, |
| 57 | ..., |
Lev Walkin | 1575040 | 2005-07-03 05:27:19 +0000 | [diff] [blame] | 58 | integer INTEGER OPTIONAL, |
| 59 | gtime GeneralizedTime |
| 60 | } |
| 61 | |
| 62 | ExtensibleSequence2 ::= SEQUENCE { |
| 63 | string UTF8String OPTIONAL, |
| 64 | ..., |
Lev Walkin | 96829de | 2005-02-18 16:29:49 +0000 | [diff] [blame] | 65 | integer INTEGER OPTIONAL |
| 66 | } |
| 67 | |
Lev Walkin | f5db614 | 2005-02-24 22:38:43 +0000 | [diff] [blame] | 68 | SetOfNULL ::= SET OF NULL |
Lev Walkin | 1c75173 | 2005-11-07 15:19:05 +0000 | [diff] [blame] | 69 | SetOfREAL ::= SET OF REAL |
Lev Walkin | c7312e9 | 2005-02-25 10:24:53 +0000 | [diff] [blame] | 70 | SetOfEnums ::= SET OF ENUMERATED { one, oneMore } |
Lev Walkin | 1c75173 | 2005-11-07 15:19:05 +0000 | [diff] [blame] | 71 | NamedSetOfNULL ::= SET OF y NULL |
| 72 | NamedSetOfREAL ::= SET OF name REAL |
| 73 | NamedSetOfEnums ::= SET OF name ENUMERATED { one, oneMore } |
Lev Walkin | ca85022 | 2005-02-25 08:26:02 +0000 | [diff] [blame] | 74 | SequenceOf ::= SEQUENCE OF id INTEGER { one(1), two(2) } |
Lev Walkin | f5db614 | 2005-02-24 22:38:43 +0000 | [diff] [blame] | 75 | SeqOfZuka ::= SEQUENCE OF zuka NULL |
Lev Walkin | 5ab96cd | 2005-11-07 15:26:47 +0000 | [diff] [blame] | 76 | SetOfChoice ::= SET OF SimpleChoice |
| 77 | NamedSetOfChoice ::= SET OF whatever SimpleChoice |
| 78 | |
| 79 | SimpleChoice ::= CHOICE { a NULL, b INTEGER } |
Lev Walkin | 534f35d | 2005-02-14 20:19:21 +0000 | [diff] [blame] | 80 | |
Lev Walkin | 08d1433 | 2005-02-13 03:22:41 +0000 | [diff] [blame] | 81 | END |