toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.pipeline.diagnostic
/
DiagnosticPass
/
Diagnostic
/
_severity
_severity
private
val
_severity
:
DiagnosticPass.Diagnostic.Severity
?