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

ErrorIds

interface ErrorIds

Types

enum Exception : Enum<ErrorIds.Exception> , ErrorIds

enum Inconsistency : Enum<ErrorIds.Inconsistency> , ErrorIds

enum Laws : Enum<ErrorIds.Laws> , ErrorIds

enum Liskov : Enum<ErrorIds.Liskov> , ErrorIds

enum Parsing : Enum<ErrorIds.Parsing> , ErrorIds

Unsatisfiability

enum Unsatisfiability : Enum<ErrorIds.Unsatisfiability> , ErrorIds

enum Unsupported : Enum<ErrorIds.Unsupported> , ErrorIds

Properties

fullDescription

open val fullDescription: String?

open val id: String

open val level: SeverityLevel

abstract val name: String

shortDescription

abstract val shortDescription: String

Inheritors

Unsatisfiability