Class ConsistencyValidator

java.lang.Object

ca.mcscert.jpipe.model.validation.ConsistencyValidator

public final class ConsistencyValidator
extends Object

Checks structural invariants of justification models.

Rules:

• no-duplicate-ids — all element IDs within a model are unique.
• acyclic-support — the support graph contains no cycles (it must be a DAG).
• acyclic-implements — the implements chain between models contains no cycles.

Note: type constraints (Conclusion ← Strategy ← SupportLeaf) are enforced by the Java type system at construction time and need no runtime check here.

Use validate(Unit) for location-aware validation within a compiler pipeline. Use validateModel(JustificationModel) for standalone use when no Unit is available; violations will carry SourceLocation.UNKNOWN.

Constructor Summary

Constructors

Constructor	Description
ConsistencyValidator()

Method Summary

Modifier and Type	Method	Description
List<Violation>	validate(Unit unit)	Validates all models in the unit.
List<Violation>	validateModel(JustificationModel<?> model)	Validates a single model without location data.

Methods inherited from class Object

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

Constructor Details

ConsistencyValidator

public ConsistencyValidator()

Method Details

validate

public List<Violation> validate(Unit unit)

Validates all models in the unit. Violations carry source locations resolved from the unit's location registry.

validateModel

public List<Violation> validateModel(JustificationModel<?> model)

Validates a single model without location data. All violations carry SourceLocation.UNKNOWN.