override fun didOpen()

in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/FullTextDocumentService.kt [92:95]


    override fun didOpen(params: DidOpenTextDocumentParams) {
        val vdmpp = Vdmpp(params.textDocument)
        documents[params.textDocument.uri] = vdmpp
    }