Class CompletenessChecker

java.lang.Object

ca.mcscert.jpipe.compiler.model.Transformation<Unit,Unit>

ca.mcscert.jpipe.compiler.model.Checker<Unit>

ca.mcscert.jpipe.compiler.steps.checkers.CompletenessChecker

public final class CompletenessChecker
extends Checker<Unit>

Pipeline step that checks all models in a Unit for structural completeness. Delegates rule evaluation to CompletenessValidator and maps each violation to a non-fatal ERROR diagnostic, enriched with source location from the unit's location registry.

Nested Class Summary

Nested classes/interfaces inherited from class Checker

Checker.Check<I>

Nested classes/interfaces inherited from class Transformation

Transformation.Step<I,O>

Field Summary

Fields inherited from class Transformation

logger

Constructor Summary

Constructors

Constructor	Description
CompletenessChecker()

Method Summary

Modifier and Type	Method	Description
protected void	check(Unit unit, CompilationContext ctx)	Perform the check.

Methods inherited from class Checker

checking, run

Methods inherited from class Transformation

andThen, fire, of, shouldLog, stepName

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CompletenessChecker

public CompletenessChecker()

Method Details

check

protected void check(Unit unit,
 CompilationContext ctx)

Description copied from class: Checker

Perform the check. Must not modify input. Non-fatal issues should be reported via ctx.error() rather than thrown; throw (or call ctx.fatal()) only for unrecoverable failures.

Specified by:

check in class Checker<Unit>

Parameters:

unit - the value to inspect.

ctx - compilation context for reporting diagnostics.