language-server/tools.samt.ls/SamtWorkspace/getPendingMessages

getPendingMessages

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