override fun documentHighlight()

in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/VdmppLanguageServer.kt [53:56]

• 4 lines of code
• 1 McCabe index (conditional complexity)

        override fun documentHighlight(position: TextDocumentPositionParams): CompletableFuture<List<DocumentHighlight?>>? {
            super.documentHighlight(position)
            return null
        }