language-server/tools.samt.ls/SamtFolder/getAllMessages

getAllMessages

fun getAllMessages(): Map<URI, List<DiagnosticMessage>>