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

Class KPSProofScriptExport

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.MUProofScriptExport

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

All Implemented Interfaces:

InteractionVisitor<java.lang.Void>

public class KPSProofScriptExport
extends MUProofScriptExport

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
KPSProofScriptExport()
KPSProofScriptExport(java.io.PrintWriter out)

Method Summary

Modifier and Type	Method and Description
protected java.lang.Void	defaultVisit(Interaction interaction)
static java.lang.String	getMarkdown(Interaction interaction)
java.lang.Void	visit(AutoModeInteraction interaction)
java.lang.Void	visit(ContractBuiltInRuleInteraction interaction)
java.lang.Void	visit(LoopContractInternalBuiltInRuleInteraction interaction)
java.lang.Void	visit(LoopInvariantBuiltInRuleInteraction interaction)
java.lang.Void	visit(MacroInteraction interaction)
java.lang.Void	visit(MergeRuleBuiltInRuleInteraction 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(SMTBuiltInRuleInteraction interaction)
java.lang.Void	visit(UseDependencyContractBuiltInRuleInteraction 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.MUProofScriptExport

getScript, getScriptRepresentation

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

translate, translate

Methods inherited from class java.lang.Object

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

Constructor Detail

KPSProofScriptExport

public KPSProofScriptExport()

KPSProofScriptExport

public KPSProofScriptExport(java.io.PrintWriter out)

Method Detail

getMarkdown

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

writeTo

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

defaultVisit

protected java.lang.Void defaultVisit(Interaction interaction)

Overrides:

defaultVisit in class MUProofScriptExport

visit

public java.lang.Void visit(RuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class MUProofScriptExport

visit

public java.lang.Void visit(UseDependencyContractBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class MUProofScriptExport

visit

public java.lang.Void visit(AutoModeInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class MUProofScriptExport

visit

public java.lang.Void visit(MacroInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class MUProofScriptExport

visit

public java.lang.Void visit(UserNoteInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class MUProofScriptExport

visit

public java.lang.Void visit(OSSBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class MUProofScriptExport

visit

public java.lang.Void visit(SMTBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class MUProofScriptExport

visit

public java.lang.Void visit(PruneInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class MUProofScriptExport

visit

public java.lang.Void visit(LoopContractInternalBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class MUProofScriptExport

visit

public java.lang.Void visit(ContractBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class MUProofScriptExport

visit

public java.lang.Void visit(LoopInvariantBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class MUProofScriptExport

visit

public java.lang.Void visit(SettingChangeInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class MUProofScriptExport

visit

public java.lang.Void visit(MergeRuleBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class MUProofScriptExport