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

---
 extension/schema/FileEditWithFullContents.d.ts | 38 ++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 extension/schema/FileEditWithFullContents.d.ts

(limited to 'extension/schema/FileEditWithFullContents.d.ts')

diff --git a/extension/schema/FileEditWithFullContents.d.ts b/extension/schema/FileEditWithFullContents.d.ts
new file mode 100644
index 00000000..b96cdd3c
--- /dev/null
+++ b/extension/schema/FileEditWithFullContents.d.ts
@@ -0,0 +1,38 @@
+/* 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 FileEditWithFullContents = FileEditWithFullContents1;
+export type Filepath = string;
+export type Line = number;
+export type Character = number;
+export type Replacement = string;
+export type Filecontents = string;
+
+export interface FileEditWithFullContents1 {
+  fileEdit: FileEdit;
+  fileContents: Filecontents;
+  [k: string]: unknown;
+}
+export interface FileEdit {
+  filepath: Filepath;
+  range: Range;
+  replacement: Replacement;
+  [k: string]: unknown;
+}
+/**
+ * A range in a file. 0-indexed.
+ */
+export interface Range {
+  start: Position;
+  end: Position;
+  [k: string]: unknown;
+}
+export interface Position {
+  line: Line;
+  character: Character;
+  [k: string]: unknown;
+}
-- 
cgit v1.2.3-70-g09d2