projects / deliverable / titan.core.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Sync with 5.2.0
[deliverable/titan.core.git] / regression_test / ttcn2json / two_e.json
1 {
2 "definitions" : {
3 "one" : {
4 "HasAny" : {
5 "type" : "object",
6 "subType" : "record",
7 "properties" : {
8 "num" : {
9 "type" : "integer"
10 },
11 "at" : {
12 "$ref" : "#/definitions/one/anytype"
13 }
14 },
15 "additionalProperties" : false,
16 "fieldOrder" : [
17 "num",
18 "at"
19 ],
20 "required" : [
21 "num",
22 "at"
23 ]
24 },
25 "Height" : {
26 "enum" : [
27 "Short",
28 "Medium",
29 "Tall"
30 ],
31 "numericValues" : [
32 0,
33 1,
34 2
35 ]
36 },
37 "Rec" : {
38 "type" : "object",
39 "subType" : "record",
40 "properties" : {
41 "num" : {
42 "type" : "integer",
43 "default" : 0
44 },
45 "str" : {
46 "type" : "string",
47 "subType" : "universal charstring",
48 "default" : "empty"
49 }
50 },
51 "additionalProperties" : false,
52 "fieldOrder" : [
53 "num",
54 "str"
55 ],
56 "required" : [
57 "num",
58 "str"
59 ]
60 },
61 "Set" : {
62 "type" : "object",
63 "subType" : "set",
64 "properties" : {
65 "os" : {
66 "type" : "string",
67 "subType" : "octetstring",
68 "pattern" : "^([0-9A-Fa-f][0-9A-Fa-f])*$"
69 },
70 "buul" : {
71 "anyOf" : [
72 {
73 "type" : "null"
74 },
75 {
76 "type" : "boolean"
77 }
78 ],
79 "omitAsNull" : true
80 },
81 "verd" : {
82 "anyOf" : [
83 {
84 "type" : "null"
85 },
86 {
87 "enum" : [
88 "none",
89 "pass",
90 "inconc",
91 "fail",
92 "error"
93 ]
94 }
95 ],
96 "omitAsNull" : false
97 },
98 "numbr" : {
99 "anyOf" : [
100 {
101 "type" : "number"
102 },
103 {
104 "enum" : [
105 "not_a_number",
106 "infinity",
107 "-infinity"
108 ]
109 }
110 ],
111 "default" : "-infinity"
112 }
113 },
114 "additionalProperties" : false,
115 "fieldOrder" : [
116 "os",
117 "buul",
118 "verd",
119 "numbr"
120 ],
121 "required" : [
122 "os",
123 "numbr"
124 ]
125 },
126 "Uni" : {
127 "anyOf" : [
128 {
129 "type" : "object",
130 "properties" : {
131 "numbr" : {
132 "anyOf" : [
133 {
134 "type" : "number"
135 },
136 {
137 "enum" : [
138 "not_a_number",
139 "infinity",
140 "-infinity"
141 ]
142 }
143 ]
144 }
145 },
146 "additionalProperties" : false,
147 "required" : [
148 "numbr"
149 ]
150 },
151 {
152 "type" : "object",
153 "properties" : {
154 "bytes" : {
155 "type" : "string",
156 "subType" : "octetstring",
157 "pattern" : "^([0-9A-Fa-f][0-9A-Fa-f])*$"
158 }
159 },
160 "additionalProperties" : false,
161 "required" : [
162 "bytes"
163 ]
164 }
165 ]
166 },
167 "Width" : {
168 "enum" : [
169 "Thin",
170 "Medium",
171 "Wide"
172 ],
173 "numericValues" : [
174 0,
175 1,
176 2
177 ]
178 },
179 "anytype" : {
180 "anyOf" : [
181 {
182 "type" : "object",
183 "properties" : {
184 "integer" : {
185 "type" : "integer"
186 }
187 },
188 "additionalProperties" : false,
189 "required" : [
190 "integer"
191 ]
192 },
193 {
194 "type" : "object",
195 "properties" : {
196 "boolean" : {
197 "type" : "boolean"
198 }
199 },
200 "additionalProperties" : false,
201 "required" : [
202 "boolean"
203 ]
204 },
205 {
206 "type" : "object",
207 "properties" : {
208 "bitstring" : {
209 "type" : "string",
210 "subType" : "bitstring",
211 "pattern" : "^[01]*$"
212 }
213 },
214 "additionalProperties" : false,
215 "required" : [
216 "bitstring"
217 ]
218 }
219 ]
220 }
221 },
222 "two" : {
223 "Ints" : {
224 "type" : "array",
225 "subType" : "record of",
226 "items" : {
227 "type" : "integer"
228 }
229 },
230 "PosInt" : {
231 "type" : "integer"
232 }
233 },
234 "three" : {
235 "Barrels" : {
236 "type" : "object",
237 "subType" : "set",
238 "properties" : {
239 "numBarrels" : {
240 "type" : "integer"
241 },
242 "barrelType" : {
243 "type" : "object",
244 "subType" : "record",
245 "properties" : {
246 "size" : {
247 "enum" : [
248 "Small",
249 "Medium",
250 "Large"
251 ],
252 "numericValues" : [
253 0,
254 1,
255 2
256 ]
257 },
258 "filled" : {
259 "type" : "boolean"
260 }
261 },
262 "additionalProperties" : false,
263 "fieldOrder" : [
264 "size",
265 "filled"
266 ],
267 "required" : [
268 "size",
269 "filled"
270 ]
271 }
272 },
273 "additionalProperties" : false,
274 "fieldOrder" : [
275 "numBarrels",
276 "barrelType"
277 ],
278 "required" : [
279 "numBarrels",
280 "barrelType"
281 ]
282 },
283 "Nums" : {
284 "type" : "array",
285 "subType" : "set of",
286 "items" : {
287 "type" : "object",
288 "subType" : "record",
289 "properties" : {
290 "number" : {
291 "originalName" : "num",
292 "type" : "integer"
293 }
294 },
295 "additionalProperties" : false,
296 "required" : [
297 "number"
298 ]
299 }
300 },
301 "Numz" : {
302 "type" : "object",
303 "subType" : "record",
304 "properties" : {
305 "nums" : {
306 "$ref" : "#/definitions/three/Nums"
307 }
308 },
309 "additionalProperties" : false,
310 "required" : [
311 "nums"
312 ]
313 },
314 "Rex" : {
315 "type" : "array",
316 "subType" : "record of",
317 "items" : {
318 "$ref" : "#/definitions/one/Rec"
319 }
320 },
321 "Stuff" : {
322 "type" : "array",
323 "subType" : "record of",
324 "items" : {
325 "$ref" : "#/definitions/three/Thing"
326 }
327 },
328 "Thing" : {
329 "anyOf" : [
330 {
331 "originalName" : "b",
332 "type" : "boolean"
333 },
334 {
335 "originalName" : "i",
336 "unusedAlias" : "int",
337 "type" : "integer"
338 },
339 {
340 "originalName" : "cs",
341 "unusedAlias" : "str",
342 "type" : "string",
343 "subType" : "charstring"
344 },
345 {
346 "originalName" : "rec",
347 "type" : "object",
348 "subType" : "record",
349 "properties" : {
350 "num" : {
351 "type" : "integer"
352 }
353 },
354 "additionalProperties" : false,
355 "required" : [
356 "num"
357 ]
358 }
359 ]
360 }
361 },
362 "Zero" : {
363 "AnyString" : {
364 "anyOf" : [
365 {
366 "type" : "object",
367 "properties" : {
368 "generalstr" : {
369 "type" : "string",
370 "subType" : "universal charstring"
371 }
372 },
373 "additionalProperties" : false,
374 "required" : [
375 "generalstr"
376 ]
377 },
378 {
379 "type" : "object",
380 "properties" : {
381 "numericstr" : {
382 "type" : "string",
383 "subType" : "charstring"
384 }
385 },
386 "additionalProperties" : false,
387 "required" : [
388 "numericstr"
389 ]
390 },
391 {
392 "type" : "object",
393 "properties" : {
394 "utf8str" : {
395 "type" : "string",
396 "subType" : "universal charstring"
397 }
398 },
399 "additionalProperties" : false,
400 "required" : [
401 "utf8str"
402 ]
403 },
404 {
405 "type" : "object",
406 "properties" : {
407 "printablestr" : {
408 "type" : "string",
409 "subType" : "charstring"
410 }
411 },
412 "additionalProperties" : false,
413 "required" : [
414 "printablestr"
415 ]
416 },
417 {
418 "type" : "object",
419 "properties" : {
420 "universalstr" : {
421 "type" : "string",
422 "subType" : "universal charstring"
423 }
424 },
425 "additionalProperties" : false,
426 "required" : [
427 "universalstr"
428 ]
429 },
430 {
431 "type" : "object",
432 "properties" : {
433 "bmpstr" : {
434 "type" : "string",
435 "subType" : "universal charstring"
436 }
437 },
438 "additionalProperties" : false,
439 "required" : [
440 "bmpstr"
441 ]
442 },
443 {
444 "type" : "object",
445 "properties" : {
446 "graphicstr" : {
447 "type" : "string",
448 "subType" : "universal charstring"
449 }
450 },
451 "additionalProperties" : false,
452 "required" : [
453 "graphicstr"
454 ]
455 },
456 {
457 "type" : "object",
458 "properties" : {
459 "ia5str" : {
460 "type" : "string",
461 "subType" : "charstring"
462 }
463 },
464 "additionalProperties" : false,
465 "required" : [
466 "ia5str"
467 ]
468 },
469 {
470 "type" : "object",
471 "properties" : {
472 "teletexstr" : {
473 "type" : "string",
474 "subType" : "universal charstring"
475 }
476 },
477 "additionalProperties" : false,
478 "required" : [
479 "teletexstr"
480 ]
481 },
482 {
483 "type" : "object",
484 "properties" : {
485 "videotexstr" : {
486 "type" : "string",
487 "subType" : "universal charstring"
488 }
489 },
490 "additionalProperties" : false,
491 "required" : [
492 "videotexstr"
493 ]
494 },
495 {
496 "type" : "object",
497 "properties" : {
498 "visiblestr" : {
499 "type" : "string",
500 "subType" : "charstring"
501 }
502 },
503 "additionalProperties" : false,
504 "required" : [
505 "visiblestr"
506 ]
507 }
508 ]
509 },
510 "Big_Choice" : {
511 "anyOf" : [
512 {
513 "type" : "object",
514 "properties" : {
515 "numbers" : {
516 "type" : "array",
517 "subType" : "set of",
518 "items" : {
519 "$ref" : "#/definitions/Zero/Number"
520 }
521 }
522 },
523 "additionalProperties" : false,
524 "required" : [
525 "numbers"
526 ]
527 },
528 {
529 "type" : "object",
530 "properties" : {
531 "strings" : {
532 "$ref" : "#/definitions/Zero/ManyStrings"
533 }
534 },
535 "additionalProperties" : false,
536 "required" : [
537 "strings"
538 ]
539 }
540 ]
541 },
542 "Big_Set" : {
543 "type" : "object",
544 "subType" : "set",
545 "properties" : {
546 "product" : {
547 "$ref" : "#/definitions/Zero/SeqProduct"
548 },
549 "numbers" : {
550 "type" : "array",
551 "subType" : "set of",
552 "items" : {
553 "$ref" : "#/definitions/Zero/Number"
554 }
555 },
556 "strings" : {
557 "$ref" : "#/definitions/Zero/ManyStrings"
558 },
559 "color" : {
560 "enum" : [
561 "red",
562 "blue",
563 "green",
564 "yellow"
565 ],
566 "numericValues" : [
567 0,
568 1,
569 2,
570 3
571 ]
572 }
573 },
574 "additionalProperties" : false,
575 "fieldOrder" : [
576 "product",
577 "numbers",
578 "strings",
579 "color"
580 ],
581 "required" : [
582 "product",
583 "numbers",
584 "strings",
585 "color"
586 ]
587 },
588 "ManyStrings" : {
589 "type" : "array",
590 "subType" : "record of",
591 "items" : {
592 "$ref" : "#/definitions/Zero/AnyString"
593 }
594 },
595 "NullType" : {
596 "type" : "null"
597 },
598 "Number" : {
599 "anyOf" : [
600 {
601 "type" : "object",
602 "properties" : {
603 "decimal" : {
604 "type" : "integer"
605 }
606 },
607 "additionalProperties" : false,
608 "required" : [
609 "decimal"
610 ]
611 },
612 {
613 "type" : "object",
614 "properties" : {
615 "binary" : {
616 "type" : "string",
617 "subType" : "bitstring",
618 "pattern" : "^[01]*$"
619 }
620 },
621 "additionalProperties" : false,
622 "required" : [
623 "binary"
624 ]
625 },
626 {
627 "type" : "object",
628 "properties" : {
629 "hexadecimal" : {
630 "type" : "string",
631 "subType" : "octetstring",
632 "pattern" : "^([0-9A-Fa-f][0-9A-Fa-f])*$"
633 }
634 },
635 "additionalProperties" : false,
636 "required" : [
637 "hexadecimal"
638 ]
639 }
640 ]
641 },
642 "ObjIdType" : {
643 "type" : "string",
644 "subType" : "objid",
645 "pattern" : "^[0-2][.][1-3]?[0-9]([.][0-9]|([1-9][0-9]+))*$"
646 },
647 "RelObjIdType" : {
648 "type" : "string",
649 "subType" : "objid",
650 "pattern" : "^[0-2][.][1-3]?[0-9]([.][0-9]|([1-9][0-9]+))*$"
651 },
652 "Season" : {
653 "enum" : [
654 "spring",
655 "summer",
656 "fall",
657 "winter"
658 ],
659 "numericValues" : [
660 1,
661 2,
662 3,
663 4
664 ]
665 },
666 "SelectionType" : {
667 "type" : "array",
668 "subType" : "set of",
669 "items" : {
670 "$ref" : "#/definitions/Zero/Number"
671 }
672 },
673 "SeqOfInt" : {
674 "type" : "array",
675 "subType" : "record of",
676 "items" : {
677 "type" : "integer"
678 }
679 },
680 "SeqProduct" : {
681 "type" : "object",
682 "subType" : "record",
683 "properties" : {
684 "name" : {
685 "type" : "string",
686 "subType" : "universal charstring"
687 },
688 "price" : {
689 "anyOf" : [
690 {
691 "type" : "number"
692 },
693 {
694 "enum" : [
695 "not_a_number",
696 "infinity",
697 "-infinity"
698 ]
699 }
700 ]
701 },
702 "id" : {
703 "anyOf" : [
704 {
705 "type" : "null"
706 },
707 {
708 "type" : "string",
709 "subType" : "octetstring",
710 "pattern" : "^([0-9A-Fa-f][0-9A-Fa-f])*$"
711 }
712 ],
713 "omitAsNull" : false
714 },
715 "available" : {
716 "type" : "boolean"
717 }
718 },
719 "additionalProperties" : false,
720 "fieldOrder" : [
721 "name",
722 "price",
723 "id",
724 "available"
725 ],
726 "required" : [
727 "name",
728 "price",
729 "available"
730 ]
731 }
732 }
733 },
734 "anyOf" : [
735 {
736 "$ref" : "#/definitions/two/Ints",
737 "decoding" : {
738 "prototype" : [
739 "fast",
740 "f_dec_ints",
741 "os",
742 "x"
743 ]
744 },
745 "encoding" : {
746 "prototype" : [
747 "fast",
748 "f_enc_ints",
749 "eents",
750 "octus"
751 ],
752 "printing" : "pretty"
753 }
754 },
755 {
756 "$ref" : "#/definitions/one/Rec",
757 "decoding" : {
758 "prototype" : [
759 "convert",
760 "f_dec_rec",
761 "octie"
762 ],
763 "errorBehavior" : {
764 "ALL" : "WARNING",
765 "INVAL_MSG" : "ERROR"
766 }
767 },
768 "encoding" : {
769 "prototype" : [
770 "convert",
771 "f_enc_rec",
772 "x"
773 ]
774 }
775 },
776 {
777 "$ref" : "#/definitions/Zero/Big_Set",
778 "decoding" : {
779 "prototype" : [
780 "convert",
781 "f_dec_bigset",
782 "os"
783 ]
784 },
785 "encoding" : {
786 "prototype" : [
787 "convert",
788 "f_enc_bigset",
789 "x"
790 ]
791 }
792 }
793 ]
794 }
Titan Core - Deliverables
This page took 0.102779 seconds and 5 git commands to generate.