00ade3791a5bffd5516b32125b16237189b09a2b
[com/asn1c.git] / tests / tests-asn1c-compiler / 16-constraint-OK.asn1
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 -- .16 1
7 -- .16 2
8
9 ModuleTestConstraint1
10         { iso org(3) dod(6) internet(1) private(4) enterprise(1)
11                 spelio(9363) software(1) asn1c(5) test(1) 16 1 }
12         DEFINITIONS ::=
13 BEGIN
14         IMPORTS Type1 FROM ModuleTestConstraint2;
15
16         -- external reference
17         Type0 ::= IA5String (Type6)
18         Type6 ::= IA5String (Type1)
19 END
20
21 ModuleTestConstraint2
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 ::=
25 BEGIN
26         EXPORTS Type1;
27
28         -- external reference
29         Type1 ::= IA5String (SIZE(1..ten,...))(FROM("a".."z"|"#",...))
30         Type2 ::= IA5String (SIZE (MIN..4)|FROM ("abc"))
31         Type3 ::= BMPString (SIZE(1))
32         Type4 ::= INTEGER (1..MAX)
33         Type5 ::= BOOLEAN (TRUE|FALSE)
34
35         ten INTEGER ::= 10
36
37         v1 Type1 ::= "#value wi
38                 th ""double quotes"""
39 END