Update ewn-schema.json

This commit is contained in:
2026-06-22 15:05:15 +02:00
parent 445fb05d24
commit 64b480743f
+32 -32
View File
@@ -1,33 +1,33 @@
{ {
"$schema": "https://json-schema.org/draft/2020-12/schema", "$schema": "https://json-schema.org/draft/2020-12/schema",
"$id": "https://santeriloitomaa.eu/Santtinen/schemas/raw/branch/main/error-schema.json", "$id": "https://santeriloitomaa.eu/Santtinen/schemas/raw/branch/main/ewn-schema.json",
"title": "Error/Warning/Note list", "title": "Error/Warning/Note list",
"description": "A list of Errors, Warnings, and Notes", "description": "A list of Errors, Warnings, and Notes",
"type": "object", "type": "object",
"patternProperties": { "patternProperties": {
"": { "": {
"type": "object", "type": "object",
"description": "An error/warning/note. The name of the object is used as the unique code for this specific error/warning/note.", "description": "An error/warning/note. The name of the object is used as the unique code for this specific error/warning/note.",
"properties": { "properties": {
"type" : { "type" : {
"type": "string", "type": "string",
"description": "The type this Error/Warning/Note is", "description": "The type this Error/Warning/Note is",
"enum": ["Error", "Warning", "Note"] "enum": ["Error", "Warning", "Note"]
}, },
"desc": { "desc": {
"type": "string", "type": "string",
"description": "Description of the error/warning/note given to the user. Why is this here? What needs to be fixed?" "description": "Description of the error/warning/note given to the user. Why is this here? What needs to be fixed?"
}, },
"weight": { "weight": {
"type": "integer", "type": "integer",
"description": "The \"weight\" of the error/warning/note. How heavy is its impact on the validity of the output." "description": "The \"weight\" of the error/warning/note. How heavy is its impact on the validity of the output."
} }
}, },
"required": [ "required": [
"type", "type",
"desc", "desc",
"weight" "weight"
] ]
} }
} }
} }