diff options
Diffstat (limited to 'schema/json/RangeInFile.json')
-rw-r--r-- | schema/json/RangeInFile.json | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/schema/json/RangeInFile.json b/schema/json/RangeInFile.json new file mode 100644 index 00000000..022ca1a8 --- /dev/null +++ b/schema/json/RangeInFile.json @@ -0,0 +1,58 @@ +{ + "title": "RangeInFile", + "$ref": "#/definitions/continuedev__src__continuedev__models__filesystem__RangeInFile", + "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" + ] + }, + "continuedev__src__continuedev__models__filesystem__RangeInFile": { + "title": "RangeInFile", + "type": "object", + "properties": { + "filepath": { + "title": "Filepath", + "type": "string" + }, + "range": { + "$ref": "#/definitions/Range" + } + }, + "required": [ + "filepath", + "range" + ] + } + } +}
\ No newline at end of file |