Last sync 2016.04.01
[deliverable/titan.core.git] / regression_test / ttcn2json / zero.asn
CommitLineData
d44e3c4f 1--/////////////////////////////////////////////////////////////////////////////
2-- Copyright (c) 2000-2016 Ericsson Telecom AB
970ed795
EL
3-- All rights reserved. This program and the accompanying materials
4-- are made available under the terms of the Eclipse Public License v1.0
5-- which accompanies this distribution, and is available at
6-- http://www.eclipse.org/legal/epl-v10.html
d44e3c4f 7--
8-- Contributors:
9-- Balasko, Jeno
10-- Baranyi, Botond
11--
12--/////////////////////////////////////////////////////////////////////////////
970ed795
EL
13
14Zero
15DEFINITIONS
16
17AUTOMATIC TAGS
18
19::=
20
21BEGIN
22
23IMPORTS ;
24
25-- encodable types
26SeqOfInt ::= SEQUENCE OF INTEGER
27
28SeqProduct ::= SEQUENCE {
29 name UniversalString,
30 price REAL,
31 id OCTET STRING OPTIONAL,
32 available BOOLEAN
33}
34
35Number ::= CHOICE {
36 decimal INTEGER,
37 binary BIT STRING,
38 hexadecimal OCTET STRING
39}
40
41AnyString ::= CHOICE {
42 generalstr GeneralString,
43 numericstr NumericString,
44 utf8str UTF8String,
45 printablestr PrintableString,
46 universalstr UniversalString,
47 bmpstr BMPString,
48 graphicstr GraphicString,
49 ia5str IA5String,
50 teletexstr TeletexString,
51 videotexstr VideotexString,
52 visiblestr VisibleString
53}
54
55ManyStrings ::= SEQUENCE OF AnyString
56
57Big-Set ::= SET {
58 product SeqProduct,
59 numbers SET OF Number,
60 strings ManyStrings,
61 color ENUMERATED { red, blue, green, yellow }
62}
63
64Big-Choice ::= CHOICE {
65 numbers SET OF Number,
66 strings ManyStrings
67}
68
af710487 69Season ::= ENUMERATED {
70 spring (1), summer (2), fall (3), winter (4)
71}
72
970ed795
EL
73SelectionType ::= numbers < Big-Choice
74
970ed795
EL
75NullType ::= NULL
76
77ObjIdType ::= OBJECT IDENTIFIER
78
79RelObjIdType ::= RELATIVE-OID
80
af710487 81-- non-encodable types
82
970ed795
EL
83EmbPdvType ::= EMBEDDED PDV
84
85ExtType ::= EXTERNAL
86
87GenTimeType ::= GeneralizedTime
88
89UtcTimeType ::= UTCTime
90
91ObjDescType ::= ObjectDescriptor
92
93END
d44e3c4f 94
This page took 0.027322 seconds and 5 git commands to generate.