From f53768612b1e2268697b5444e502032ef9f3fb3c Mon Sep 17 00:00:00 2001
From: Nate Sesti <sestinj@gmail.com>
Date: Tue, 23 May 2023 23:45:12 -0400
Subject: copying from old repo

---
 schema/json/Range.json | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 schema/json/Range.json

(limited to 'schema/json/Range.json')

diff --git a/schema/json/Range.json b/schema/json/Range.json
new file mode 100644
index 00000000..52953837
--- /dev/null
+++ b/schema/json/Range.json
@@ -0,0 +1,41 @@
+{
+  "title": "Range",
+  "$ref": "#/definitions/continuedev__src__continuedev__models__main__Range",
+  "definitions": {
+    "Position": {
+      "title": "Position",
+      "type": "object",
+      "properties": {
+        "line": {
+          "title": "Line",
+          "type": "integer"
+        },
+        "character": {
+          "title": "Character",
+          "type": "integer"
+        }
+      },
+      "required": [
+        "line",
+        "character"
+      ]
+    },
+    "continuedev__src__continuedev__models__main__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"
+      ]
+    }
+  }
+}
\ No newline at end of file
-- 
cgit v1.2.3-70-g09d2