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

Class StreamInteractionVisitor

java.lang.Object

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

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

All Implemented Interfaces:

InteractionVisitor<java.lang.Void>

Direct Known Subclasses:

MarkdownExport, MUProofScriptExport

public class StreamInteractionVisitor
extends DefaultInteractionVisitor<java.lang.Void>

Version:

1 (09.12.18)

Author:

Alexander Weigl

Field Summary

Fields

Modifier and Type	Field and Description
protected java.io.PrintWriter	out

Constructor Summary

Constructors

Constructor and Description
StreamInteractionVisitor()
StreamInteractionVisitor(java.io.PrintWriter out)

Method Summary

Modifier and Type	Method and Description
static java.lang.String	translate(StreamInteractionVisitor visitor, Interaction interaction)
static void	translate(StreamInteractionVisitor visitor, InteractionLog logbook)

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

defaultVisit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Field Detail

out

protected java.io.PrintWriter out

Constructor Detail

StreamInteractionVisitor

public StreamInteractionVisitor()

StreamInteractionVisitor

public StreamInteractionVisitor(java.io.PrintWriter out)

Method Detail

translate

public static java.lang.String translate(StreamInteractionVisitor visitor,
                                         Interaction interaction)

translate

public static void translate(StreamInteractionVisitor visitor,
                             InteractionLog logbook)