diff options
Diffstat (limited to 'extension/schema/FileEdit.d.ts')
-rw-r--r-- | extension/schema/FileEdit.d.ts | 32 |
1 files changed, 32 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; +} |