Class AbstractDocumentLifecycleClearableIndex

java.lang.Object

com.github._1c_syntax.bsl.languageserver.index.AbstractDocumentLifecycleClearableIndex

Direct Known Subclasses:

AssignmentByReceiverIndex, CallStatementByReceiverIndex, ControlFlowGraphIndex, EventContractsIndex, GuardConditionNarrowing, InferredExpressionTypeIndex, MethodReturnTypeIndexer, PropertyMethodCallIndex, VariableFlowAnalyzer, WorkspaceSymbolIndex

public abstract class AbstractDocumentLifecycleClearableIndex
extends Object

База для per-URI индексов, чьи записи привязаны к одному документу и должны сбрасываться на событиях его жизненного цикла.

Содержит общие @EventListener-обработчики, сбрасывающие индекс по URI на:

• изменение содержимого — DocumentContextContentChangedEvent;
• освобождение вторичных данных (batch-анализ выбрасывает AST после каждого файла) — ServerContextDocumentClearedEvent;
• закрытие документа — ServerContextDocumentClosedEvent;
• удаление документа/файла — ServerContextDocumentRemovedEvent.

Spring наследует @EventListener в конкретных подклассах-бинах, поэтому наследникам достаточно реализовать clear(URI). Сама база бином не является.

Constructor Summary

Constructors

Constructor	Description
AbstractDocumentLifecycleClearableIndex()

Method Summary

Modifier and Type	Method	Description
abstract void	clear(URI uri)	Удалить записи индекса, относящиеся к данному URI документа.
void	handleContentChanged(DocumentContextContentChangedEvent event)
void	handleDataCleared(ServerContextDocumentClearedEvent event)
void	handleDocumentClosed(ServerContextDocumentClosedEvent event)
void	handleDocumentRemoved(ServerContextDocumentRemovedEvent event)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AbstractDocumentLifecycleClearableIndex

public AbstractDocumentLifecycleClearableIndex()

Method Details

clear

public abstract void clear(URI uri)

Удалить записи индекса, относящиеся к данному URI документа.

Parameters:

uri - URI документа.

handleContentChanged

@EventListener
public void handleContentChanged(DocumentContextContentChangedEvent event)

handleDataCleared

@EventListener
public void handleDataCleared(ServerContextDocumentClearedEvent event)

handleDocumentClosed

@EventListener
public void handleDocumentClosed(ServerContextDocumentClosedEvent event)

handleDocumentRemoved

@EventListener
public void handleDocumentRemoved(ServerContextDocumentRemovedEvent event)