override fun didChange()

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)
            }
        }