in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/FullTextDocumentService.kt [67:69]
override fun codeLens(params: CodeLensParams): CompletableFuture<List<CodeLens>>? { return null }