| Lev Walkin | ea6635b | 2017-08-06 23:23:04 -0700 | [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 | -- .140 |
| 7 | |
| 8 | ModuleComponentRelationConstraint |
| 9 | { iso org(3) dod(6) internet (1) private(4) enterprise(1) |
| 10 | spelio(9363) software(1) asn1c(5) test(1) 140 } |
| 11 | DEFINITIONS ::= |
| 12 | BEGIN |
| 13 | |
| 14 | Frame ::= SEQUENCE { |
| 15 | ident FRAME-STRUCTURE.&id({FrameTypes}), |
| Lev Walkin | d357f3d | 2017-08-10 17:40:37 -0700 | [diff] [blame] | 16 | value FRAME-STRUCTURE.&Type({FrameTypes}{@ident}), |
| Lev Walkin | ea6635b | 2017-08-06 23:23:04 -0700 | [diff] [blame] | 17 | ... |
| 18 | } |
| 19 | |
| 20 | FRAME-STRUCTURE ::= CLASS { |
| 21 | &id INTEGER UNIQUE, |
| 22 | &Type |
| 23 | } WITH SYNTAX {&Type IDENTIFIED BY &id} |
| 24 | |
| 25 | FrameTypes FRAME-STRUCTURE ::= { primType | complexType, ... } |
| 26 | |
| 27 | primType FRAME-STRUCTURE ::= { PrimitiveMessage IDENTIFIED BY basicMessage } |
| 28 | complexType FRAME-STRUCTURE ::= { ComplexMessage IDENTIFIED BY 2 } |
| 29 | |
| 30 | PrimitiveMessage ::= SEQUENCE {} |
| 31 | ComplexMessage ::= SEQUENCE {} |
| 32 | |
| 33 | basicMessage INTEGER ::= 1 |
| 34 | |
| 35 | END |