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

PipelineVerifier

class PipelineVerifier(configure: PipelineVerifier.Configuration.() -> Unit = {})

Helper class for checking the required properties of a Pipeline.

It is recommended to cache instances of PipelineVerifier since construction is relatively expensive and instances of this class are stateless.

Parameters

configure

Configures the initialization of this class. See PipelineVerifier.Configuration.

Constructors

Link copied to clipboard
constructor(configure: PipelineVerifier.Configuration.() -> Unit = {})

Types

Link copied to clipboard
object Companion
Link copied to clipboard
class Configuration constructor

Internal configuration class to configure the PipelineVerifier.

Properties

Link copied to clipboard
private val configuration: PipelineVerifier.Configuration

The configuration used to instantiate this class instance.

Link copied to clipboard
val diagnostics: List<DiagnosticPass>

List of DiagnosticPass instances used by this class.

Link copied to clipboard
val enabledDiagnostics: Set<KClass<out DiagnosticPass>>

The set of enabled diagnostics.

Link copied to clipboard
val enableWarnings: Boolean

Whether warnings are enabled.

Functions

Link copied to clipboard
fun verify(pipeline: Pipeline)

Verifies whether the pipeline fulfills all constraints configured by this verifier.