1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
import { setDiagnosticsEffect } from '@codemirror/lint';
import {
StateField,
RangeSet,
type Extension,
type EditorState,
} from '@codemirror/state';
import DiagnosticValue, { type Severity } from './DiagnosticValue';
type SeverityCounts = Partial<Record<Severity, number>>;
interface ExposedDiagnostics {
readonly diagnostics: RangeSet<DiagnosticValue>;
readonly severityCounts: SeverityCounts;
}
function countSeverities(
diagnostics: RangeSet<DiagnosticValue>,
): SeverityCounts {
const severityCounts: SeverityCounts = {};
const iter = diagnostics.iter();
while (iter.value !== null) {
const {
value: { severity },
} = iter;
severityCounts[severity] = (severityCounts[severity] ?? 0) + 1;
iter.next();
}
return severityCounts;
}
const exposedDiagnosticsState = StateField.define<ExposedDiagnostics>({
create() {
return {
diagnostics: RangeSet.of([]),
severityCounts: {},
};
},
update({ diagnostics: diagnosticsSet, severityCounts }, transaction) {
let newDiagnosticsSet = diagnosticsSet;
if (transaction.docChanged) {
newDiagnosticsSet = newDiagnosticsSet.map(transaction.changes);
}
transaction.effects.forEach((effect) => {
if (effect.is(setDiagnosticsEffect)) {
const diagnostics = effect.value.map(({ severity, from, to }) =>
DiagnosticValue.VALUES[severity].range(from, to),
);
diagnostics.sort(({ from: a }, { from: b }) => a - b);
newDiagnosticsSet = RangeSet.of(diagnostics);
}
});
return {
diagnostics: newDiagnosticsSet,
severityCounts:
// Only recompute if the diagnostics were changed.
diagnosticsSet === newDiagnosticsSet
? severityCounts
: countSeverities(newDiagnosticsSet),
};
},
});
const exposeDiagnostics: Extension = [exposedDiagnosticsState];
export default exposeDiagnostics;
export function getDiagnostics(state: EditorState): RangeSet<DiagnosticValue> {
return state.field(exposedDiagnosticsState).diagnostics;
}
export function countDiagnostics(
state: EditorState,
severity: Severity,
): number {
return state.field(exposedDiagnosticsState).severityCounts[severity] ?? 0;
}
|
