From 27ecedb02ef79ce53bf533e016b00462c44541be Mon Sep 17 00:00:00 2001 From: Nate Sesti Date: Tue, 23 May 2023 23:45:12 -0400 Subject: copying from old repo --- extension/schema/RangeInFile.d.ts | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 extension/schema/RangeInFile.d.ts (limited to 'extension/schema/RangeInFile.d.ts') 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; +} -- cgit v1.2.3-70-g09d2