{
"type": "object",
"properties": {
"offset": {
"type": "integer",
"minimum": 0,
"default": 0,
"description": "Zero-based character offset at which to start reading."
},
"limit": {
"type": "integer",
"minimum": 1,
"maximum": 12000,
"default": 1500,
"description": "Maximum number of characters to return."
}
},
"additionalProperties": false
}{
"type": "object",
"properties": {
"code": {
"type": "string",
"description": "Complete Sema source to place in the editor."
}
},
"additionalProperties": false,
"required": [
"code"
]
}{
"type": "object",
"properties": {},
"additionalProperties": false
}{
"type": "object",
"properties": {},
"additionalProperties": false
}{
"type": "object",
"properties": {},
"additionalProperties": false
}{
"type": "object",
"properties": {
"offset": {
"type": "integer",
"minimum": 0,
"default": 0,
"description": "Zero-based character offset at which to start reading."
},
"limit": {
"type": "integer",
"minimum": 1,
"maximum": 12000,
"default": 1500,
"description": "Maximum number of characters to return."
}
},
"additionalProperties": false
}{
"type": "object",
"properties": {
"query": {
"type": "string",
"default": "",
"description": "Case-insensitive text used to filter examples."
},
"limit": {
"type": "integer",
"minimum": 1,
"maximum": 20,
"default": 10,
"description": "Maximum examples to return."
}
},
"additionalProperties": false
}{
"type": "object",
"properties": {
"id": {
"type": "string",
"description": "Example identifier such as getting-started/hello.sema or hello.sema."
}
},
"additionalProperties": false,
"required": [
"id"
]
}{
"type": "object",
"properties": {
"dir": {
"type": "string",
"default": "/",
"description": "Absolute virtual directory path to list."
}
},
"additionalProperties": false
}{
"type": "object",
"properties": {
"path": {
"type": "string",
"description": "Absolute virtual file path to read."
},
"offset": {
"type": "integer",
"minimum": 0,
"default": 0,
"description": "Zero-based character offset at which to start reading."
},
"limit": {
"type": "integer",
"minimum": 1,
"maximum": 12000,
"default": 1500,
"description": "Maximum number of characters to return."
}
},
"additionalProperties": false,
"required": [
"path"
]
}{
"type": "object",
"properties": {
"path": {
"type": "string",
"description": "Absolute virtual file path to create or replace."
},
"content": {
"type": "string",
"maxLength": 1048576,
"description": "UTF-8 text content, limited to 1 MiB."
}
},
"additionalProperties": false,
"required": [
"path",
"content"
]
}{
"type": "object",
"properties": {
"lines": {
"type": "array",
"items": {
"type": "integer",
"minimum": 1
},
"uniqueItems": true,
"description": "One-based editor line numbers on which to pause."
}
},
"additionalProperties": false,
"required": [
"lines"
]
}{
"type": "object",
"properties": {},
"additionalProperties": false
}{
"type": "object",
"properties": {},
"additionalProperties": false
}{
"type": "object",
"properties": {
"mode": {
"type": "string",
"enum": [
"into",
"over",
"out"
],
"description": "Debugger stepping mode."
}
},
"additionalProperties": false,
"required": [
"mode"
]
}{
"type": "object",
"properties": {},
"additionalProperties": false
}{
"type": "object",
"properties": {},
"additionalProperties": false
}