arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.errors/ErrorIds/Inconsistency

Inconsistency

enum Inconsistency : Enum<ErrorIds.Inconsistency> , ErrorIds
Content copied to clipboard

Entries

InconsistentInvariants
Link copied to clipboard
InconsistentInvariants()
Content copied to clipboard
InconsistentCallPost
Link copied to clipboard
InconsistentCallPost()
Content copied to clipboard
InconsistentConditions
Link copied to clipboard
InconsistentConditions()
Content copied to clipboard
InconsistentDefaultValues
Link copied to clipboard
InconsistentDefaultValues()
Content copied to clipboard
InconsistentBodyPre
Link copied to clipboard
InconsistentBodyPre()
Content copied to clipboard

Properties

fullDescription
Link copied to clipboard
open val fullDescription: String?
Content copied to clipboard
id
Link copied to clipboard
open val id: String
Content copied to clipboard
level
Link copied to clipboard
open val level: SeverityLevel
Content copied to clipboard
name
Link copied to clipboard
val name: String
Content copied to clipboard
ordinal
Link copied to clipboard
val ordinal: Int
Content copied to clipboard
shortDescription
Link copied to clipboard
open override val shortDescription: String
Content copied to clipboard