| 1 | import { Diagnostic } from './diagnostics';
|
| 2 | export default class DiagnosticList {
|
| 3 | diagnostics: Diagnostic[];
|
| 4 | fatalError: boolean;
|
| 5 | constructor(diagnostics?: Diagnostic[]);
|
| 6 | extend(otherDiagnosticList: DiagnosticList): void;
|
| 7 | push(diagnostic: Diagnostic): void;
|
| 8 | pushMessage(text: string): void;
|
| 9 | pushWarning(text: string): void;
|
| 10 | pushError(text: string): void;
|
| 11 | pushFatalError(text: string): void;
|
| 12 | }
|