override fun documentHighlight()

in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/FullTextDocumentService.kt [36:52]


    override fun documentHighlight(position: TextDocumentPositionParams): CompletableFuture<List<DocumentHighlight?>>? {
        /*
        TextDocumentPositionParams [
          textDocument = TextDocumentIdentifier [
            uri = "file:///Users/Futa/Desktop/vdmpp-syntax-highlight/vdmfiles/definitions.vdmpp"
          ]
          uri = null
          position = Position [
            line = 16
            character = 24
          ]
        ]
         */
        val highlights = createHighlights(position.textDocument.uri, position.position)
        println(highlights)
        return null
    }