Class DiagnosticInfoRefresher
java.lang.Object
com.github._1c_syntax.bsl.languageserver.diagnostics.infrastructure.DiagnosticInfoRefresher
Component that listens to configuration changes and refreshes DiagnosticInfo instances.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidHandles configuration change events by refreshing diagnostic info instances for the workspace whose configuration changed.
-
Constructor Details
-
DiagnosticInfoRefresher
@ConstructorProperties("diagnosticInfos") public DiagnosticInfoRefresher(DiagnosticInfos diagnosticInfos)
-
-
Method Details
-
handleConfigurationChanged
@EventListener public void handleConfigurationChanged(LanguageServerConfigurationChangedEvent event) Handles configuration change events by refreshing diagnostic info instances for the workspace whose configuration changed.The event is published synchronously from LanguageServerConfiguration.update(), so the workspace ThreadLocal is already set — the proxy resolves to the correct instance.
- Parameters:
event- the configuration change event
-