override fun rename()

in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/FullTextDocumentService.kt [88:90]


    override fun rename(params: RenameParams): CompletableFuture<WorkspaceEdit>? {
        return null
    }