clear method
void
clear()
Clears the current diagnostics without changing the source text.
Implementation
void clear() {
if (_disposed || _value.isEmpty) return;
_lastText = _text.value;
_value = const [];
notifyListeners();
}