runner-api/dev.ust.zinc.grader.pipeline/PipelineVerifier/Configuration/Companion

Companion

object Companion

Properties

Link copied to clipboard
private val defaultDiag: MutableSet<KClass<out DiagnosticPass>>

Set of all DiagnosticPass within this module which are enabled by default.

Functions

Link copied to clipboard
fun addDefaultDiagnostics(vararg diagnostics: KClass<out DiagnosticPass>)

Adds diagnostics to the set of DiagnosticPass which are enabled by default.

Link copied to clipboard