Schema

Explore
View source
Playground

Loading ....

YAML
JSON

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

title: ethdebug/format/program/context
description: |
  A schema for representing the information known at compile-time about the
  high-level language concerns at a particular point in code execution.

type: object

anyOf:
  - $ref: "schema:ethdebug/format/program/context/code"
  - $ref: "schema:ethdebug/format/program/context/variables"

minProperties: 1
unevaluatedProperties: false

examples:
  - variables:
      - identifier: x
        declaration:
          source:
            id: 5
          range:
            offset: 10
            length: 56
        type:
          kind: string
        pointer:
          location: storage
          slot: 0
    code:
      source:
        id: 5
      range:
        offset: 68
        length: 16

ethdebug/format/program/context
{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "schema:ethdebug/format/program/context",
  "title": "ethdebug/format/program/context",
  "description": "A schema for representing the information known at compile-time about the\nhigh-level language concerns at a particular point in code execution.\n",
  "type": "object",
  "anyOf": [
    {
      "$ref": "schema:ethdebug/format/program/context/code"
    },
    {
      "$ref": "schema:ethdebug/format/program/context/variables"
    }
  ],
  "minProperties": 1,
  "unevaluatedProperties": false,
  "examples": [
    {
      "variables": [
        {
          "identifier": "x",
          "declaration": {
            "source": {
              "id": 5
            },
            "range": {
              "offset": 10,
              "length": 56
            }
          },
          "type": {
            "kind": "string"
          },
          "pointer": {
            "location": "storage",
            "slot": 0
          }
        }
      ],
      "code": {
        "source": {
          "id": 5
        },
        "range": {
          "offset": 68,
          "length": 16
        }
      }
    }
  ]
}