ErrorIds

interface ErrorIds

Types

Exception
Link copied to clipboard
enum Exception : Enum<ErrorIds.Exception> , ErrorIds
Inconsistency
Link copied to clipboard
enum Inconsistency : Enum<ErrorIds.Inconsistency> , ErrorIds
Laws
Link copied to clipboard
enum Laws : Enum<ErrorIds.Laws> , ErrorIds
Liskov
Link copied to clipboard
enum Liskov : Enum<ErrorIds.Liskov> , ErrorIds
Parsing
Link copied to clipboard
enum Parsing : Enum<ErrorIds.Parsing> , ErrorIds
Unsatisfiability
Link copied to clipboard
enum Unsatisfiability : Enum<ErrorIds.Unsatisfiability> , ErrorIds
Unsupported
Link copied to clipboard
enum Unsupported : Enum<ErrorIds.Unsupported> , ErrorIds

Properties

fullDescription
Link copied to clipboard
open val fullDescription: String?
id
Link copied to clipboard
open val id: String
level
Link copied to clipboard
open val level: SeverityLevel
name
Link copied to clipboard
abstract val name: String
shortDescription
Link copied to clipboard
abstract val shortDescription: String

Inheritors

Parsing
Link copied to clipboard
Laws
Link copied to clipboard
Unsupported
Link copied to clipboard
Unsatisfiability
Link copied to clipboard
Inconsistency
Link copied to clipboard
Liskov
Link copied to clipboard
Exception
Link copied to clipboard