Uses of Interface
ca.mcscert.jpipe.visitor.JustificationVisitor

Packages that use JustificationVisitor

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

Uses of JustificationVisitor in ca.mcscert.jpipe.model

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

Modifier and Type	Method	Description
final <R> R	JustificationModel.accept(JustificationVisitor<R> visitor)
<R> R	Unit.accept(JustificationVisitor<R> visitor)
protected <R> R	Justification.visitSelf(JustificationVisitor<R> visitor)
protected abstract <R> R	JustificationModel.visitSelf(JustificationVisitor<R> visitor)
protected <R> R	Template.visitSelf(JustificationVisitor<R> visitor)

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

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

Modifier and Type	Method	Description
default <R> R	JustificationElement.accept(JustificationVisitor<R> visitor)

Uses of JustificationVisitor in ca.mcscert.jpipe.visitor

Classes in ca.mcscert.jpipe.visitor that implement JustificationVisitor

Modifier and Type	Class	Description
class	AbstractModelExporter	Abstract base for exporters that serialise a single JustificationModel to text.
class	DotExporter	Serialises a single JustificationModel to Graphviz DOT text, ready to be compiled by dot.
class	JpipeExporter	Serialises a compiled jPipe model back to .jd source text conforming to the jPipe grammar.
class	JsonExporter	Serialises a single JustificationModel to JSON text.
class	NoOpJustificationVisitor<R>	Convenience base class for visitors that only need to handle a subset of the model hierarchy.
class	PythonExporter	Serialises a single JustificationModel to a Python module: each element becomes a decorated function named after the element's label (snake_case via LabelEscaper).