override fun getTextDocumentService()

in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/VdmppLanguageServer.kt [92:94]


    override fun getTextDocumentService(): TextDocumentService? {
        return fullTextDocumentService
    }