Region schema

Explore
View source
Playground

Loading ....

YAML
JSON

ethdebug/format/pointer/region
$schema: "https://json-schema.org/draft/2020-12/schema"
$id: "schema:ethdebug/format/pointer/region"

title: ethdebug/format/pointer/region
description: |
  A representation of a region of data in the EVM
type: object

properties:
  location:
    $ref: "#/$defs/Location"


allOf:
  - if:
      properties:
        location:
          const: stack

    then:
      $ref: "schema:ethdebug/format/pointer/region/stack"

  - if:
      properties:
        location:
          const: memory

    then:
      $ref: "schema:ethdebug/format/pointer/region/memory"

  - if:
      properties:
        location:
          const: storage
    then:
      $ref: "schema:ethdebug/format/pointer/region/storage"

  - if:
      properties:
        location:
          const: calldata
    then:
      $ref: "schema:ethdebug/format/pointer/region/calldata"

  - if:
      properties:
        location:
          const: returndata
    then:
      $ref: "schema:ethdebug/format/pointer/region/returndata"

  - if:
      properties:
        location:
          const: transient
    then:
      $ref: "schema:ethdebug/format/pointer/region/transient"

  - if:
      properties:
        location:
          const: code
    then:
      $ref: "schema:ethdebug/format/pointer/region/code"

$defs:
  Location:
    type: string
    enum:
      - stack
      - memory
      - storage
      - calldata
      - returndata
      - transient
      - code

unevaluatedProperties: false

examples:
  - location: storage
    slot: "0x0000000000000000000000000000000000000000000000000000000000000000"

ethdebug/format/pointer/region
{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "schema:ethdebug/format/pointer/region",
  "title": "ethdebug/format/pointer/region",
  "description": "A representation of a region of data in the EVM\n",
  "type": "object",
  "properties": {
    "location": {
      "$ref": "#/$defs/Location"
    }
  },
  "allOf": [
    {
      "if": {
        "properties": {
          "location": {
            "const": "stack"
          }
        }
      },
      "then": {
        "$ref": "schema:ethdebug/format/pointer/region/stack"
      }
    },
    {
      "if": {
        "properties": {
          "location": {
            "const": "memory"
          }
        }
      },
      "then": {
        "$ref": "schema:ethdebug/format/pointer/region/memory"
      }
    },
    {
      "if": {
        "properties": {
          "location": {
            "const": "storage"
          }
        }
      },
      "then": {
        "$ref": "schema:ethdebug/format/pointer/region/storage"
      }
    },
    {
      "if": {
        "properties": {
          "location": {
            "const": "calldata"
          }
        }
      },
      "then": {
        "$ref": "schema:ethdebug/format/pointer/region/calldata"
      }
    },
    {
      "if": {
        "properties": {
          "location": {
            "const": "returndata"
          }
        }
      },
      "then": {
        "$ref": "schema:ethdebug/format/pointer/region/returndata"
      }
    },
    {
      "if": {
        "properties": {
          "location": {
            "const": "transient"
          }
        }
      },
      "then": {
        "$ref": "schema:ethdebug/format/pointer/region/transient"
      }
    },
    {
      "if": {
        "properties": {
          "location": {
            "const": "code"
          }
        }
      },
      "then": {
        "$ref": "schema:ethdebug/format/pointer/region/code"
      }
    }
  ],
  "$defs": {
    "Location": {
      "type": "string",
      "enum": [
        "stack",
        "memory",
        "storage",
        "calldata",
        "returndata",
        "transient",
        "code"
      ]
    }
  },
  "unevaluatedProperties": false,
  "examples": [
    {
      "location": "storage",
      "slot": "0x0000000000000000000000000000000000000000000000000000000000000000"
    }
  ]
}