Class ServerContextDocumentClosedEvent

java.lang.Object
java.util.EventObject
org.springframework.context.ApplicationEvent
com.github._1c_syntax.bsl.languageserver.context.events.ServerContextDocumentClosedEvent
All Implemented Interfaces:
Serializable
public class ServerContextDocumentClosedEvent extends ApplicationEvent
Событие, публикуемое при закрытии документа в контексте сервера.

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

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

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

See Also:

  • Constructor Details

    • ServerContextDocumentClosedEvent

      public ServerContextDocumentClosedEvent(ServerContext source, DocumentContext documentContext)
      Создает новое событие закрытия документа в контексте сервера.
      Parameters:
      source - контекст сервера, в котором был закрыт документ
      documentContext - закрытый документ

  • Method Details