Class JpipeExporter

java.lang.Object

ca.mcscert.jpipe.visitor.JpipeExporter

All Implemented Interfaces:

JustificationVisitor<Void>

public class JpipeExporter
extends Object
implements JustificationVisitor<Void>

Serialises a compiled jPipe model back to .jd source text conforming to the jPipe grammar.

Each visitor method is responsible for descending into its children via accept, so the full traversal is visitor-driven. export(Unit) is a convenience wrapper around unit.accept(this) that resets internal state and returns the accumulated string.

Constructor Summary

Constructors

Constructor	Description
JpipeExporter()

Method Summary

Modifier and Type	Method	Description
String	export(JustificationModel<?> model)	Serialise a single model to .jd source text.
String	export(Unit unit)	Serialise unit to .jd source text.
Void	visit(AbstractSupport abstractSupport)
Void	visit(Conclusion conclusion)
Void	visit(Evidence evidence)
Void	visit(Strategy strategy)
Void	visit(SubConclusion subConclusion)
Void	visit(Justification justification)
Void	visit(Template template)
Void	visit(Unit unit)

Methods inherited from class Object

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

Constructor Details

JpipeExporter

public JpipeExporter()

Method Details

export

public String export(Unit unit)

Serialise unit to .jd source text.

Parameters:

unit - the compiled unit to serialise.

Returns:

well-formed .jd text for all models in the unit.

export

public String export(JustificationModel<?> model)

Serialise a single model to .jd source text.

Parameters:

model - the model to serialise.

Returns:

well-formed .jd text for this model only.

visit

public Void visit(Unit unit)

Specified by:

visit in interface JustificationVisitor<Void>

visit

public Void visit(Justification justification)

Specified by:

visit in interface JustificationVisitor<Void>

visit

public Void visit(Template template)

Specified by:

visit in interface JustificationVisitor<Void>

visit

public Void visit(Conclusion conclusion)

Specified by:

visit in interface JustificationVisitor<Void>

visit

public Void visit(SubConclusion subConclusion)

Specified by:

visit in interface JustificationVisitor<Void>

visit

public Void visit(Strategy strategy)

Specified by:

visit in interface JustificationVisitor<Void>

visit

public Void visit(Evidence evidence)

Specified by:

visit in interface JustificationVisitor<Void>

visit

public Void visit(AbstractSupport abstractSupport)

Specified by:

visit in interface JustificationVisitor<Void>