remove secondary codegen

This commit is contained in:
Dax Raad
2025-05-29 11:32:55 -04:00
parent 42c1cd6a85
commit 6f604bd0f9
14 changed files with 512 additions and 246 deletions

View File

@@ -6,6 +6,25 @@
"version": "1.0.0"
},
"paths": {
"/event": {
"get": {
"responses": {
"200": {
"description": "Event stream",
"content": {
"application/json": {
"schema": {
"$ref": "#/components/schemas/Event"
}
}
}
}
},
"operationId": "getEvent",
"parameters": [],
"description": "Get events"
}
},
"/session_create": {
"post": {
"responses": {
@@ -250,6 +269,136 @@
},
"components": {
"schemas": {
"Event": {
"oneOf": [
{
"$ref": "#/components/schemas/Event.storage.write"
},
{
"$ref": "#/components/schemas/Event.lsp.client.diagnostics"
},
{
"$ref": "#/components/schemas/Event.message.updated"
},
{
"$ref": "#/components/schemas/Event.session.updated"
}
],
"discriminator": {
"propertyName": "type",
"mapping": {
"storage.write": "#/components/schemas/Event.storage.write",
"lsp.client.diagnostics": "#/components/schemas/Event.lsp.client.diagnostics",
"message.updated": "#/components/schemas/Event.message.updated",
"session.updated": "#/components/schemas/Event.session.updated"
}
}
},
"Event.storage.write": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "storage.write"
},
"properties": {
"type": "object",
"properties": {
"key": {
"type": "string"
},
"content": {}
},
"required": [
"key"
]
}
},
"required": [
"type",
"properties"
]
},
"Event.lsp.client.diagnostics": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "lsp.client.diagnostics"
},
"properties": {
"type": "object",
"properties": {
"serverID": {
"type": "string"
},
"path": {
"type": "string"
}
},
"required": [
"serverID",
"path"
]
}
},
"required": [
"type",
"properties"
]
},
"Event.message.updated": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "message.updated"
},
"properties": {
"type": "object",
"properties": {
"sessionID": {
"type": "string"
},
"messageID": {
"type": "string"
}
},
"required": [
"sessionID",
"messageID"
]
}
},
"required": [
"type",
"properties"
]
},
"Event.session.updated": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "session.updated"
},
"properties": {
"type": "object",
"properties": {
"sessionID": {
"type": "string"
}
},
"required": [
"sessionID"
]
}
},
"required": [
"type",
"properties"
]
},
"Session.Info": {
"type": "object",
"properties": {