Class DotExporter

java.lang.Object

ca.mcscert.jpipe.visitor.AbstractModelExporter

ca.mcscert.jpipe.visitor.DotExporter

All Implemented Interfaces:

JustificationVisitor<Void>

public class DotExporter
extends AbstractModelExporter

Serialises a single JustificationModel to Graphviz DOT text, ready to be compiled by dot. Both Justification and Template produce a valid digraph; AbstractSupport nodes in templates are rendered as dotted rectangles.

This visitor operates on one model at a time. Use SelectModel in the compilation pipeline to extract the desired model from a Unit before invoking this exporter.

When a model has a parent template, each ancestor is rendered in its own labelled subgraph cluster (including AbstractSupport placeholders). Concrete elements that override an abstract support are rendered outside the cluster, connected to their placeholder by a dashed inv/inv arrow.

Node visual styles are defined in DotNodeStyle. Label escaping and word-wrapping utilities live in DotLabel.

Field Summary

Fields inherited from class AbstractModelExporter

builder, currentModelName

Constructor Summary

Constructors

Constructor	Description
DotExporter()

Method Summary

Modifier and Type	Method	Description
String	export(JustificationModel<?> model)	Serialise model to DOT 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

DotExporter

public DotExporter()

Method Details

export

public String export(JustificationModel<?> model)

Serialise model to DOT text.

Parameters:

model - the justification or template to serialise.

Returns:

DOT source text ready to be piped to dot.

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