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

ErrorIds

interface ErrorIds

Types

Exception

enum Exception : Enum<ErrorIds.Exception> , ErrorIds

Inconsistency

enum Inconsistency : Enum<ErrorIds.Inconsistency> , ErrorIds

Laws

enum Laws : Enum<ErrorIds.Laws> , ErrorIds

Liskov

enum Liskov : Enum<ErrorIds.Liskov> , ErrorIds

Parsing

enum Parsing : Enum<ErrorIds.Parsing> , ErrorIds

Unsatisfiability

enum Unsatisfiability : Enum<ErrorIds.Unsatisfiability> , ErrorIds

Unsupported

enum Unsupported : Enum<ErrorIds.Unsupported> , ErrorIds

Properties

fullDescription

open val fullDescription: String?

id

open val id: String

level

open val level: SeverityLevel

name

abstract val name: String

shortDescription

abstract val shortDescription: String

Inheritors

Parsing

Laws

Unsupported

Unsatisfiability

Inconsistency

Liskov

Exception