in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/FullTextDocumentService.kt [20:22]
override fun hover(position: TextDocumentPositionParams): CompletableFuture<Hover>? { return null }