Class JsonExporter

java.lang.Object

ca.mcscert.jpipe.visitor.AbstractModelExporter

ca.mcscert.jpipe.visitor.JsonExporter

All Implemented Interfaces:

JustificationVisitor<Void>

public class JsonExporter
extends AbstractModelExporter

Serialises a single JustificationModel to JSON text.

Uses org.json (already a declared dependency) for correct string escaping. The library is used internally as a builder; the pipeline type remains String, consistent with other text exporters (ADR-0013).

Output schema:

{
  "name": "...",
  "type": "justification" | "template",
  "elements": [ { "type": "...", "id": "...", "label": "..." }, ... ],
  "relations": [ { "source": "...", "target": "..." }, ... ]
}

Field Summary

Fields inherited from class AbstractModelExporter

builder, currentModelName

Constructor Summary

Constructors

Constructor	Description
JsonExporter()

Method Summary

Modifier and Type	Method	Description
String	export(JustificationModel<?> model)	Serialise model to JSON text.
protected void	exportModel(JustificationModel<?> model)	Performs the actual serialisation of model.
Void	visit(AbstractSupport abstractSupport)
Void	visit(Conclusion conclusion)
Void	visit(Evidence evidence)
Void	visit(Strategy strategy)
Void	visit(SubConclusion subConclusion)

Methods inherited from class AbstractModelExporter

qualify, visit, visit, visit

Methods inherited from class Object

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

Constructor Details

JsonExporter

public JsonExporter()

Method Details

export

public String export(JustificationModel<?> model)

Serialise model to JSON text.

Parameters:

model - the justification or template to serialise.

Returns:

JSON string.

visit

public Void visit(Conclusion conclusion)

visit

public Void visit(SubConclusion subConclusion)

visit

public Void visit(Strategy strategy)

visit

public Void visit(Evidence evidence)

visit

public Void visit(AbstractSupport abstractSupport)

exportModel

protected void exportModel(JustificationModel<?> model)

Description copied from class: AbstractModelExporter

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

Specified by:

exportModel in class AbstractModelExporter