Lev Walkin | d523ea4 | 2017-09-06 22:15:08 -0700 | [diff] [blame] | 1 | -- SE: Semantic error |
| 2 | |
| 3 | -- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1) |
| 4 | -- .spelio.software.asn1c.test (9363.1.5.1) |
| 5 | -- .149 |
| 6 | |
| 7 | ModuleComplexWithComponents |
| 8 | { iso org(3) dod(6) internet(1) private(4) enterprise(1) |
| 9 | spelio(9363) software(1) asn1c(5) test(1) 149 } |
| 10 | DEFINITIONS ::= BEGIN |
| 11 | |
| 12 | Certificate ::= ExplicitCertificate (WITH COMPONENTS { ..., |
| 13 | issuer (WITH COMPONENTS {sha256AndDigest}), |
| 14 | toBeSigned (WITH COMPONENTS { ..., |
| 15 | id (WITH COMPONENTS { |
| 16 | name ("foo" | "bar") -- Some comment |
| 17 | }), |
| 18 | crlSeries(ScmsSpclComponentCrlSeries), |
| 19 | validityPeriod (WITH COMPONENTS { ..., |
| 20 | duration (CrlgCertExpiration) |
| 21 | }), |
| 22 | region (WITH COMPONENTS { |
| 23 | identifiedRegion (SequenceOfIdentifiedRegion (SIZE(3)) (CONSTRAINED BY { |
| 24 | IdentifiedRegion ( WITH COMPONENTS { countryOnly(Canada) }), |
| 25 | IdentifiedRegion ( WITH COMPONENTS { countryOnly(Mexico) }), |
| 26 | IdentifiedRegion ( WITH COMPONENTS { countryOnly(USA) }) |
| 27 | })) |
| 28 | }), |
| 29 | canRequestRollover (NULL), |
| 30 | encryptionKey ABSENT, |
| 31 | verifyKeyIndicator (WITH COMPONENTS { |
| 32 | verificationKey (WITH COMPONENTS { |
| 33 | ecdsaNistP256 (WITH COMPONENTS { |
| 34 | compressed-y-0, compressed-y-1 |
| 35 | }) |
| 36 | }) |
| 37 | }) |
| 38 | }) |
| 39 | }) |
| 40 | |
| 41 | |
| 42 | END |