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
}