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

Errors

val Errors: List<String>

InconsistentBodyPre

const val InconsistentBodyPre: String

InconsistentCallPost

const val InconsistentCallPost: String

InconsistentConditions

const val InconsistentConditions: String

InconsistentInvariants

const val InconsistentInvariants: String

LiskovProblem

const val LiskovProblem: String

UnsatBodyPost

const val UnsatBodyPost: String

UnsatCallPre

const val UnsatCallPre: String

UnsatInvariants

const val UnsatInvariants: String

UnsupportedElement

const val UnsupportedElement: String

Warnings

val Warnings: List<String>