arrow-analysis-java-plugin/arrow.meta.plugins.analysis.java/AnalysisMessages/Companion

Companion

object Companion

Properties

AnalysisException

const val AnalysisException: String

ErrorParsingPredicate

const val ErrorParsingPredicate: String

val Errors: List<String>

InconsistentBodyPre

const val InconsistentBodyPre: String

InconsistentCallPost

const val InconsistentCallPost: String

InconsistentConditions

const val InconsistentConditions: String

InconsistentInvariants

const val InconsistentInvariants: String

const val LiskovProblem: String

const val UnsatBodyPost: String

const val UnsatCallPre: String

UnsatInvariants

const val UnsatInvariants: String

UnsupportedElement

const val UnsupportedElement: String

WarningParsingPredicate

const val WarningParsingPredicate: String

val Warnings: List<String>