toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.pipeline.diagnostic
/
DiagnosticPass
/
Diagnostic
/
Diagnostic
Diagnostic
constructor
(
message
:
String
)
constructor
(
message
:
String
,
_severity
:
DiagnosticPass.Diagnostic.Severity
?
,
_context
:
Map
<
String
,
Any
?
>
?
)