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

Packages that use SupportLeaf

Package	Description
ca.mcscert.jpipe.model.elements

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

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

Modifier and Type	Class	Description
final record	AbstractSupport	A placeholder element in a template, to be substituted when the template is implemented.
final record	Evidence	A leaf evidence element supporting a strategy.
final class	SubConclusion	An intermediate conclusion within a justification.

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

Modifier and Type	Method	Description
List<SupportLeaf>	Strategy.getSupports()

Methods in ca.mcscert.jpipe.model.elements with parameters of type SupportLeaf

Modifier and Type	Method	Description
void	Strategy.addSupport(SupportLeaf supporter)
void	Strategy.replaceSupport(SupportLeaf oldSupport, SupportLeaf newSupport)	Replaces oldSupport with newSupport in the list of supporters.