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

Configuration

class Configuration constructor

Internal configuration class to configure the PipelineVerifier.

By default, warning diagnostics is set to false and enabledDiagnostics is set to PipelineVerifier.Configuration.getDefaultDiagnostics.

Constructors

constructor()

Types

object Companion

Properties

_enabledDiagnostics

private val _enabledDiagnostics: MutableSet<KClass<out DiagnosticPass>>

enabledDiagnostics

val enabledDiagnostics: Set<KClass<out DiagnosticPass>>

Set of all diagnostics to enable for the verifier.

var enableWarnings: Boolean

Whether warnings should be enabled for the verifier.

Functions

fun add(vararg enableDiagnostic: KClass<out DiagnosticPass>): PipelineVerifier.Configuration

Adds diagnostic(s) to be checked by the verifier.

fun clear(): PipelineVerifier.Configuration

Removes all diagnostics to be checked by the verifier.

fun emitWarnings(): PipelineVerifier.Configuration

Enables warnings to be logged by the verifier.

fun remove(vararg disableDiagnostic: KClass<out DiagnosticPass>): PipelineVerifier.Configuration

Removes diagnostic(s) to be checked by the verifier.