Package-level declarations
Types
Error diagnostic emitted when a pipeline is empty.
Error diagnostic emitted when any value of ConfigUnit.PerElemScorable do not conform to the required bounds.
Warning diagnostic emitted when any field of ConfigUnit.PerElemScorable is redundant.
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.
Error diagnostic emitted when any output StageResult type of a stage does not match the input StageResult type of the next stage.
Error diagnostic emitted when any stage in a pipeline does not have a derived class of StageResult as its input or output.
Error diagnostic emitted when any stage does not adhere to the stage ordering as defined by PipelineStage.Kind.
Functions
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.