Class ServerContext
java.lang.Object
com.github._1c_syntax.bsl.languageserver.context.ServerContext
-
Constructor Summary
ConstructorsConstructorDescriptionServerContext(ObjectProvider<DocumentContext> documentContextProvider, WorkDoneProgressHelper workDoneProgressHelper, LanguageServerConfiguration languageServerConfiguration) -
Method Summary
Modifier and TypeMethodDescriptionaddDocument(URI uri, String content, int version) addDocument(TextDocumentItem textDocumentItem) voidclear()getDocument(String uri) getDocument(String mdoRef, com.github._1c_syntax.bsl.types.ModuleType moduleType) getDocument(URI uri) Map<com.github._1c_syntax.bsl.types.ModuleType,DocumentContext> getDocuments(String mdoRef) voidvoidpopulateContext(List<File> files) voidremoveDocument(URI uri) voidsetConfigurationRoot(Path configurationRoot)
-
Constructor Details
-
ServerContext
@ConstructorProperties({"documentContextProvider","workDoneProgressHelper","languageServerConfiguration"}) public ServerContext(ObjectProvider<DocumentContext> documentContextProvider, WorkDoneProgressHelper workDoneProgressHelper, LanguageServerConfiguration languageServerConfiguration)
-
-
Method Details
-
populateContext
public void populateContext() -
populateContext
-
getDocuments
-
getDocument
-
getDocument
public Optional<DocumentContext> getDocument(String mdoRef, com.github._1c_syntax.bsl.types.ModuleType moduleType) -
getDocument
-
getDocuments
-
addDocument
-
addDocument
-
removeDocument
-
clear
public void clear() -
getConfiguration
-
setConfigurationRoot
-