Package ca.mcscert.jpipe.visitor

package ca.mcscert.jpipe.visitor

Class	Description
AbstractModelExporter	Abstract base for exporters that serialise a single JustificationModel to text.
DotExporter	Serialises a single JustificationModel to Graphviz DOT text, ready to be compiled by dot.
JpipeExporter	Serialises a compiled jPipe model back to .jd source text conforming to the jPipe grammar.
JsonExporter	Serialises a single JustificationModel to JSON text.
JustificationVisitor<R>	Visitor over the jPipe model hierarchy.
NoOpJustificationVisitor<R>	Convenience base class for visitors that only need to handle a subset of the model hierarchy.
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).