Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F A NEXT C ARITHMETIC / c integer usual conversion definedness

API operation: F A NEXT C ARITHMETIC c integer usual conversion definedness. Use the linked input schema for request fields and the hub documentation for response fields, coverage and limitations.

POST https://detect.halowerk.com/v1/F-A-NEXT-C_ARITHMETIC/c-integer-usual-conversion-definedness

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": [
        "c_arithmetic"
      ],
      "properties": {
        "c_arithmetic": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "claim",
            "expressions",
            "int_bits"
          ],
          "properties": {
            "claim": {
              "type": "number",
              "minimum": -1000000000000,
              "maximum": 1000000000000
            },
            "expressions": {
              "type": "array",
              "maxItems": 512,
              "items": {
                "type": "object",
                "additionalProperties": false,
                "required": [
                  "left",
                  "left_type",
                  "op",
                  "right",
                  "right_type"
                ],
                "properties": {
                  "left": {
                    "type": "number",
                    "minimum": -1000000000000,
                    "maximum": 1000000000000
                  },
                  "left_type": {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "bits",
                      "rank",
                      "signed"
                    ],
                    "properties": {
                      "bits": {
                        "type": "number",
                        "minimum": -1000000000000,
                        "maximum": 1000000000000
                      },
                      "rank": {
                        "type": "number",
                        "minimum": -1000000000000,
                        "maximum": 1000000000000
                      },
                      "signed": {
                        "type": "boolean"
                      }
                    }
                  },
                  "op": {
                    "type": "string",
                    "maxLength": 1024
                  },
                  "right": {
                    "type": "number",
                    "minimum": -1000000000000,
                    "maximum": 1000000000000
                  },
                  "right_type": {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "bits",
                      "rank",
                      "signed"
                    ],
                    "properties": {
                      "bits": {
                        "type": "number",
                        "minimum": -1000000000000,
                        "maximum": 1000000000000
                      },
                      "rank": {
                        "type": "number",
                        "minimum": -1000000000000,
                        "maximum": 1000000000000
                      },
                      "signed": {
                        "type": "boolean"
                      }
                    }
                  }
                }
              }
            },
            "int_bits": {
              "type": "number",
              "minimum": -1000000000000,
              "maximum": 1000000000000
            }
          }
        }
      }
    }
  }
}

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 →