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