blob: 5e404679d2b1f3686e08ff78ae9275dae72682a3 [file] [log] [blame] [raw]
export type Link = {
text: string;
url: string;
};
export type Fix = {
title: string;
edits: MessageWithLocation[];
};
export type MessageWithLocation = {
line?: number;
column?: number;
file?: string;
text: string;
endline?: number;
endcolumn?: number;
};
export type ResultLineTag = MessageWithLocation & {
severity: number;
link?: Link;
flow?: MessageWithLocation[];
fixes?: Fix[];
};
export type ResultLineSource = {
file: string | null;
line: number;
mainsource?: boolean;
};
export type ResultLine = {
text: string;
tag?: ResultLineTag;
source?: ResultLineSource;
line?: number; // todo: this should not exist
};