Uses of Interface
ca.mcscert.jpipe.model.elements.JustificationElement

Packages that use JustificationElement

Package	Description
ca.mcscert.jpipe.commands.linking
ca.mcscert.jpipe.model
ca.mcscert.jpipe.model.elements
ca.mcscert.jpipe.operators

Uses of JustificationElement in ca.mcscert.jpipe.commands.linking

Constructors in ca.mcscert.jpipe.commands.linking with parameters of type JustificationElement

Modifier	Constructor	Description
	AddElement(String container, JustificationElement element)

Uses of JustificationElement in ca.mcscert.jpipe.model

Classes in ca.mcscert.jpipe.model with type parameters of type JustificationElement

Modifier and Type	Class	Description
class	JustificationModel<E extends JustificationElement>	Abstract base for all named justification models.

Subclasses with type arguments of type JustificationElement in ca.mcscert.jpipe.model

Modifier and Type	Class	Description
final class	Template	A reusable justification template (pattern).

Methods in ca.mcscert.jpipe.model with type parameters of type JustificationElement

Modifier and Type	Method	Description
<T extends JustificationElement> List<T>	JustificationModel.elementsOfType(Class<T> type)

Methods in ca.mcscert.jpipe.model that return JustificationElement

Modifier and Type	Method	Description
protected static JustificationElement	JustificationModel.qualifiedCopy(JustificationElement elem, String prefix)	Creates a copy of elem.

Methods in ca.mcscert.jpipe.model that return types with arguments of type JustificationElement

Modifier and Type	Method	Description
Optional<JustificationElement>	JustificationModel.findById(String id)	Searches both the conclusion field and the elements list, so callers do not need to know how the conclusion is stored.

Methods in ca.mcscert.jpipe.model with parameters of type JustificationElement

Modifier and Type	Method	Description
void	Unit.addInto(String modelName, JustificationElement element)
protected boolean	Justification.includeInExpansion(JustificationElement copy)	Includes all template elements — including AbstractSupport copies — so that override commands can find and replace them after inlining.
protected abstract boolean	JustificationModel.includeInExpansion(JustificationElement copy)	Returns true if the given element copy should be added to this model during template expansion.
protected boolean	Template.includeInExpansion(JustificationElement copy)	Includes all elements — templates may inherit AbstractSupports.
protected static JustificationElement	JustificationModel.qualifiedCopy(JustificationElement elem, String prefix)	Creates a copy of elem.

Uses of JustificationElement in ca.mcscert.jpipe.model.elements

Subinterfaces of JustificationElement in ca.mcscert.jpipe.model.elements

Modifier and Type	Interface	Description
interface	CommonElement	Sealed interface for elements that can appear in both justifications and templates.

Classes in ca.mcscert.jpipe.model.elements that implement JustificationElement

Modifier and Type	Class	Description
final record	AbstractSupport	A placeholder element in a template, to be substituted when the template is implemented.
final class	Conclusion	The top-level conclusion that a justification aims to establish.
final record	Evidence	A leaf evidence element supporting a strategy.
final class	Strategy	A reasoning strategy connecting evidence to a conclusion.
final class	SubConclusion	An intermediate conclusion within a justification.

Uses of JustificationElement in ca.mcscert.jpipe.operators

Methods in ca.mcscert.jpipe.operators that return JustificationElement

Modifier and Type	Method	Description
JustificationElement	SourcedElement.element()	Returns the value of the element record component.

Methods in ca.mcscert.jpipe.operators that return types with arguments of type JustificationElement

Modifier and Type	Method	Description
List<JustificationElement>	ElementGroup.elements()	The unwrapped elements, in the same order as ElementGroup.members().

Constructors in ca.mcscert.jpipe.operators with parameters of type JustificationElement

Modifier	Constructor	Description
	SourcedElement(JustificationElement element, JustificationModel<?> source, SourceLocation location)	Creates an instance of a SourcedElement record class.