Uses of Interface
ca.mcscert.jpipe.model.elements.SupportLeaf
Packages that use SupportLeaf
-
Uses of SupportLeaf in ca.mcscert.jpipe.model.elements
Classes in ca.mcscert.jpipe.model.elements that implement SupportLeafModifier and TypeClassDescriptionfinal recordA placeholder element in a template, to be substituted when the template is implemented.final recordA leaf evidence element supporting a strategy.final classAn intermediate conclusion within a justification.Methods in ca.mcscert.jpipe.model.elements that return types with arguments of type SupportLeafMethods in ca.mcscert.jpipe.model.elements with parameters of type SupportLeafModifier and TypeMethodDescriptionvoidStrategy.addSupport(SupportLeaf supporter) voidStrategy.replaceSupport(SupportLeaf oldSupport, SupportLeaf newSupport) ReplacesoldSupportwithnewSupportin the list of supporters.