Class ServerContextDocumentRemovedEvent

java.lang.Object
java.util.EventObject
org.springframework.context.ApplicationEvent
com.github._1c_syntax.bsl.languageserver.context.events.ServerContextDocumentRemovedEvent
All Implemented Interfaces:
Serializable

public class ServerContextDocumentRemovedEvent extends ApplicationEvent
Событие, публикуемое при удалении документа из контекста сервера.

Событие генерируется контекстом сервера ServerContext при вызове метода ServerContext.removeDocument(URI) и содержит URI удаленного документа.

Подписчики на это событие могут выполнить очистку связанных с документом данных, таких как зарегистрированные ссылки, символы, индексы и другие кэшированные данные.

Событие публикуется после того, как документ был удален из внутреннего хранилища контекста сервера.

See Also:
  • Constructor Details

    • ServerContextDocumentRemovedEvent

      public ServerContextDocumentRemovedEvent(ServerContext source, URI uri)
      Создает новое событие удаления документа из контекста сервера.
      Parameters:
      source - контекст сервера, из которого был удален документ
      uri - URI удаленного документа
  • Method Details