Class Justification

java.lang.Object

ca.mcscert.jpipe.model.JustificationModel<CommonElement>

ca.mcscert.jpipe.model.Justification

public final class Justification
extends JustificationModel<CommonElement>

A concrete justification model. Only accepts CommonElements — no abstract supports.

Constructor Summary

Constructors

Constructor	Description
Justification(String name)

Method Summary

Modifier and Type	Method	Description
protected boolean	includeInExpansion(JustificationElement copy)	Includes all template elements — including AbstractSupport copies — so that override commands can find and replace them after inlining.
protected <R> R	visitSelf(JustificationVisitor<R> visitor)

Methods inherited from class JustificationModel

accept, addElement, conclusion, concreteOverrides, elementsOfType, evidence, findById, getElements, getName, getParent, hasOwnConclusion, inheritedElements, inline, ownElements, plainId, qualifiedCopy, removeElement, setConclusion, setParent, strategies, subConclusions, validate

Methods inherited from class Object

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

Constructor Details

Justification

public Justification(String name)

Method Details

includeInExpansion

protected boolean includeInExpansion(JustificationElement copy)

Includes all template elements — including AbstractSupport copies — so that override commands can find and replace them after inlining.

Specified by:

includeInExpansion in class JustificationModel<CommonElement>

visitSelf

protected <R> R visitSelf(JustificationVisitor<R> visitor)

Specified by:

visitSelf in class JustificationModel<CommonElement>