in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/VdmppLanguageServer.kt [83:89]
override fun didChange(params: DidChangeTextDocumentParams) {
super.didChange(params)
val vdmpp = this.documents[params.textDocument.uri]
if (vdmpp != null) {
client!!.publishDiagnostics(vdmpp.publishDiagnosticsParams)
}
}