7 files changed, 191 insertions, 0 deletions
diff --git a/extension/schema/FileEdit.d.ts b/extension/schema/FileEdit.d.ts
new file mode 100644
index 00000000..b39e3f3f
--- /dev/null
+++ b/extension/schema/FileEdit.d.ts
@@ -0,0 +1,32 @@
+/* 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 FileEdit = FileEdit1;
+export type Filepath = string;
+export type Line = number;
+export type Character = number;
+export type Replacement = string;
+
+export interface FileEdit1 {
+  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;
+}
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;
+}
diff --git a/extension/schema/Position.d.ts b/extension/schema/Position.d.ts
new file mode 100644
index 00000000..c9092edd
--- /dev/null
+++ b/extension/schema/Position.d.ts
@@ -0,0 +1,16 @@
+/* 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 Position = Position1;
+export type Line = number;
+export type Character = number;
+
+export interface Position1 {
+  line: Line;
+  character: Character;
+  [k: string]: unknown;
+}
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;
+}
diff --git a/extension/schema/RangeInFile.d.ts b/extension/schema/RangeInFile.d.ts
new file mode 100644
index 00000000..0dcd3bca
--- /dev/null
+++ b/extension/schema/RangeInFile.d.ts
@@ -0,0 +1,30 @@
+/* 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 RangeInFile = RangeInFile1;
+export type Filepath = string;
+export type Line = number;
+export type Character = number;
+
+export interface RangeInFile1 {
+  filepath: Filepath;
+  range: Range;
+  [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;
+}
diff --git a/extension/schema/Traceback.d.ts b/extension/schema/Traceback.d.ts
new file mode 100644
index 00000000..19bfa3db
--- /dev/null
+++ b/extension/schema/Traceback.d.ts
@@ -0,0 +1,31 @@
+/* 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 Traceback = Traceback1;
+export type Filepath = string;
+export type Lineno = number;
+export type Function = string;
+export type Code = string;
+export type Frames = TracebackFrame[];
+export type Message = string;
+export type ErrorType = string;
+export type FullTraceback = string;
+
+export interface Traceback1 {
+  frames: Frames;
+  message: Message;
+  error_type: ErrorType;
+  full_traceback?: FullTraceback;
+  [k: string]: unknown;
+}
+export interface TracebackFrame {
+  filepath: Filepath;
+  lineno: Lineno;
+  function: Function;
+  code?: Code;
+  [k: string]: unknown;
+}
diff --git a/extension/schema/TracebackFrame.d.ts b/extension/schema/TracebackFrame.d.ts
new file mode 100644
index 00000000..f6861218
--- /dev/null
+++ b/extension/schema/TracebackFrame.d.ts
@@ -0,0 +1,20 @@
+/* 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 TracebackFrame = TracebackFrame1;
+export type Filepath = string;
+export type Lineno = number;
+export type Function = string;
+export type Code = string;
+
+export interface TracebackFrame1 {
+  filepath: Filepath;
+  lineno: Lineno;
+  function: Function;
+  code?: Code;
+  [k: string]: unknown;
+}