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

Class MUProofScriptExport

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

All Implemented Interfaces:

InteractionVisitor<java.lang.Void>

Direct Known Subclasses:

KPSProofScriptExport

public class MUProofScriptExport
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
MUProofScriptExport()
MUProofScriptExport(java.io.PrintWriter out)

Method Summary

Modifier and Type	Method and Description
protected java.lang.Void	defaultVisit(Interaction interaction)
private java.lang.String	firstWord(java.lang.String k)
static java.lang.String	getScript(InteractionLog current)
static java.lang.String	getScriptRepresentation(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)
private void	writeSelector(NodeIdentifier nodeId)
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 java.lang.Object

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

Constructor Detail

MUProofScriptExport

public MUProofScriptExport()

MUProofScriptExport

public MUProofScriptExport(java.io.PrintWriter out)

Method Detail

getScriptRepresentation

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

writeTo

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

getScript

public static java.lang.String getScript(InteractionLog current)

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>

firstWord

private java.lang.String firstWord(java.lang.String k)

writeSelector

private void writeSelector(NodeIdentifier nodeId)

visit

public java.lang.Void visit(UseDependencyContractBuiltInRuleInteraction 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(OSSBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(SMTBuiltInRuleInteraction 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(LoopContractInternalBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(ContractBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(LoopInvariantBuiltInRuleInteraction 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(MergeRuleBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>