Package ca.mcscert.jpipe.model

package ca.mcscert.jpipe.model

Related Packages

Package	Description
ca.mcscert.jpipe.model.elements
ca.mcscert.jpipe.model.validation

Class	Description
Justification	A concrete justification model.
JustificationModel<E extends JustificationElement>	Abstract base for all named justification models.
SourceLocation	Immutable source position at which a named element was declared.
Template	A reusable justification template (pattern).
Unit	Root of a compiled jPipe file.
Violation	A single rule violation found during consistency or completeness validation.