diff options
Diffstat (limited to 'schema/json/FileEdit.json')
-rw-r--r-- | schema/json/FileEdit.json | 124 |
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 |