runner-api/dev.ust.zinc.grader.pipeline.diagnostic/DiagnosticPass/Diagnostic

Diagnostic

data class Diagnostic(val message: String, val _severity: DiagnosticPass.Diagnostic.Severity?, val _context: Map<String, Any?>?)

Data class representing an emitted diagnostic.

Constructors

constructor(message: String)

constructor(message: String, _severity: DiagnosticPass.Diagnostic.Severity?, _context: Map<String, Any?>?)

Types

enum Severity : Enum<DiagnosticPass.Diagnostic.Severity>

Properties

private val _context: Map<String, Any?>?

private val _severity: DiagnosticPass.Diagnostic.Severity?

val context: Map<String, Any?>

val message: String

val severity: DiagnosticPass.Diagnostic.Severity

Functions

fun asException(): ContextedIllegalArgumentException