summaryrefslogtreecommitdiff
path: root/schema/json/FileEdit.json
diff options
context:
space:
mode:
Diffstat (limited to 'schema/json/FileEdit.json')
-rw-r--r--schema/json/FileEdit.json124
1 files changed, 62 insertions, 62 deletions
diff --git a/schema/json/FileEdit.json b/schema/json/FileEdit.json
index 011e0462..4247c096 100644
--- a/schema/json/FileEdit.json
+++ b/schema/json/FileEdit.json
@@ -1,63 +1,63 @@
-{
- "title": "FileEdit",
- "$ref": "#/definitions/src__continuedev__models__filesystem_edit__FileEdit",
- "definitions": {
- "Position": {
- "title": "Position",
- "type": "object",
- "properties": {
- "line": {
- "title": "Line",
- "type": "integer"
- },
- "character": {
- "title": "Character",
- "type": "integer"
- }
- },
- "required": [
- "line",
- "character"
- ]
- },
- "Range": {
- "title": "Range",
- "description": "A range in a file. 0-indexed.",
- "type": "object",
- "properties": {
- "start": {
- "$ref": "#/definitions/Position"
- },
- "end": {
- "$ref": "#/definitions/Position"
- }
- },
- "required": [
- "start",
- "end"
- ]
- },
- "src__continuedev__models__filesystem_edit__FileEdit": {
- "title": "FileEdit",
- "type": "object",
- "properties": {
- "filepath": {
- "title": "Filepath",
- "type": "string"
- },
- "range": {
- "$ref": "#/definitions/Range"
- },
- "replacement": {
- "title": "Replacement",
- "type": "string"
- }
- },
- "required": [
- "filepath",
- "range",
- "replacement"
- ]
- }
- }
+{
+ "title": "FileEdit",
+ "$ref": "#/definitions/src__continuedev__models__filesystem_edit__FileEdit",
+ "definitions": {
+ "Position": {
+ "title": "Position",
+ "type": "object",
+ "properties": {
+ "line": {
+ "title": "Line",
+ "type": "integer"
+ },
+ "character": {
+ "title": "Character",
+ "type": "integer"
+ }
+ },
+ "required": [
+ "line",
+ "character"
+ ]
+ },
+ "Range": {
+ "title": "Range",
+ "description": "A range in a file. 0-indexed.",
+ "type": "object",
+ "properties": {
+ "start": {
+ "$ref": "#/definitions/Position"
+ },
+ "end": {
+ "$ref": "#/definitions/Position"
+ }
+ },
+ "required": [
+ "start",
+ "end"
+ ]
+ },
+ "src__continuedev__models__filesystem_edit__FileEdit": {
+ "title": "FileEdit",
+ "type": "object",
+ "properties": {
+ "filepath": {
+ "title": "Filepath",
+ "type": "string"
+ },
+ "range": {
+ "$ref": "#/definitions/Range"
+ },
+ "replacement": {
+ "title": "Replacement",
+ "type": "string"
+ }
+ },
+ "required": [
+ "filepath",
+ "range",
+ "replacement"
+ ]
+ }
+ }
} \ No newline at end of file