public async Task LinterOnOff() {
const string code = @"a = x";
var analysis = await GetAnalysisAsync(code);
var a = Services.GetService<IPythonAnalyzer>();
var d = a.LintModule(analysis.Document);
d.Should().HaveCount(1);
var provider = Substitute.For<IAnalysisOptionsProvider>();
Services.AddService(provider);
var ds = Services.GetService<IDiagnosticsService>();
var options = new AnalysisOptions();
provider.Options.Returns(_ => options);
options.LintingEnabled = true;
PublishDiagnostics();
ds.Diagnostics[analysis.Document.Uri].Should().HaveCount(1);
LanguageServer.HandleLintingOnOff(Services, false);
options.LintingEnabled.Should().BeFalse();
PublishDiagnostics();
ds.Diagnostics[analysis.Document.Uri].Should().BeEmpty();
LanguageServer.HandleLintingOnOff(Services, true);
options.LintingEnabled.Should().BeTrue();
PublishDiagnostics();
ds.Diagnostics[analysis.Document.Uri].Should().HaveCount(1);
}
