Identifiers and references
Identifier schema
This format defines a very loosely specified schema for external IDs.
- Explore
- View source
- Playground
Loading ....
- YAML
- 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"
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"
]
}
Loading...
Reference schema
This format defines a schema for referencing external resources by ID.
- Explore
- View source
- Playground
Loading ....
- YAML
- 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
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
}
]
}
Loading...