Class Template

java.lang.Object

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

ca.mcscert.jpipe.model.Template

public final class Template
extends JustificationModel<JustificationElement>

A reusable justification template (pattern). Accepts any element including abstract supports.

Constructor Summary

Constructors

Constructor	Description
Template(String name)

Method Summary

Modifier and Type	Method	Description
List<AbstractSupport>	abstractSupports()
protected boolean	includeInExpansion(JustificationElement copy)	Includes all elements — templates may inherit AbstractSupports.
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

Template

public Template(String name)

Method Details

includeInExpansion

protected boolean includeInExpansion(JustificationElement copy)

Includes all elements — templates may inherit AbstractSupports.

Specified by:

includeInExpansion in class JustificationModel<JustificationElement>

abstractSupports

public List<AbstractSupport> abstractSupports()

visitSelf

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

Specified by:

visitSelf in class JustificationModel<JustificationElement>