Class AbstractModelExporter

java.lang.Object

ca.mcscert.jpipe.visitor.AbstractModelExporter

All Implemented Interfaces:

JustificationVisitor<Void>

Direct Known Subclasses:

DotExporter, JsonExporter, PythonExporter

public abstract class AbstractModelExporter
extends Object
implements JustificationVisitor<Void>

Abstract base for exporters that serialise a single JustificationModel to text. Provides the common infrastructure shared by all single-model exporters:

• A StringBuilder accumulator (builder) and the associated reset-before-export pattern.
• A currentModelName field populated from the model under export.
• A qualify(String) helper that prefixes element ids with the current model name ("modelName:elementId").
• visit(Unit) — rejects Unit with UnsupportedOperationException; single-model exporters require SelectModel to extract a model first.
• visit(Justification) and visit(Template) — both delegate to exportModel(JustificationModel).

Subclasses implement exportModel(JustificationModel) to perform the actual serialisation, setting currentModelName as their first action. Element visit methods (visit(Conclusion), etc.) are left abstract so each exporter controls its own output format.

Field Summary

Fields

Modifier and Type	Field	Description
protected final StringBuilder	builder	Accumulates the serialised output.
protected String	currentModelName	Name of the model currently being exported.

Constructor Summary

Constructors

Constructor	Description
AbstractModelExporter()

Method Summary

Modifier and Type	Method	Description
protected abstract void	exportModel(JustificationModel<?> model)	Performs the actual serialisation of model.
protected final String	qualify(String elementId)	Qualifies elementId with the current model name: "currentModelName:elementId".
final Void	visit(Justification justification)	Delegates to exportModel(JustificationModel).
final Void	visit(Template template)	Delegates to exportModel(JustificationModel).
final Void	visit(Unit unit)	Rejects Unit — single-model exporters require a specific model.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface JustificationVisitor

visit, visit, visit, visit, visit

Field Details

builder

protected final StringBuilder builder

Accumulates the serialised output. Reset at the start of each export.

currentModelName

protected String currentModelName

Name of the model currently being exported. Set by exportModel(JustificationModel) before any element visit methods are called.

Constructor Details

AbstractModelExporter

public AbstractModelExporter()

Method Details

qualify

protected final String qualify(String elementId)

Qualifies elementId with the current model name: "currentModelName:elementId".

visit

public final Void visit(Unit unit)

Rejects Unit — single-model exporters require a specific model. Use SelectModel in the compilation pipeline to extract one first.

Specified by:

visit in interface JustificationVisitor<Void>

visit

public final Void visit(Justification justification)

Delegates to exportModel(JustificationModel).

Specified by:

visit in interface JustificationVisitor<Void>

visit

public final Void visit(Template template)

Delegates to exportModel(JustificationModel).

Specified by:

visit in interface JustificationVisitor<Void>

exportModel

protected abstract void exportModel(JustificationModel<?> model)

Performs the actual serialisation of model. Implementations must set currentModelName= model.getName() before calling any element visit methods.