diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-08-20 20:02:07 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-08-20 20:02:07 -0700 |
| commit | c98f860460767fe14f8fbf139150b1bd1ee2ff12 (patch) | |
| tree | 6a88fb4aaa733892d9409324f66505c4263c7c19 /schema/json/RangeInFile.json | |
| parent | 84ec574e182ec441e95d13c3543a934e0a036228 (diff) | |
| download | sncontinue-c98f860460767fe14f8fbf139150b1bd1ee2ff12.tar.gz sncontinue-c98f860460767fe14f8fbf139150b1bd1ee2ff12.tar.bz2 sncontinue-c98f860460767fe14f8fbf139150b1bd1ee2ff12.zip | |
feat: :sparkles: saved context groups
Diffstat (limited to 'schema/json/RangeInFile.json')
| -rw-r--r-- | schema/json/RangeInFile.json | 114 |
1 files changed, 57 insertions, 57 deletions
diff --git a/schema/json/RangeInFile.json b/schema/json/RangeInFile.json index 4f6e030d..1f5afaa3 100644 --- a/schema/json/RangeInFile.json +++ b/schema/json/RangeInFile.json @@ -1,58 +1,58 @@ -{
- "title": "RangeInFile",
- "$ref": "#/definitions/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"
- ]
- },
- "src__continuedev__models__filesystem__RangeInFile": {
- "title": "RangeInFile",
- "type": "object",
- "properties": {
- "filepath": {
- "title": "Filepath",
- "type": "string"
- },
- "range": {
- "$ref": "#/definitions/Range"
- }
- },
- "required": [
- "filepath",
- "range"
- ]
- }
- }
+{ + "title": "RangeInFile", + "$ref": "#/definitions/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" + ] + }, + "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 |