fun updateVdmppFile()

in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/Vdmpp.kt [18:32]

• 14 lines of code
• 1 McCabe index (conditional complexity)

    fun updateVdmppFile(){
        val lexer = LexTokenReader(textDocumentItem.text, Dialect.VDM_PP)
        definitionReader = DefinitionReader(lexer)
        astDefinitions = definitionReader.readDefinitions()

        val diagnostics = ArrayList<Diagnostic>()
        definitionReader.errors.forEach { e ->
            val range = Range(
                    Position(e.location.startLine - 1, e.location.startPos - 1),
                    Position(e.location.endLine - 1, e.location.endPos - 1)
            )
            diagnostics.add(Diagnostic(range, e.message))
        }
        publishDiagnosticsParams = PublishDiagnosticsParams(textDocumentItem.uri, diagnostics)
    }