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

package ca.mcscert.jpipe.compiler.steps.checkers

Classes

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