Frame contexts

Explore
View source
Playground

Loading ....

YAML
JSON

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

title: ethdebug/format/program/context/frame
description: |
  A context may specify a `"frame"` property to indicate that its facts apply
  only to one of several possible compilation frames, e.g. for compilers with
  distinct frontend/backends to specify debugging data for the IR separately
  from the debugging data for the source language.
type: object
properties:
  frame:
    title: Relevant compilation frame
    type: string
required:
  - frame

examples:
  - frame: "ir"
  - frame: "source"

ethdebug/format/program/context/frame
{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "schema:ethdebug/format/program/context/frame",
  "title": "ethdebug/format/program/context/frame",
  "description": "A context may specify a `\"frame\"` property to indicate that its facts apply\nonly to one of several possible compilation frames, e.g. for compilers with\ndistinct frontend/backends to specify debugging data for the IR separately\nfrom the debugging data for the source language.\n",
  "type": "object",
  "properties": {
    "frame": {
      "title": "Relevant compilation frame",
      "type": "string"
    }
  },
  "required": [
    "frame"
  ],
  "examples": [
    {
      "frame": "ir"
    },
    {
      "frame": "source"
    }
  ]
}