override fun didOpen()

in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/VdmppLanguageServer.kt [75:81]


        override fun didOpen(params: DidOpenTextDocumentParams) {
            super.didOpen(params)
            val vdmpp: Vdmpp? = this.documents[params.textDocument.uri]
            if (vdmpp != null && client != null) {
                client!!.publishDiagnostics(vdmpp.publishDiagnosticsParams)
            }
        }