in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/VdmppLanguageServer.kt [96:109]
override fun getWorkspaceService(): WorkspaceService {
return object : WorkspaceService {
override fun symbol(params: WorkspaceSymbolParams): CompletableFuture<List<SymbolInformation?>>? {
return null
}
override fun didChangeConfiguration(params: DidChangeConfigurationParams) {
client!!.logMessage(MessageParams(MessageType.Log, "We received an configuration change event"))
}
override fun didChangeWatchedFiles(params: DidChangeWatchedFilesParams) {
client!!.logMessage(MessageParams(MessageType.Log, "We received an file change event"))
}
}
}