Uses of Class
ca.mcscert.jpipe.compiler.model.Checker

Packages that use Checker

Package	Description
ca.mcscert.jpipe.compiler.model
ca.mcscert.jpipe.compiler.steps.checkers

Uses of Checker in ca.mcscert.jpipe.compiler.model

Methods in ca.mcscert.jpipe.compiler.model that return Checker

Modifier and Type	Method	Description
static <I> Checker<I>	Checker.checking(Checker.Check<I> check)	Create a Checker from a lambda or method reference.

Uses of Checker in ca.mcscert.jpipe.compiler.steps.checkers

Subclasses of Checker in ca.mcscert.jpipe.compiler.steps.checkers

Modifier and Type	Class	Description
final class	CompletenessChecker	Pipeline step that checks all models in a Unit for structural completeness.
final class	ConsistencyChecker	Pipeline step that checks all models in a Unit for structural consistency.
final class	HaltAndCatchFire<T>	Converts accumulated non-fatal errors into a fatal signal, aborting the pipeline at the next step boundary.