Identifiers and references

Identifier schema

This format defines a very loosely specified schema for external IDs.

Explore

Loading ....

View source

YAML

ethdebug/format/materials/id

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

title: ethdebug/format/materials/id
description: An opaque external ID (likely generated by compiler)

type:
  - number
  - string

examples:
  - 5
  - "five"

JSON

ethdebug/format/materials/id

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "schema:ethdebug/format/materials/id",
  "title": "ethdebug/format/materials/id",
  "description": "An opaque external ID (likely generated by compiler)",
  "type": [
    "number",
    "string"
  ],
  "examples": [
    5,
    "five"
  ]
}

Playground

Loading...

Reference schema

This format defines a schema for referencing external resources by ID.

Explore

Loading ....

View source

YAML

ethdebug/format/materials/reference

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

title: ethdebug/format/materials/reference
description: A reference to an external resource by ID

type: object
properties:
  id:
    $ref: "schema:ethdebug/format/materials/id"

  type:
    enum:
      - compilation
      - source

required: [id]

unevaluatedProperties: false

examples:
  - id: 1

JSON

ethdebug/format/materials/reference

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "schema:ethdebug/format/materials/reference",
  "title": "ethdebug/format/materials/reference",
  "description": "A reference to an external resource by ID",
  "type": "object",
  "properties": {
    "id": {
      "$ref": "schema:ethdebug/format/materials/id"
    },
    "type": {
      "enum": [
        "compilation",
        "source"
      ]
    }
  },
  "required": [
    "id"
  ],
  "unevaluatedProperties": false,
  "examples": [
    {
      "id": 1
    }
  ]
}

Playground

Loading...