Class ConsistencyChecker

java.lang.Object

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

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

ca.mcscert.jpipe.compiler.steps.checkers.ConsistencyChecker

public final class ConsistencyChecker
extends Checker<Unit>

Pipeline step that checks all models in a Unit for structural consistency. Delegates rule evaluation to ConsistencyValidator 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
ConsistencyChecker()

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

ConsistencyChecker

public ConsistencyChecker()

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.