copying from old repo

1 files changed, 24 insertions, 0 deletions

diff --git a/extension/schema/Range.d.ts b/extension/schema/Range.d.ts
new file mode 100644
index 00000000..904ed3fe
--- /dev/null
+++ b/extension/schema/Range.d.ts
@@ -0,0 +1,24 @@
+/* eslint-disable */
+/**
+ * This file was automatically generated by json-schema-to-typescript.
+ * DO NOT MODIFY IT BY HAND. Instead, modify the source JSONSchema file,
+ * and run json-schema-to-typescript to regenerate this file.
+ */
+
+export type Range = Range1;
+export type Line = number;
+export type Character = number;
+
+/**
+ * A range in a file. 0-indexed.
+ */
+export interface Range1 {
+  start: Position;
+  end: Position;
+  [k: string]: unknown;
+}
+export interface Position {
+  line: Line;
+  character: Character;
+  [k: string]: unknown;
+}