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
}