Searched refs:problemID (Results 1 – 11 of 11) sorted by relevance
22 problemID: string; property
25 export const AUTOFIX_ALL: AutofixInfo = { problemID: "", start: -1, end: -1 };41 …value => value.start === node.getStart() && value.end === node.getEnd() && value.problemID === Fau…
673 return { problemID: infos[0], start: Number.parseInt(infos[1]), end: Number.parseInt(infos[2]) };
872 return { problemID: infos[0], start: Number.parseInt(infos[1]), end: Number.parseInt(infos[2]) };
8535 problemID: string; property9037 problemID: string;
12474 problemID: string; property12976 problemID: string;