toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.pipeline
/
PipelineVerifier
/
Configuration
/
Companion
/
addDefaultDiagnostics
add
Default
Diagnostics
fun
addDefaultDiagnostics
(
vararg
diagnostics
:
KClass
<
out
DiagnosticPass
>
)
Adds
diagnostics
to the set of
DiagnosticPass
which are enabled by default.