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