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

NotStrongerPostcondition

NotStrongerPostcondition()
Content copied to clipboard

Properties

fullDescription
Link copied to clipboard
open override 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