Uses of Interface
ca.mcscert.jpipe.model.elements.JustificationElement
Packages that use JustificationElement
Package
Description
-
Uses of JustificationElement in ca.mcscert.jpipe.commands.linking
Constructors in ca.mcscert.jpipe.commands.linking with parameters of type JustificationElement -
Uses of JustificationElement in ca.mcscert.jpipe.model
Classes in ca.mcscert.jpipe.model with type parameters of type JustificationElementModifier and TypeClassDescriptionclassJustificationModel<E extends JustificationElement>Abstract base for all named justification models.Subclasses with type arguments of type JustificationElement in ca.mcscert.jpipe.modelModifier and TypeClassDescriptionfinal classA reusable justification template (pattern).Methods in ca.mcscert.jpipe.model with type parameters of type JustificationElementModifier and TypeMethodDescription<T extends JustificationElement>
List<T> JustificationModel.elementsOfType(Class<T> type) Methods in ca.mcscert.jpipe.model that return JustificationElementModifier and TypeMethodDescriptionprotected static JustificationElementJustificationModel.qualifiedCopy(JustificationElement elem, String prefix) Creates a copy ofelem.Methods in ca.mcscert.jpipe.model that return types with arguments of type JustificationElementModifier and TypeMethodDescriptionSearches 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 JustificationElementModifier and TypeMethodDescriptionvoidUnit.addInto(String modelName, JustificationElement element) protected booleanJustification.includeInExpansion(JustificationElement copy) Includes all template elements — includingAbstractSupportcopies — so that override commands can find and replace them after inlining.protected abstract booleanJustificationModel.includeInExpansion(JustificationElement copy) Returns true if the given element copy should be added to this model during template expansion.protected booleanTemplate.includeInExpansion(JustificationElement copy) Includes all elements — templates may inheritAbstractSupports.protected static JustificationElementJustificationModel.qualifiedCopy(JustificationElement elem, String prefix) Creates a copy ofelem. -
Uses of JustificationElement in ca.mcscert.jpipe.model.elements
Subinterfaces of JustificationElement in ca.mcscert.jpipe.model.elementsModifier and TypeInterfaceDescriptioninterfaceSealed interface for elements that can appear in both justifications and templates.Classes in ca.mcscert.jpipe.model.elements that implement JustificationElementModifier and TypeClassDescriptionfinal recordA placeholder element in a template, to be substituted when the template is implemented.final classThe top-level conclusion that a justification aims to establish.final recordA leaf evidence element supporting a strategy.final classA reasoning strategy connecting evidence to a conclusion.final classAn intermediate conclusion within a justification. -
Uses of JustificationElement in ca.mcscert.jpipe.operators
Methods in ca.mcscert.jpipe.operators that return JustificationElementModifier and TypeMethodDescriptionSourcedElement.element()Returns the value of theelementrecord component.Methods in ca.mcscert.jpipe.operators that return types with arguments of type JustificationElementModifier and TypeMethodDescriptionElementGroup.elements()The unwrapped elements, in the same order asElementGroup.members().Constructors in ca.mcscert.jpipe.operators with parameters of type JustificationElementModifierConstructorDescriptionSourcedElement(JustificationElement element, JustificationModel<?> source, SourceLocation location) Creates an instance of aSourcedElementrecord class.