de.uka.ilkd.key.gui.interactionlog.algo

Class MarkdownExport

java.lang.Object

de.uka.ilkd.key.gui.interactionlog.algo.DefaultInteractionVisitor<java.lang.Void>

de.uka.ilkd.key.gui.interactionlog.algo.StreamInteractionVisitor

de.uka.ilkd.key.gui.interactionlog.algo.MarkdownExport

All Implemented Interfaces:

InteractionVisitor<java.lang.Void>

public class MarkdownExport
extends StreamInteractionVisitor

Version:

1 (09.12.18)

Author:

Alexander Weigl

Field Summary

Fields inherited from class de.uka.ilkd.key.gui.interactionlog.algo.StreamInteractionVisitor

out

Constructor Summary

Constructors

Constructor and Description
MarkdownExport()
MarkdownExport(java.io.PrintWriter writer)

Method Summary

Modifier and Type	Method and Description
protected java.lang.Void	defaultVisit(Interaction interaction)
static java.lang.String	getHtml(Interaction inter)
static java.lang.String	getMarkdown(Interaction interaction)
java.lang.Void	visit(AutoModeInteraction interaction)
java.lang.Void	visit(MacroInteraction interaction)
java.lang.Void	visit(OSSBuiltInRuleInteraction interaction)
java.lang.Void	visit(PruneInteraction interaction)
java.lang.Void	visit(RuleInteraction interaction)
java.lang.Void	visit(SettingChangeInteraction interaction)
java.lang.Void	visit(UserNoteInteraction interaction)
static void	writeTo(InteractionLog logbook, java.io.PrintWriter writer)

Methods inherited from class de.uka.ilkd.key.gui.interactionlog.algo.StreamInteractionVisitor

translate, translate

Methods inherited from class de.uka.ilkd.key.gui.interactionlog.algo.DefaultInteractionVisitor

visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

MarkdownExport

public MarkdownExport()

MarkdownExport

public MarkdownExport(java.io.PrintWriter writer)

Method Detail

getMarkdown

public static java.lang.String getMarkdown(Interaction interaction)

writeTo

public static void writeTo(InteractionLog logbook,
                           java.io.PrintWriter writer)

getHtml

public static java.lang.String getHtml(Interaction inter)

defaultVisit

protected java.lang.Void defaultVisit(Interaction interaction)

Overrides:

defaultVisit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(RuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(AutoModeInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(MacroInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(UserNoteInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(PruneInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(SettingChangeInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(OSSBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>