Uses of Class
ca.mcscert.jpipe.model.Template

Packages that use Template

Package	Description
ca.mcscert.jpipe.model
ca.mcscert.jpipe.visitor

Uses of Template in ca.mcscert.jpipe.model

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

Modifier and Type	Method	Description
Optional<Template>	JustificationModel.getParent()
List<Template>	Unit.templates()

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

Modifier and Type	Method	Description
void	JustificationModel.inline(Template template, String templateName)	Inlines template into this model: each template element is copied with a qualified id (templateName:originalId) and support edges between copied elements are re-wired.
protected void	JustificationModel.setParent(Template parent)

Uses of Template in ca.mcscert.jpipe.visitor

Methods in ca.mcscert.jpipe.visitor with parameters of type Template

Modifier and Type	Method	Description
final Void	AbstractModelExporter.visit(Template template)	Delegates to AbstractModelExporter.exportModel(JustificationModel).
Void	JpipeExporter.visit(Template template)
R	JustificationVisitor.visit(Template template)
R	NoOpJustificationVisitor.visit(Template template)