Package-level declarations

Types

Link copied to clipboard

Base class for implementing pipeline diagnostics.

Link copied to clipboard

Error diagnostic emitted when a pipeline is empty.

Link copied to clipboard

Error diagnostic emitted when any value of ConfigUnit.PerElemScorable do not conform to the required bounds.

Link copied to clipboard

Warning diagnostic emitted when any field of ConfigUnit.PerElemScorable is redundant.

Link copied to clipboard

Warning diagnostic emitted when any dev.ust.zinc.grader.pipeline.PipelineStage defines a ConfigUnit which implements ConfigUnit.Scorable, but the corresponding StageReportUnit does not implement StageReportUnit.Scorable.

Link copied to clipboard

Error diagnostic emitted when any output StageResult type of a stage does not match the input StageResult type of the next stage.

Link copied to clipboard

Error diagnostic emitted when any stage in a pipeline does not have a derived class of StageResult as its input or output.

Link copied to clipboard

Error diagnostic emitted when any stage does not adhere to the stage ordering as defined by PipelineStage.Kind.

Functions

Link copied to clipboard
fun DiagnosticPass.handleFailure(pipeline: Pipeline, onWarn: (List<Throwable>) -> Unit = {}, onErr: (List<Throwable>) -> Unit = {})

Verifies whether the pipeline passes this diagnostic as if by calling invoke, and invokes onWarn or onErr depending on whether this diagnostic is a DiagnosticPass.Warning or DiagnosticPass.Error respectively.