Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F TD2000 DOCUMENTS 14 / webidl2026 overload distinguishing argument conversion dispatch

Resolve a finite valid WebIDL overload set and its observable argument conversion plan from explicit ECMAScript value kinds. Compare the complete typed result SHA256.

POST https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-14/webidl2026-overload-distinguishing-argument-conversion-dispatch

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "additionalProperties": false,
  "required": [
    "artifact"
  ],
  "properties": {
    "artifact": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "webidl"
      ],
      "properties": {
        "webidl": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "data",
            "claim"
          ],
          "properties": {
            "data": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "interfaces",
                "overloads",
                "arguments"
              ],
              "properties": {
                "interfaces": {
                  "type": "array",
                  "items": {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "id",
                      "parent"
                    ],
                    "properties": {
                      "id": {
                        "type": "string",
                        "minLength": 1,
                        "maxLength": 48,
                        "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                      },
                      "parent": {
                        "anyOf": [
                          {
                            "type": "null"
                          },
                          {
                            "type": "string",
                            "minLength": 1,
                            "maxLength": 48,
                            "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                          }
                        ]
                      }
                    }
                  },
                  "minItems": 0,
                  "maxItems": 16
                },
                "overloads": {
                  "type": "array",
                  "items": {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "id",
                      "parameters"
                    ],
                    "properties": {
                      "id": {
                        "type": "string",
                        "minLength": 1,
                        "maxLength": 48,
                        "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                      },
                      "parameters": {
                        "type": "array",
                        "items": {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "kind",
                            "interface",
                            "nullable",
                            "integer_mode"
                          ],
                          "properties": {
                            "kind": {
                              "enum": [
                                "boolean",
                                "double",
                                "long",
                                "unsigned_long",
                                "DOMString",
                                "USVString",
                                "ByteString",
                                "bigint",
                                "object",
                                "interface",
                                "any"
                              ]
                            },
                            "interface": {
                              "anyOf": [
                                {
                                  "type": "null"
                                },
                                {
                                  "type": "string",
                                  "minLength": 1,
                                  "maxLength": 48,
                                  "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                                }
                              ]
                            },
                            "nullable": {
                              "type": "boolean"
                            },
                            "integer_mode": {
                              "enum": [
                                "default",
                                "enforce_range",
                                "clamp"
                              ]
                            }
                          }
                        },
                        "minItems": 0,
                        "maxItems": 8
                      }
                    }
                  },
                  "minItems": 1,
                  "maxItems": 16
                },
                "arguments": {
                  "type": "array",
                  "items": {
                    "anyOf": [
                      {
                        "$ref": "#/properties/artifact/%24defs/a"
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "kind",
                          "id",
                          "platform_interface",
                          "to_string",
                          "to_number"
                        ],
                        "properties": {
                          "kind": {
                            "enum": [
                              "object"
                            ]
                          },
                          "id": {
                            "type": "string",
                            "minLength": 1,
                            "maxLength": 48,
                            "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                          },
                          "platform_interface": {
                            "anyOf": [
                              {
                                "type": "null"
                              },
                              {
                                "type": "string",
                                "minLength": 1,
                                "maxLength": 48,
                                "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                              }
                            ]
                          },
                          "to_string": {
                            "$ref": "#/properties/artifact/%24defs/b"
                          },
                          "to_number": {
                            "$ref": "#/properties/artifact/%24defs/b"
                          }
                        }
                      }
                    ]
                  },
                  "minItems": 0,
                  "maxItems": 16
                }
              }
            },
            "claim": {
              "anyOf": [
                {
                  "type": "null"
                },
                {
                  "type": "string",
                  "minLength": 64,
                  "maxLength": 64,
                  "pattern": "^[0-9a-f]{64}$"
                }
              ]
            }
          }
        }
      },
      "$defs": {
        "a": {
          "anyOf": [
            {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "kind"
              ],
              "properties": {
                "kind": {
                  "enum": [
                    "undefined",
                    "null"
                  ]
                }
              }
            },
            {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "kind",
                "value"
              ],
              "properties": {
                "kind": {
                  "enum": [
                    "boolean"
                  ]
                },
                "value": {
                  "type": "boolean"
                }
              }
            },
            {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "kind",
                "value"
              ],
              "properties": {
                "kind": {
                  "enum": [
                    "string"
                  ]
                },
                "value": {
                  "type": "string",
                  "minLength": 0,
                  "maxLength": 1024
                }
              }
            },
            {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "kind",
                "value"
              ],
              "properties": {
                "kind": {
                  "enum": [
                    "number"
                  ]
                },
                "value": {
                  "type": "string",
                  "minLength": 1,
                  "maxLength": 64,
                  "pattern": "^(?:NaN|-?Infinity|-?(?:0|[1-9][0-9]*)(?:\\.[0-9]+)?(?:[eE][+-]?[0-9]+)?)$"
                }
              }
            },
            {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "kind",
                "value"
              ],
              "properties": {
                "kind": {
                  "enum": [
                    "bigint"
                  ]
                },
                "value": {
                  "type": "string",
                  "minLength": 1,
                  "maxLength": 128,
                  "pattern": "^-?(?:0|[1-9][0-9]*)$"
                }
              }
            }
          ]
        },
        "b": {
          "anyOf": [
            {
              "$ref": "#/properties/artifact/%24defs/c"
            },
            {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "kind",
                "error"
              ],
              "properties": {
                "kind": {
                  "enum": [
                    "throw"
                  ]
                },
                "error": {
                  "type": "string",
                  "minLength": 1,
                  "maxLength": 64
                }
              }
            }
          ]
        },
        "c": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "kind",
            "value"
          ],
          "properties": {
            "kind": {
              "enum": [
                "return"
              ]
            },
            "value": {
              "$ref": "#/properties/artifact/%24defs/a"
            }
          }
        }
      }
    }
  }
}

Originalschema öffnen

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-01, 15:19 UTC.

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →