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

Packages that use ElementView

Package	Description
ca.mcscert.jpipe.commands.creation
ca.mcscert.jpipe.model.elements
ca.mcscert.jpipe.operators
ca.mcscert.jpipe.operators.equivalences

Uses of ElementView in ca.mcscert.jpipe.commands.creation

Subinterfaces of ElementView in ca.mcscert.jpipe.commands.creation

Modifier and Type	Interface	Description
interface	ElementCreationCommand	Sealed interface common to all element-creation commands.

Classes in ca.mcscert.jpipe.commands.creation that implement ElementView

Modifier and Type	Class	Description
final class	CreateAbstractSupport	Creates an AbstractSupport inside a template.
final class	CreateConclusion	Creates a Conclusion inside a justification or template.
final class	CreateEvidence	Creates an Evidence inside a justification.
final class	CreateStrategy	Creates a Strategy inside a justification.
final class	CreateSubConclusion	Creates a SubConclusion inside a justification.

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

Subinterfaces of ElementView 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.
interface	JustificationElement	Sealed root of the element hierarchy.

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

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 ElementView in ca.mcscert.jpipe.operators

Classes in ca.mcscert.jpipe.operators that implement ElementView

Modifier and Type	Class	Description
final record	SourcedElement	Pairs a JustificationElement with the model it was taken from and its original source location, so merge functions can inspect the element in its original context and forward the location to creation commands.

Methods in ca.mcscert.jpipe.operators with parameters of type ElementView

Modifier and Type	Method	Description
boolean	EquivalenceRelation.areEquivalent(ElementView a, ElementView b)	Returns true if a and b should be merged into the same result element.

Uses of ElementView in ca.mcscert.jpipe.operators.equivalences

Methods in ca.mcscert.jpipe.operators.equivalences with parameters of type ElementView

Modifier and Type	Method	Description
boolean	SameLabel.areEquivalent(ElementView a, ElementView b)
boolean	SameShortId.areEquivalent(ElementView a, ElementView b)