Package com.github._1c_syntax.bsl.languageserver.context

Class ServerContext

java.lang.Object

com.github._1c_syntax.bsl.languageserver.context.ServerContext

@Component
public class ServerContext
extends Object

Constructor Summary

Constructors

Constructor	Description
ServerContext(ObjectProvider<DocumentContext> documentContextProvider, WorkDoneProgressHelper workDoneProgressHelper, LanguageServerConfiguration languageServerConfiguration)

Method Summary

Modifier and Type	Method	Description
DocumentContext	addDocument(URI uri)
void	clear()
void	closeDocument(DocumentContext documentContext)	Закрыть документ и очистить его содержимое.
CF	getConfiguration()
Path	getConfigurationRoot()
DocumentContext	getDocument(String uri)
Optional<DocumentContext>	getDocument(String mdoRef, ModuleType moduleType)
DocumentContext	getDocument(URI uri)
Map<URI,DocumentContext>	getDocuments()
Map<ModuleType,DocumentContext>	getDocuments(String mdoRef)
void	openDocument(DocumentContext documentContext, String content, Integer version)	Помечает документ как открытый и перестраивает его содержимое
void	populateContext()
void	populateContext(List<File> files)
void	rebuildDocument(DocumentContext documentContext)	Перестроить документ.
void	rebuildDocument(DocumentContext documentContext, String content, Integer version)	Перестроить документ, используя новое содержимое.
void	removeDocument(URI uri)
void	setConfigurationRoot(Path configurationRoot)
void	tryClearDocument(DocumentContext documentContext)	Попытаться очистить документ, если он не открыт.

Methods inherited from class java.lang.Object

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

Constructor Details

ServerContext

@ConstructorProperties({"documentContextProvider","workDoneProgressHelper","languageServerConfiguration"})
public ServerContext(ObjectProvider<DocumentContext> documentContextProvider,
 WorkDoneProgressHelper workDoneProgressHelper,
 LanguageServerConfiguration languageServerConfiguration)

Method Details

populateContext

public void populateContext()

populateContext

public void populateContext(List<File> files)

getDocuments

public Map<URI,DocumentContext> getDocuments()

getDocument

@Nullable
public DocumentContext getDocument(String uri)

getDocument

public Optional<DocumentContext> getDocument(String mdoRef,
 ModuleType moduleType)

getDocument

@Nullable
public DocumentContext getDocument(URI uri)

getDocuments

public Map<ModuleType,DocumentContext> getDocuments(String mdoRef)

addDocument

public DocumentContext addDocument(URI uri)

removeDocument

public void removeDocument(URI uri)

clear

public void clear()

openDocument

public void openDocument(DocumentContext documentContext,
 String content,
 Integer version)

Помечает документ как открытый и перестраивает его содержимое

Документы, помеченные как открытые, не будут удаляться из контекста сервера при вызове removeDocument(URI), а так же не будут очищаться при вызове tryClearDocument(DocumentContext).

Если вспомогательные данные документа был в "замороженном" состоянии, то перед перестроением документа они будут разморожены.

Parameters:

documentContext - документ, который необходимо открыть.

content - новое содержимое документа.

version - версия документа.

rebuildDocument

public void rebuildDocument(DocumentContext documentContext)

Перестроить документ. В качестве содержимого будут использоваться данные, прочитанные из файла, с которым связан документ.

Parameters:

documentContext - документ, который необходимо перестроить.

rebuildDocument

public void rebuildDocument(DocumentContext documentContext,
 String content,
 Integer version)

Перестроить документ, используя новое содержимое.

Parameters:

documentContext - документ, который необходимо перестроить.

content - новое содержимое документа.

version - версия документа.

tryClearDocument

public void tryClearDocument(DocumentContext documentContext)

Попытаться очистить документ, если он не открыт.

Parameters:

documentContext - документ, который необходимо попытаться закрыть.

closeDocument

public void closeDocument(DocumentContext documentContext)

Закрыть документ и очистить его содержимое.

Parameters:

documentContext - документ, который необходимо закрыть.

getConfiguration

public CF getConfiguration()

setConfigurationRoot

public void setConfigurationRoot(@Nullable
 Path configurationRoot)

getConfigurationRoot

@Nullable
public Path getConfigurationRoot()