projects / deliverable / titan.core.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Sync with 5.4.0
[deliverable/titan.core.git] / regression_test / XML / XER / AsnValues.asn
CommitLineData
970ed795 1--/////////////////////////////////////////////////////////////////////////////
3abe9331 2-- Copyright (c) 2000-2015 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
7--/////////////////////////////////////////////////////////////////////////////
8AsnValues DEFINITIONS AUTOMATIC TAGS
9::= BEGIN
10
11IMPORTS
12
13Asn-bs , -- BIT STRING
14Asn-bool, -- BOOLEAN
15Asn-pdv, -- EMBEDDED PDV
16Asn-ext, -- EXTERNAL
17Asn-int, -- INTEGER
18Asn-nul, -- NULL
19Asn-oid, -- OBJECT IDENTIFIER
20Asn-odesc, -- ObjectDescriptor
21Asn-os , -- OCTET STRING
22Asn-real, -- REAL
23Asn-roid, -- RELATIVE-OID
24
25Asn-bmp, -- BMPString
26Asn-gen, -- GeneralString
27Asn-gra, -- GraphicString
28Asn-ia5, -- IA5String
29Asn-num, -- NumericString
30Asn-prn, -- PrintableString
31Asn-ttx, -- TeletexString
32Asn-uni, -- UniversalString
33Asn-utf, -- UTF8String
34Asn-vis, -- VisibleString
35Asn-vtx, -- VideotexString
36Asn-unr, -- CHARACTER STRING
37Flintstones, -- enum
38Family,
39NothingToSeeHere,
40Everything,
41MaybeEverything,
42Something,
43Nestor, NestorEx,
44Deep1c, Deep1s,
45Deep2o, Deep3o, Deep4o, Deep5o,
46A-rboolean,
47LotsaText
48
49FROM Asntypes ;
50
51-- BIT STRING
52bstr Asn-bs ::= '10100100'B
53bstr0 Asn-bs ::= ''B
54
55abstr BIT STRING ::= '10100100'B
56abstr0 BIT STRING ::= ''B
57
58binpi BIT STRING ::= -- first 256 bits of the fractional part of pi
59'00100100 00111111 01101010 10001000 10000101 10100011 00001000 11010011
60 00010011 00011001 10001010 00101110 00000011 01110000 01110011 01000100
61 10100100 00001001 00111000 00100010 00101001 10011111 00110001 11010000
62 00001000 00101110 11111010 10011000 11101100 01001110 01101100 10001001'B
63
64/* The OSS Nokalva ASN.1 compiler rejects the value below if it's split
65 over multiple lines. Strangely it accepts the one above. This appears
66 to depend on whether it's a built-in BIT STRING or the user-defined Asn-bs.
67*/
68
69binpi2 Asn-bs ::= -- next 256 bits of the fractional part of pi
70'01000101 00101000 00100001 11100110 00111000 11010000 00010011 01110111 10111110 01010100 01100110 11001111 00110100 11101001 00001100 01101100 11000000 10101100 00101001 10110111 11001001 01111100 01010000 11011101 00111111 10000100 11010101 10110101 10110101 01000111 00001001 00010111'B
71
72-- BOOLEAN
73boo Asn-bool ::= TRUE
74noo Asn-bool ::= FALSE -- do not want
75so-true BOOLEAN ::= TRUE
76
77-- EMBEDDED PDV
78
79-- note: data-value-descriptor not allowed for EMBEDDED PDV
80
81pdv-sxs Asn-pdv ::= { -- identification : SyntaXeS
82 identification syntaxes : {
83 abstract { iso 0 9 8 7 6 5 }, transfer { iso 0 5 6 7 8 9 }
84 },
85 -- data-value-descriptor "Food given to cattle",
86 data-value 'BEEFFEED'H
87}
88
89pdv-sx Asn-pdv ::= {
90 identification syntax : { etsi 1 3 5 },
91 -- data-value-descriptor "We need real coffee",
92 data-value 'DECAFBAD'H
93}
94
95pdv-pci Asn-pdv ::= { -- identification : Presentation-Context-Id
96 identification presentation-context-id : 1,
97 -- OPTIONAL data-value-descriptor
98 data-value 'BABEFACE'H
99}
100
101pdv-cneg Asn-pdv ::= { -- identification : Context-NEGotiation
102 identification context-negotiation : {
103 presentation-context-id 69,
104 transfer-syntax { joint-iso-itu-t 7 18 28 18 28 45 90 45 }
105 },
106 -- OPTIONAL data-value-descriptor
107 data-value 'C1AFB1'H
108}
109
110pdv-xsx Asn-pdv ::= {
111 identification transfer-syntax : { etsi 0 1 2 },
112 data-value 'C0FFEE'H
113}
114
115pdv-fix Asn-pdv ::= {
116 identification fixed : NULL,
117 data-value 'F1'H
118}
119
120
121epdv-sxs EMBEDDED PDV ::= { -- identification : SyntaXeS
122 identification syntaxes : {
123 abstract { iso 0 9 8 7 6 5 }, transfer { iso 0 5 6 7 8 9 }
124 },
125 -- data-value-descriptor "Food given to cattle",
126 data-value 'BEEFFEED'H
127}
128
129epdv-sx EMBEDDED PDV ::= {
130 identification syntax : { etsi 1 3 5 },
131 -- data-value-descriptor "We need real coffee",
132 data-value 'DECAFBAD'H
133}
134
135epdv-pci EMBEDDED PDV ::= { -- identification : Presentation-Context-Id
136 identification presentation-context-id : 1,
137 -- OPTIONAL data-value-descriptor
138 data-value 'BABEFACE'H
139}
140
141epdv-cneg EMBEDDED PDV ::= { -- identification : Context-NEGotiation
142 identification context-negotiation : {
143 presentation-context-id 69,
144 transfer-syntax { joint-iso-itu-t 7 18 28 18 28 45 90 45 }
145 },
146 -- OPTIONAL data-value-descriptor
147 data-value 'C1AFB1'H
148}
149
150epdv-xsx EMBEDDED PDV ::= {
151 identification transfer-syntax : { etsi 0 1 2 },
152 data-value 'C0FFEE'H
153}
154
155epdv-fix EMBEDDED PDV ::= {
156 identification fixed : NULL,
157 data-value 'F1'H
158}
159
160
161-- EXTERNAL
162ext Asn-ext ::=
163{
164 identification presentation-context-id : 2,
165 -- OPTIONAL data-value-descriptor "p-c-i, indirect only"
166 data-value 'BABEFACE'H
167}
168
169ext-sx Asn-ext ::=
170{
171 identification syntax : e-oid,
172 data-value-descriptor "using syntax, direct only",
173 data-value 'BAADF00D'H
174}
175
176ext-cn Asn-ext ::=
177{
178 identification context-negotiation : {
179 presentation-context-id 111,
180 transfer-syntax ber-oid
181 },
182 data-value-descriptor "using context negotiation, both",
183 data-value '1337D00D'H
184}
185
186-- INTEGER
187fourty-two Asn-int ::= 42
188zarro Asn-int ::= 0
189avogadro Asn-int ::= 602214179000000000000000
190
191-- NULL
192nul Asn-nul ::= NULL
193
194-- OBJECT IDENTIFIER
195etsi Asn-oid ::= { itu-t identified-organization etsi(0) }
196etsi-reserved Asn-oid ::= { itu-t identified-organization etsi(0) reserved(127) }
197etsid Asn-oid ::= { itu-t identified-organization etsi(0) reserved(127) etsi-identified-organization(0) }
198ericsson Asn-oid ::= { itu-t identified-organization etsi(0) reserved(127) etsi-identified-organization(0) ericsson(5) }
199ericsson-testing Asn-oid ::= { itu-t identified-organization etsi(0) reserved(127) etsi-identified-organization(0) ericsson(5) testing(0) }
200pi-oid Asn-oid ::= { iso 3 14 15 9 2 6 5 3 5 8 9 7 9 3 2 3 8 4 6 2 6 4 3 3 }
201e-oid Asn-oid ::= { 2 7 18 28 18 28 45 90 45 }
202etsi-solo Asn-oid ::= { etsi } -- is this a ROID ?
203
204ber-oid Asn-oid ::= {joint-iso-ccitt asn1(1) basic-encoding(1)}
205-- (see Clause 25.2 of Recommendation X.208, Appendix A, "Referenced Documents").
206
207cer-oid Asn-oid ::= {joint-iso-ccitt mhs-motis(6) group(6) white(1) api(2) om(4) canonical-ber(4)}
208-- (see Clause 8.7 of Recommendation X.509, Appendix A, "Referenced Documents").
209
210
211-- this is invalid (objid component list cannot be empty)
212-- noid Asn-oid ::= {}
213
214-- this is not allowed, X.690 (07/2002) 31.10 refers to X.660;
215-- X.660 requires that an object identifier value shall contain at least two arcs
216-- itu-t Asn-oid ::= { itu-t }
217
218
219-- ObjectDescriuptor
220etsi-desc Asn-odesc ::= "European Telecommunications Standards Institute"
221
222-- OCTET STRING
223os Asn-os ::= '00112233'H
224os0 Asn-os ::= ''H
225
226-- REAL
227pi Asn-real ::= 3.1415926535897932384626433
228e Asn-real ::= 2.718281828459045
229o Asn-real ::= 0
230
231/* Minus zero is not permitted, see X.680 (07/2002) 18.2
232minus0 Asn-real ::= -0
233*/
234
235-- RELATIVE-OID
236
237zoid Asn-roid ::= {iso(1) member-body(2) bsi(826) disc(0) ericsson(1249)}
238
239-- BMPString
240b1val Asn-bmp ::= {"Ich wei", {0,0,0,223} ," es! Basic Multilingual Plane."}
241b0val Asn-bmp ::= ""
242-- author Asn-bmp ::= { latinCapitalLetterR , latinSmallLetterAWithAcute, latinSmallLetterD, latinSmallLetterU, latinSmallLetterL, latinSmallLetterY }
243esc-bmp Asn-bmp ::= { -- this string is to test the escaping of non-ASCII characters (group and plane must be zero for BMPString)
244"BMP", {0,0,0,10},
245{0,0,0,0}, {0,0,0,1}, {0,0,0,2}, {0,0,0,3}, {0,0,0,4}, {0,0,0,5}, {0,0,0,6}, {0,0,0,7},
246{0,0,0,8}, {0,0,0,9}, {0,0,0,10}, {0,0,0,11}, {0,0,0,12}, {0,0,0,13}, {0,0,0,14}, {0,0,0,15},
247{0,0,0,16}, {0,0,0,17}, {0,0,0,18}, {0,0,0,19}, {0,0,0,20}, {0,0,0,21}, {0,0,0,22}, {0,0,0,23},
248{0,0,0,24}, {0,0,0,25}, {0,0,0,26}, {0,0,0,27}, {0,0,0,28}, {0,0,0,29}, {0,0,0,30}, {0,0,0,31},
249{0,0,0,132}, {0,0,1,66}, {0,0,66,66}
250}
251esc-bmp-dec Asn-bmp ::= { -- this string is what we get back from XML decoding
252"BMP", {0,0,0,10},
253{0,0,0,0}, {0,0,0,1}, {0,0,0,2}, {0,0,0,3}, {0,0,0,4}, {0,0,0,5}, {0,0,0,6}, {0,0,0,7},
254{0,0,0,8}, {0,0,0,9}, {0,0,0,10}, {0,0,0,11}, {0,0,0,12}, {0,0,0,10 /* instead of 13 */}, {0,0,0,14}, {0,0,0,15},
255{0,0,0,16}, {0,0,0,17}, {0,0,0,18}, {0,0,0,19}, {0,0,0,20}, {0,0,0,21}, {0,0,0,22}, {0,0,0,23},
256{0,0,0,24}, {0,0,0,25}, {0,0,0,26}, {0,0,0,27}, {0,0,0,28}, {0,0,0,29}, {0,0,0,30}, {0,0,0,31},
257{0,0,0,132}, {0,0,1,66}, {0,0,66,66}
258}
259html-bmp Asn-bmp ::= "<html><body onload='javascript.alert(""BMP"")'>&nbsp;</body></html>"
260
261
262-- GeneralString
263g1val Asn-gen ::= "Who is General Failure and why is he reading my disk ?"
264g0val Asn-gen ::= ""
265
266-- GrapgicString
267gr1val Asn-gra ::= "Graphic"
268gr0val Asn-gra ::= ""
269
270-- IA5String
271ia5val Asn-ia5 ::= "Ia5! Ia5! Cthulhu fhtagn!"
272ia6val Asn-ia5 ::= ""
273ia7val IA5String ::= "A bona fide IA5String"
274ia8val IA5String ::= ""
275
276val-vis Asn-vis ::= "Visible (ISO646)" -- VisibleString a.k.a. ISO646String
277val-num Asn-num ::= "150130937545296572356771972164254457814047970568738777235893533016064" -- NumericString= 42 ** 42 !
278val-prn Asn-prn ::= "Printable" -- PrintableString
279val-ttx Asn-ttx ::= "Teletex" -- TeletexString
280val-uni Asn-uni ::= { "Universal ", {0, 0, 112, 112}, {0, 0, 127, 189}, kisarvizturo } -- UniversalString
281-- 0xE7 0x81 0xB0 0xE7 0xBE 0xBD
282
283esc-uni Asn-uni ::= { -- this string is to test the escaping of non-ASCII characters
284"Universal escapology", {0,0,0,10}, -- newline
285-- Now all the control characters
286{0,0,0,0}, {0,0,0,1}, {0,0,0,2}, {0,0,0,3}, {0,0,0,4}, {0,0,0,5}, {0,0,0,6}, {0,0,0,7},
287{0,0,0,8}, {0,0,0,9}, {0,0,0,10}, {0,0,0,11}, {0,0,0,12}, {0,0,0,13}, {0,0,0,14}, {0,0,0,15},
288{0,0,0,16}, {0,0,0,17}, {0,0,0,18}, {0,0,0,19}, {0,0,0,20}, {0,0,0,21}, {0,0,0,22}, {0,0,0,23},
289{0,0,0,24}, {0,0,0,25}, {0,0,0,26}, {0,0,0,27}, {0,0,0,28}, {0,0,0,29}, {0,0,0,30}, {0,0,0,31},
290-- Now some Unicode characters
291{0,0,0,132}, {0,0,1,66}, {0,0,66,66}, {0,1,66,66}, {0,16,66,66}
292}
293esc-uni-dec Asn-uni ::= { -- this string is what we get back from XER decoding
294"Universal escapology", {0,0,0,10}, -- newline
295-- Now all the control characters
296{0,0,0,0}, {0,0,0,1}, {0,0,0,2}, {0,0,0,3}, {0,0,0,4}, {0,0,0,5}, {0,0,0,6}, {0,0,0,7},
297{0,0,0,8}, {0,0,0,9}, {0,0,0,10}, {0,0,0,11}, {0,0,0,12}, {0,0,0,10 /* instead of 13 */}, {0,0,0,14}, {0,0,0,15},
298{0,0,0,16}, {0,0,0,17}, {0,0,0,18}, {0,0,0,19}, {0,0,0,20}, {0,0,0,21}, {0,0,0,22}, {0,0,0,23},
299{0,0,0,24}, {0,0,0,25}, {0,0,0,26}, {0,0,0,27}, {0,0,0,28}, {0,0,0,29}, {0,0,0,30}, {0,0,0,31},
300-- Now some Unicode characters
301{0,0,0,132}, {0,0,1,66}, {0,0,66,66}, {0,1,66,66}, {0,16,66,66}
302}
303html-uni Asn-uni ::= "<html><body onload='javascript.alert(""Universal"")'>&nbsp;</body></html>"
304
305val-utf Asn-utf ::= { "UTF8 ", nagyarvizturo } -- UTF8String
306esc-utf Asn-utf ::= {
307-- {0,0,0,0} not valid for UTF8 (string terminator)
308"UTF8 escapology", {0,0,0,10},
309{0,0,0,1}, {0,0,0,2}, {0,0,0,3}, {0,0,0,4}, {0,0,0,5}, {0,0,0,6}, {0,0,0,7},
310{0,0,0,8}, {0,0,0,9}, {0,0,0,10}, {0,0,0,11}, {0,0,0,12}, {0,0,0,13}, {0,0,0,14}, {0,0,0,15},
311{0,0,0,16}, {0,0,0,17}, {0,0,0,18}, {0,0,0,19}, {0,0,0,20}, {0,0,0,21}, {0,0,0,22}, {0,0,0,23},
312{0,0,0,24}, {0,0,0,25}, {0,0,0,26}, {0,0,0,27}, {0,0,0,28}, {0,0,0,29}, {0,0,0,30}, {0,0,0,31},
313{0,0,0,132}, {0,0,1,66}, {0,0,66,66}, {0,1,66,66}, {0,16,66,66}
314}
315esc-utf-dec Asn-utf ::= { -- what we get back from XER decoding
316"UTF8 escapology", {0,0,0,10},
317{0,0,0,1}, {0,0,0,2}, {0,0,0,3}, {0,0,0,4}, {0,0,0,5}, {0,0,0,6}, {0,0,0,7},
318{0,0,0,8}, {0,0,0,9}, {0,0,0,10}, {0,0,0,11}, {0,0,0,12}, {0,0,0,10 /* instead of 13 */}, {0,0,0,14}, {0,0,0,15},
319{0,0,0,16}, {0,0,0,17}, {0,0,0,18}, {0,0,0,19}, {0,0,0,20}, {0,0,0,21}, {0,0,0,22}, {0,0,0,23},
320{0,0,0,24}, {0,0,0,25}, {0,0,0,26}, {0,0,0,27}, {0,0,0,28}, {0,0,0,29}, {0,0,0,30}, {0,0,0,31},
321{0,0,0,132}, {0,0,1,66}, {0,0,66,66}, {0,1,66,66}, {0,16,66,66}
322}
323html-utf Asn-utf ::= "<html><body onload='javascript.alert(""UTF8"")'>&nbsp;</body></html>"
324
325val-vtx Asn-vtx ::= "Videotex" -- VideotexString
326/* Note: only BMPString, UTF8String and UniversalString can have {qu,ad,ru,ples} */
327
328blank-vis Asn-vis ::= "" -- VisibleString a.k.a. ISO646String
329blank-num Asn-num ::= "" -- NumericString
330blank-prn Asn-prn ::= "" -- PrintableString
331blank-ttx Asn-ttx ::= "" -- TeletexString
332blank-uni Asn-uni ::= "" -- UniversalString
333blank-utf Asn-utf ::= "" -- UTF8String
334blank-vtx Asn-vtx ::= "" -- VideotexString
335
336val-unr-sxs Asn-unr ::=
337{
338 identification syntaxes : {
339 abstract pi-oid,
340 transfer e-oid
341 },
342 string-value 'C3A17276 C3AD7A74 C5B172C5 912074C3'H -- kisarvizturo elso fele
343}
344
345val-unr-sx Asn-unr ::=
346{
347 identification syntax : pi-oid,
348 string-value 'BC6BC3B6 7266C3BA 72C3B367 C3A970'H -- kisarvizturo masodik fele
349}
350
351val-unr-pci Asn-unr ::=
352{
353 identification presentation-context-id : 42,
354 string-value 'C3815256 C38D5A54 C5B052C5 902054C3'H -- nagyarvizturo eleje
355}
356
357val-unr-cneg Asn-unr ::=
358{
359 identification context-negotiation : {
360 presentation-context-id 17,
361 transfer-syntax ber-oid
362 },
363 string-value '9C4BC396 5246C39A 52C39347 C38950'H -- nagyarvizturo ve'ge
364}
365
366val-unr-tsx Asn-unr ::=
367{
368 identification transfer-syntax : ber-oid,
369 string-value 'BEEE'H
370}
371
372val-unr-fix Asn-unr ::= --{ "CHARACTER STRING ", nagyarvizturo }
373{
374 identification fixed : NULL,
375 string-value 'C3815256 C38D5A54 C5B052C5 902054C3 9C4BC396 5246C39A 52C39347 C38950'H
376 -- nagyarvizturo, UTF-8
377}
378
379
380-- enum
381
382rubble Family ::= { barney, betty }
383
384-- empty record
385
386move-along NothingToSeeHere ::= {}
387
388-- -- -- -- -- -- -- -- -- --
389
390nagykisarvizturo UniversalString ::=
391 {nagyarvizturo, " ", {0,0,0,173}, " ", kisarvizturo}
392/* UTF8: ... 20C2AD20 ... */
393
394nagyarvizturo UniversalString ::= {
395 {0,0,0,193}, "RV", {0,0,0,205}, "ZT", {0,0,1,112}, "R", {0,0,1,80},
396 " T", {0,0,0,220}, "K", {0,0,0,214}, "RF", {0,0,0,218}, "R", {0,0,0,211}, "G", {0,0,0,201}, "P"
397}
398/*
399UTF8: "
400 C3815256 C38D5A54 C5B052C5 902054C3
401 9C4BC396 5246C39A 52C39347 C38950
402
403 195,129,82,86 195,141,90,84 197,176,82,197 144,32,84,195
404 156,75,195,150 82,70,195,154 82,195,147,71 195,137,80
405"
406*/
407
408kisarvizturo UniversalString ::= {
409 {0,0,0,225}, "rv", {0,0,0,237}, "zt", {0,0,1,113}, "r", {0,0,1,81},
410 " t", {0,0,0,252}, "k", {0,0,0,246}, "rf", {0,0,0,250}, "r", {0,0,0,243}, "g", {0,0,0,233}, "p"
411}
412/*
413UTF8: "
414 C3A17276 C3AD7A74 C5B172C5 912074C3
415 BC6BC3B6 7266C3BA 72C3B367 C3A970
416
417 195,161,114,118 195,173,122,116 197,177,114,197 145,32,116,195
418 188,107,195,182 114,102,195,186 114,195,179,103 195,169,112
419"
420*/
421
422d11-22a OCTET STRING ::=
423 '61448A42
424 C3815256C38D5A54C5B052C5902054C39C4BC3965246C39A52C39347C38950
425 20C2AD20
426 C3A17276C3AD7A74C5B172C5912074C3BC6BC3B67266C3BA72C3B367C3A970'H
427
428
429arbomit A-rboolean ::= { }
430arbtrue A-rboolean ::= { bb TRUE }
431arbfalse A-rboolean ::= { bb FALSE}
432
433a-evth Everything ::= {
434 bitstr binpi,
435 booool TRUE,
436 pdv pdv-sx,
437 cartoon betty,
438 outsider ext-cn,
439 wholenum 42,
440 nix NULL,
441 emptyrec {},
442 objection etsi,
443 octets 'F00DF00D'H,
444 printer "a-evth",
445 floating 0.0,
446 rroid zoid
447}
448
449-- -- -- -- -- -- -- --
450
451a-maybe MaybeEverything ::= { -- Whoa, deja vu !
452 bitstr binpi,
453 booool TRUE,
454 pdv pdv-sx,
455 cartoon betty,
456 outsider ext-cn,
457 wholenum 42,
458 nix NULL,
459 emptyrec {},
460 objection etsi,
461 octets 'F00DF00D'H,
462 printer "a-maybe",
463 floating 0.0,
464 rroid zoid
465}
466
467a-maybenot MaybeEverything ::= {}
468
469a-maybe-bitstr MaybeEverything ::= { bitstr bstr0 }
470
471a-maybe-true MaybeEverything ::= { booool FALSE }
472
473a-maybe-b MaybeEverything ::= {
474 bitstr bstr,
475 booool TRUE
476}
477
478-- -- -- -- -- -- -- --
479
480nixtor Nestor ::= {{
481 name "nixtor",
482 f2 {}
483}}
484
485nixtor2 Nestor ::= {{
486 name "nixtor2",
487 f2 {{}}
488}}
489
490nixtor3 Nestor ::= {{
491 name "nixtor3",
492 f2 {{{}}}
493}}
494
495nixtor4 Nestor ::= {{
496 name "nixtor4",
497 f2 {{{}}}
498}}
499
500an3 Nestor ::= {
501 { name "an3[0]", f2 {} },
502 { name "an3[1]", f2 {{}} },
503 { name "an3[2]", f2 {{{}}} }
504}
505
506nn Nestor ::= {{
507 name "nn",
508 f1 { ts1 10, ts2 TRUE },
509 f2 { { { { { your only : 5.0 } } } } }
510}}
511
512-- -- -- -- -- -- -- --
513
514
515nixtorex NestorEx ::= {{
516 name "nixtorex",
517 f2 {}
518}}
519
520nixtor2ex NestorEx ::= {{
521 name "nixtor2ex",
522 f2 {{}}
523}}
524
525nixtor3ex NestorEx ::= {{
526 name "nixtor3ex",
527 f2 {{{}}}
528}}
529
530nixtor4ex NestorEx ::= {{
531 name "nixtor4ex",
532 f2 {{{}}}
533}}
534
535an3ex NestorEx ::= {
536 { name "an3ex[0]", f2 {} },
537 { name "an3ex[1]", f2 {{}} },
538 { name "an3ex[2]", f2 {{{}}} }
539}
540
541
542d1c Deep1c ::= only : 1.0
543d1s Deep1s ::= { your only : 1.1 }
544d2o Deep2o ::= { { your only : 2.0 } }
545d3o Deep3o ::= { { { your only : 3.0 } } }
546d4o Deep4o ::= { { { { your only : 4.0 } } } }
547d5o Deep5o ::= { { { { { your only : 5.0 } } } } }
548
549nnx NestorEx ::= {{
550 name "nnx",
551 f1 { ts1 10, ts2 TRUE },
552 f2 { { { { { your only : 5.0 } } } } }
553}}
554
555-- -- -- -- -- -- -- --
556
557limerick LotsaText ::= {
558 "There was a young fellow named Fisk",
559 "A swordsman, exceedingly brisk",
560 "So fast was his action",
561 "The Lorentz contraction",
562 "Reduced his rapier to a disc"
563}
564
565-- Titan rejects this: lf IA5String ::= {0,10}
566lf IA5String ::= "
567"
568
569END
570
Titan Core - Deliverables
This page took 0.069992 seconds and 5 git commands to generate.