event.json 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960
  1. {
  2. "type": "object",
  3. "$schema": "https://json-schema.org/draft-2020-12/schema",
  4. "definitions": {
  5. "event.storage.write": {
  6. "type": "object",
  7. "properties": {
  8. "key": {
  9. "type": "string"
  10. },
  11. "content": {}
  12. },
  13. "required": [
  14. "key",
  15. "content"
  16. ]
  17. },
  18. "event.lsp.client.diagnostics": {
  19. "type": "object",
  20. "properties": {
  21. "serverID": {
  22. "type": "string"
  23. },
  24. "path": {
  25. "type": "string"
  26. }
  27. },
  28. "required": [
  29. "serverID",
  30. "path"
  31. ]
  32. },
  33. "event.message.updated": {
  34. "type": "object",
  35. "properties": {
  36. "sessionID": {
  37. "type": "string"
  38. },
  39. "messageID": {
  40. "type": "string"
  41. }
  42. },
  43. "required": [
  44. "sessionID",
  45. "messageID"
  46. ]
  47. },
  48. "event.session.updated": {
  49. "type": "object",
  50. "properties": {
  51. "sessionID": {
  52. "type": "string"
  53. }
  54. },
  55. "required": [
  56. "sessionID"
  57. ]
  58. }
  59. }
  60. }