override fun getWorkspaceService()

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"))
            }
        }
    }