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                                 "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                         "Bits" : {
 224                                 "type" : "array",
 225                                 "subType" : "record of",
 226                                 "items" : {
 227                                         "type" : "string",
 228                                         "subType" : "bitstring",
 229                                         "pattern" : "^[01]*$"
 230                                 }
 231                         },
 232                         "Floats" : {
 233                                 "type" : "array",
 234                                 "minItems" : 6,
 235                                 "maxItems" : 6,
 236                                 "items" : {
 237                                         "anyOf" : [
 238                                                 {
 239                                                         "type" : "number"
 240                                                 },
 241                                                 {
 242                                                         "enum" : [
 243                                                                 "not_a_number",
 244                                                                 "infinity",
 245                                                                 "-infinity"
 246                                                         ]
 247                                                 }
 248                                         ]
 249                                 }
 250                         },
 251                         "Hexes" : {
 252                                 "type" : "array",
 253                                 "subType" : "record of",
 254                                 "items" : {
 255                                         "type" : "string",
 256                                         "subType" : "hexstring",
 257                                         "pattern" : "^[0-9A-Fa-f]*$"
 258                                 }
 259                         },
 260                         "Ints" : {
 261                                 "type" : "array",
 262                                 "subType" : "record of",
 263                                 "items" : {
 264                                         "type" : "integer"
 265                                 }
 266                         },
 267                         "Intses" : {
 268                                 "type" : "array",
 269                                 "subType" : "record of",
 270                                 "items" : {
 271                                         "$ref" : "#/definitions/two/Ints"
 272                                 }
 273                         },
 274                         "Octets" : {
 275                                 "type" : "array",
 276                                 "subType" : "set of",
 277                                 "items" : {
 278                                         "type" : "string",
 279                                         "subType" : "octetstring",
 280                                         "pattern" : "^([0-9A-Fa-f][0-9A-Fa-f])*$"
 281                                 }
 282                         },
 283                         "PosInt" : {
 284                                 "type" : "integer"
 285                         },
 286                         "PosInts" : {
 287                                 "type" : "array",
 288                                 "subType" : "record of",
 289                                 "items" : {
 290                                         "$ref" : "#/definitions/two/PosInt"
 291                                 }
 292                         },
 293                         "Strings" : {
 294                                 "type" : "array",
 295                                 "subType" : "set of",
 296                                 "items" : {
 297                                         "type" : "string",
 298                                         "subType" : "universal charstring"
 299                                 }
 300                         },
 301                         "Two__Strings" : {
 302                                 "type" : "array",
 303                                 "minItems" : 2,
 304                                 "maxItems" : 2,
 305                                 "items" : {
 306                                         "type" : "string",
 307                                         "subType" : "charstring"
 308                                 }
 309                         },
 310                         "Verdicts" : {
 311                                 "type" : "array",
 312                                 "subType" : "record of",
 313                                 "items" : {
 314                                         "enum" : [
 315                                                 "none",
 316                                                 "pass",
 317                                                 "inconc",
 318                                                 "fail",
 319                                                 "error"
 320                                         ]
 321                                 }
 322                         }
 323                 },
 324                 "three" : {
 325                         "Barrels" : {
 326                                 "type" : "object",
 327                                 "subType" : "set",
 328                                 "properties" : {
 329                                         "numBarrels" : {
 330                                                 "type" : "integer"
 331                                         },
 332                                         "barrelType" : {
 333                                                 "type" : "object",
 334                                                 "subType" : "record",
 335                                                 "properties" : {
 336                                                         "size" : {
 337                                                                 "enum" : [
 338                                                                         "Small",
 339                                                                         "Medium",
 340                                                                         "Large"
 341                                                                 ],
 342                                                                 "numericValues" : [
 343                                                                         0,
 344                                                                         1,
 345                                                                         2
 346                                                                 ]
 347                                                         },
 348                                                         "filled" : {
 349                                                                 "type" : "boolean"
 350                                                         }
 351                                                 },
 352                                                 "additionalProperties" : false,
 353                                                 "fieldOrder" : [
 354                                                         "size",
 355                                                         "filled"
 356                                                 ],
 357                                                 "required" : [
 358                                                         "size",
 359                                                         "filled"
 360                                                 ]
 361                                         }
 362                                 },
 363                                 "additionalProperties" : false,
 364                                 "fieldOrder" : [
 365                                         "numBarrels",
 366                                         "barrelType"
 367                                 ],
 368                                 "required" : [
 369                                         "numBarrels",
 370                                         "barrelType"
 371                                 ]
 372                         },
 373                         "Nums" : {
 374                                 "type" : "array",
 375                                 "subType" : "set of",
 376                                 "items" : {
 377                                         "type" : "object",
 378                                         "subType" : "record",
 379                                         "properties" : {
 380                                                 "number" : {
 381                                                         "originalName" : "num",
 382                                                         "type" : "integer"
 383                                                 }
 384                                         },
 385                                         "additionalProperties" : false,
 386                                         "required" : [
 387                                                 "number"
 388                                         ]
 389                                 }
 390                         },
 391                         "Numz" : {
 392                                 "type" : "object",
 393                                 "subType" : "record",
 394                                 "properties" : {
 395                                         "nums" : {
 396                                                 "$ref" : "#/definitions/three/Nums"
 397                                         }
 398                                 },
 399                                 "additionalProperties" : false,
 400                                 "required" : [
 401                                         "nums"
 402                                 ]
 403                         },
 404                         "Rex" : {
 405                                 "type" : "array",
 406                                 "subType" : "record of",
 407                                 "items" : {
 408                                         "$ref" : "#/definitions/one/Rec"
 409                                 }
 410                         },
 411                         "Stuff" : {
 412                                 "type" : "array",
 413                                 "subType" : "record of",
 414                                 "items" : {
 415                                         "$ref" : "#/definitions/three/Thing"
 416                                 }
 417                         },
 418                         "Thing" : {
 419                                 "anyOf" : [
 420                                         {
 421                                                 "originalName" : "b",
 422                                                 "type" : "boolean"
 423                                         },
 424                                         {
 425                                                 "originalName" : "i",
 426                                                 "unusedAlias" : "int",
 427                                                 "type" : "integer"
 428                                         },
 429                                         {
 430                                                 "originalName" : "cs",
 431                                                 "unusedAlias" : "str",
 432                                                 "type" : "string",
 433                                                 "subType" : "charstring"
 434                                         },
 435                                         {
 436                                                 "originalName" : "rec",
 437                                                 "type" : "object",
 438                                                 "subType" : "record",
 439                                                 "properties" : {
 440                                                         "num" : {
 441                                                                 "type" : "integer"
 442                                                         }
 443                                                 },
 444                                                 "additionalProperties" : false,
 445                                                 "required" : [
 446                                                         "num"
 447                                                 ]
 448                                         }
 449                                 ]
 450                         }
 451                 },
 452                 "Zero" : {
 453                         "SeqOfInt" : {
 454                                 "type" : "array",
 455                                 "subType" : "record of",
 456                                 "items" : {
 457                                         "type" : "integer"
 458                                 }
 459                         },
 460                         "SeqProduct" : {
 461                                 "type" : "object",
 462                                 "subType" : "record",
 463                                 "properties" : {
 464                                         "name" : {
 465                                                 "type" : "string",
 466                                                 "subType" : "universal charstring"
 467                                         },
 468                                         "price" : {
 469                                                 "anyOf" : [
 470                                                         {
 471                                                                 "type" : "number"
 472                                                         },
 473                                                         {
 474                                                                 "enum" : [
 475                                                                         "not_a_number",
 476                                                                         "infinity",
 477                                                                         "-infinity"
 478                                                                 ]
 479                                                         }
 480                                                 ]
 481                                         },
 482                                         "id" : {
 483                                                 "anyOf" : [
 484                                                         {
 485                                                                 "type" : "null"
 486                                                         },
 487                                                         {
 488                                                                 "type" : "string",
 489                                                                 "subType" : "octetstring",
 490                                                                 "pattern" : "^([0-9A-Fa-f][0-9A-Fa-f])*$"
 491                                                         }
 492                                                 ],
 493                                                 "omitAsNull" : false
 494                                         },
 495                                         "available" : {
 496                                                 "type" : "boolean"
 497                                         }
 498                                 },
 499                                 "additionalProperties" : false,
 500                                 "fieldOrder" : [
 501                                         "name",
 502                                         "price",
 503                                         "id",
 504                                         "available"
 505                                 ],
 506                                 "required" : [
 507                                         "name",
 508                                         "price",
 509                                         "available"
 510                                 ]
 511                         },
 512                         "Number" : {
 513                                 "anyOf" : [
 514                                         {
 515                                                 "type" : "object",
 516                                                 "properties" : {
 517                                                         "decimal" : {
 518                                                                 "type" : "integer"
 519                                                         }
 520                                                 },
 521                                                 "additionalProperties" : false,
 522                                                 "required" : [
 523                                                         "decimal"
 524                                                 ]
 525                                         },
 526                                         {
 527                                                 "type" : "object",
 528                                                 "properties" : {
 529                                                         "binary" : {
 530                                                                 "type" : "string",
 531                                                                 "subType" : "bitstring",
 532                                                                 "pattern" : "^[01]*$"
 533                                                         }
 534                                                 },
 535                                                 "additionalProperties" : false,
 536                                                 "required" : [
 537                                                         "binary"
 538                                                 ]
 539                                         },
 540                                         {
 541                                                 "type" : "object",
 542                                                 "properties" : {
 543                                                         "hexadecimal" : {
 544                                                                 "type" : "string",
 545                                                                 "subType" : "octetstring",
 546                                                                 "pattern" : "^([0-9A-Fa-f][0-9A-Fa-f])*$"
 547                                                         }
 548                                                 },
 549                                                 "additionalProperties" : false,
 550                                                 "required" : [
 551                                                         "hexadecimal"
 552                                                 ]
 553                                         }
 554                                 ]
 555                         },
 556                         "AnyString" : {
 557                                 "anyOf" : [
 558                                         {
 559                                                 "type" : "object",
 560                                                 "properties" : {
 561                                                         "generalstr" : {
 562                                                                 "type" : "string",
 563                                                                 "subType" : "universal charstring"
 564                                                         }
 565                                                 },
 566                                                 "additionalProperties" : false,
 567                                                 "required" : [
 568                                                         "generalstr"
 569                                                 ]
 570                                         },
 571                                         {
 572                                                 "type" : "object",
 573                                                 "properties" : {
 574                                                         "numericstr" : {
 575                                                                 "type" : "string",
 576                                                                 "subType" : "charstring"
 577                                                         }
 578                                                 },
 579                                                 "additionalProperties" : false,
 580                                                 "required" : [
 581                                                         "numericstr"
 582                                                 ]
 583                                         },
 584                                         {
 585                                                 "type" : "object",
 586                                                 "properties" : {
 587                                                         "utf8str" : {
 588                                                                 "type" : "string",
 589                                                                 "subType" : "universal charstring"
 590                                                         }
 591                                                 },
 592                                                 "additionalProperties" : false,
 593                                                 "required" : [
 594                                                         "utf8str"
 595                                                 ]
 596                                         },
 597                                         {
 598                                                 "type" : "object",
 599                                                 "properties" : {
 600                                                         "printablestr" : {
 601                                                                 "type" : "string",
 602                                                                 "subType" : "charstring"
 603                                                         }
 604                                                 },
 605                                                 "additionalProperties" : false,
 606                                                 "required" : [
 607                                                         "printablestr"
 608                                                 ]
 609                                         },
 610                                         {
 611                                                 "type" : "object",
 612                                                 "properties" : {
 613                                                         "universalstr" : {
 614                                                                 "type" : "string",
 615                                                                 "subType" : "universal charstring"
 616                                                         }
 617                                                 },
 618                                                 "additionalProperties" : false,
 619                                                 "required" : [
 620                                                         "universalstr"
 621                                                 ]
 622                                         },
 623                                         {
 624                                                 "type" : "object",
 625                                                 "properties" : {
 626                                                         "bmpstr" : {
 627                                                                 "type" : "string",
 628                                                                 "subType" : "universal charstring"
 629                                                         }
 630                                                 },
 631                                                 "additionalProperties" : false,
 632                                                 "required" : [
 633                                                         "bmpstr"
 634                                                 ]
 635                                         },
 636                                         {
 637                                                 "type" : "object",
 638                                                 "properties" : {
 639                                                         "graphicstr" : {
 640                                                                 "type" : "string",
 641                                                                 "subType" : "universal charstring"
 642                                                         }
 643                                                 },
 644                                                 "additionalProperties" : false,
 645                                                 "required" : [
 646                                                         "graphicstr"
 647                                                 ]
 648                                         },
 649                                         {
 650                                                 "type" : "object",
 651                                                 "properties" : {
 652                                                         "ia5str" : {
 653                                                                 "type" : "string",
 654                                                                 "subType" : "charstring"
 655                                                         }
 656                                                 },
 657                                                 "additionalProperties" : false,
 658                                                 "required" : [
 659                                                         "ia5str"
 660                                                 ]
 661                                         },
 662                                         {
 663                                                 "type" : "object",
 664                                                 "properties" : {
 665                                                         "teletexstr" : {
 666                                                                 "type" : "string",
 667                                                                 "subType" : "universal charstring"
 668                                                         }
 669                                                 },
 670                                                 "additionalProperties" : false,
 671                                                 "required" : [
 672                                                         "teletexstr"
 673                                                 ]
 674                                         },
 675                                         {
 676                                                 "type" : "object",
 677                                                 "properties" : {
 678                                                         "videotexstr" : {
 679                                                                 "type" : "string",
 680                                                                 "subType" : "universal charstring"
 681                                                         }
 682                                                 },
 683                                                 "additionalProperties" : false,
 684                                                 "required" : [
 685                                                         "videotexstr"
 686                                                 ]
 687                                         },
 688                                         {
 689                                                 "type" : "object",
 690                                                 "properties" : {
 691                                                         "visiblestr" : {
 692                                                                 "type" : "string",
 693                                                                 "subType" : "charstring"
 694                                                         }
 695                                                 },
 696                                                 "additionalProperties" : false,
 697                                                 "required" : [
 698                                                         "visiblestr"
 699                                                 ]
 700                                         }
 701                                 ]
 702                         },
 703                         "ManyStrings" : {
 704                                 "type" : "array",
 705                                 "subType" : "record of",
 706                                 "items" : {
 707                                         "$ref" : "#/definitions/Zero/AnyString"
 708                                 }
 709                         },
 710                         "Big_Set" : {
 711                                 "type" : "object",
 712                                 "subType" : "set",
 713                                 "properties" : {
 714                                         "product" : {
 715                                                 "$ref" : "#/definitions/Zero/SeqProduct"
 716                                         },
 717                                         "numbers" : {
 718                                                 "type" : "array",
 719                                                 "subType" : "set of",
 720                                                 "items" : {
 721                                                         "$ref" : "#/definitions/Zero/Number"
 722                                                 }
 723                                         },
 724                                         "strings" : {
 725                                                 "$ref" : "#/definitions/Zero/ManyStrings"
 726                                         },
 727                                         "color" : {
 728                                                 "enum" : [
 729                                                         "red",
 730                                                         "blue",
 731                                                         "green",
 732                                                         "yellow"
 733                                                 ],
 734                                                 "numericValues" : [
 735                                                         0,
 736                                                         1,
 737                                                         2,
 738                                                         3
 739                                                 ]
 740                                         }
 741                                 },
 742                                 "additionalProperties" : false,
 743                                 "fieldOrder" : [
 744                                         "product",
 745                                         "numbers",
 746                                         "strings",
 747                                         "color"
 748                                 ],
 749                                 "required" : [
 750                                         "product",
 751                                         "numbers",
 752                                         "strings",
 753                                         "color"
 754                                 ]
 755                         },
 756                         "Big_Choice" : {
 757                                 "anyOf" : [
 758                                         {
 759                                                 "type" : "object",
 760                                                 "properties" : {
 761                                                         "numbers" : {
 762                                                                 "type" : "array",
 763                                                                 "subType" : "set of",
 764                                                                 "items" : {
 765                                                                         "$ref" : "#/definitions/Zero/Number"
 766                                                                 }
 767                                                         }
 768                                                 },
 769                                                 "additionalProperties" : false,
 770                                                 "required" : [
 771                                                         "numbers"
 772                                                 ]
 773                                         },
 774                                         {
 775                                                 "type" : "object",
 776                                                 "properties" : {
 777                                                         "strings" : {
 778                                                                 "$ref" : "#/definitions/Zero/ManyStrings"
 779                                                         }
 780                                                 },
 781                                                 "additionalProperties" : false,
 782                                                 "required" : [
 783                                                         "strings"
 784                                                 ]
 785                                         }
 786                                 ]
 787                         },
 788                         "Season" : {
 789                                 "enum" : [
 790                                         "spring",
 791                                         "summer",
 792                                         "fall",
 793                                         "winter"
 794                                 ],
 795                                 "numericValues" : [
 796                                         1,
 797                                         2,
 798                                         3,
 799                                         4
 800                                 ]
 801                         },
 802                         "SelectionType" : {
 803                                 "type" : "array",
 804                                 "subType" : "set of",
 805                                 "items" : {
 806                                         "$ref" : "#/definitions/Zero/Number"
 807                                 }
 808                         },
 809                         "NullType" : {
 810                                 "type" : "null"
 811                         },
 812                         "ObjIdType" : {
 813                                 "type" : "string",
 814                                 "subType" : "objid",
 815                                 "pattern" : "^[0-2][.][1-3]?[0-9]([.][0-9]|([1-9][0-9]+))*$"
 816                         },
 817                         "RelObjIdType" : {
 818                                 "type" : "string",
 819                                 "subType" : "objid",
 820                                 "pattern" : "^[0-2][.][1-3]?[0-9]([.][0-9]|([1-9][0-9]+))*$"
 821                         }
 822                 }
 823         },
 824         "anyOf" : [
 825                 {
 826                         "$ref" : "#/definitions/two/Ints",
 827                         "decoding" : {
 828                                 "prototype" : [
 829                                         "fast",
 830                                         "f_dec_ints",
 831                                         "os",
 832                                         "x"
 833                                 ]
 834                         },
 835                         "encoding" : {
 836                                 "prototype" : [
 837                                         "fast",
 838                                         "f_enc_ints",
 839                                         "eents",
 840                                         "octus"
 841                                 ],
 842                                 "printing" : "pretty"
 843                         }
 844                 },
 845                 {
 846                         "$ref" : "#/definitions/one/Rec",
 847                         "decoding" : {
 848                                 "prototype" : [
 849                                         "convert",
 850                                         "f_dec_rec",
 851                                         "octie"
 852                                 ],
 853                                 "errorBehavior" : {
 854                                         "ALL" : "WARNING",
 855                                         "INVAL_MSG" : "ERROR"
 856                                 }
 857                         },
 858                         "encoding" : {
 859                                 "prototype" : [
 860                                         "convert",
 861                                         "f_enc_rec",
 862                                         "x"
 863                                 ]
 864                         }
 865                 },
 866                 {
 867                         "$ref" : "#/definitions/Zero/Big_Set",
 868                         "decoding" : {
 869                                 "prototype" : [
 870                                         "convert",
 871                                         "f_dec_bigset",
 872                                         "os"
 873                                 ]
 874                         },
 875                         "encoding" : {
 876                                 "prototype" : [
 877                                         "convert",
 878                                         "f_enc_bigset",
 879                                         "x"
 880                                 ]
 881                         }
 882                 }
 883         ]
 884 }