Gitiles
Code Review Sign In
gerrit.osmocom.org / asn1c / refs/heads/osmo-iuh/master / . / tests / 16-constraint-OK.asn1
blob: 00ade3791a5bffd5516b32125b16237189b09a2b [file] [log] [blame]
Lev Walkinf15320b2004-06-03 03:38:44 +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)
Lev Walkin6bd424f2005-03-20 13:12:58 +0000[diff] [blame]6-- .16 1
7-- .16 2
Lev Walkinf15320b2004-06-03 03:38:44 +0000[diff] [blame]8
Lev Walkin6bd424f2005-03-20 13:12:58 +0000[diff] [blame]9ModuleTestConstraint1
Lev Walkinf15320b2004-06-03 03:38:44 +0000[diff] [blame]10 { iso org(3) dod(6) internet(1) private(4) enterprise(1)
Lev Walkin6bd424f2005-03-20 13:12:58 +0000[diff] [blame]11 spelio(9363) software(1) asn1c(5) test(1) 16 1 }
Lev Walkinf15320b2004-06-03 03:38:44 +0000[diff] [blame]12 DEFINITIONS ::=
13BEGIN
Lev Walkin6bd424f2005-03-20 13:12:58 +0000[diff] [blame]14 IMPORTS Type1 FROM ModuleTestConstraint2;
Lev Walkinf15320b2004-06-03 03:38:44 +0000[diff] [blame]15
16 -- external reference
Lev Walkinff7dd142005-03-20 12:58:00 +0000[diff] [blame]17 Type0 ::= IA5String (Type6)
Lev Walkin6bd424f2005-03-20 13:12:58 +0000[diff] [blame]18 Type6 ::= IA5String (Type1)
19END
20
21ModuleTestConstraint2
22 { iso org(3) dod(6) internet(1) private(4) enterprise(1)
23 spelio(9363) software(1) asn1c(5) test(1) 16 2 }
24 DEFINITIONS ::=
25BEGIN
26 EXPORTS Type1;
27
28 -- external reference
Lev Walkinff7dd142005-03-20 12:58:00 +0000[diff] [blame]29 Type1 ::= IA5String (SIZE(1..ten,...))(FROM("a".."z"|"#",...))
Lev Walkinf15320b2004-06-03 03:38:44 +0000[diff] [blame]30 Type2 ::= IA5String (SIZE (MIN..4)|FROM ("abc"))
31 Type3 ::= BMPString (SIZE(1))
32 Type4 ::= INTEGER (1..MAX)
33 Type5 ::= BOOLEAN (TRUE|FALSE)
Lev Walkinff7dd142005-03-20 12:58:00 +0000[diff] [blame]34
35 ten INTEGER ::= 10
Lev Walkinf15320b2004-06-03 03:38:44 +0000[diff] [blame]36
37 v1 Type1 ::= "#value wi
38 th ""double quotes"""
39END