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

Class LogPrinter

java.lang.Object

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

public class LogPrinter
extends java.lang.Object

Author:

Alexander Weigl

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	END_MARKER
private int	indent
private java.util.function.Function<Node,java.lang.String>	matchExpr
private java.io.PrintWriter	out
static java.lang.String	RANGE_SEPARATOR
static java.lang.String	SEPARATOR
private InteractionLog	state
private java.io.StringWriter	w

Constructor Summary

Constructors

Constructor and Description
LogPrinter()

Method Summary

Modifier and Type	Method and Description
private void	body()
private void	body(java.util.HashMap<Interaction,java.util.List<Interaction>> tree, Interaction interaction)
private void	footer()
static java.lang.String	getBranchingLabel(Node node)
java.util.function.Function<Node,java.lang.String>	getMatchExpr()
private void	header()
private void	newline()
java.lang.String	print(InteractionLog state) prints an interaction log as a proof script.
void	setMatchExpr(java.util.function.Function<Node,java.lang.String> matchExpr)

Methods inherited from class java.lang.Object

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

Field Detail

SEPARATOR

public static java.lang.String SEPARATOR

RANGE_SEPARATOR

public static java.lang.String RANGE_SEPARATOR

END_MARKER

public static java.lang.String END_MARKER

w

private java.io.StringWriter w

out

private java.io.PrintWriter out

matchExpr

private java.util.function.Function<Node,java.lang.String> matchExpr

indent

private int indent

state

private InteractionLog state

Constructor Detail

LogPrinter

public LogPrinter()

Method Detail

getBranchingLabel

public static java.lang.String getBranchingLabel(Node node)

print

public java.lang.String print(InteractionLog state)

prints an interaction log as a proof script.

Parameters:

state - a state

Returns:

header

private void header()

body

private void body()

body

private void body(java.util.HashMap<Interaction,java.util.List<Interaction>> tree,
                  Interaction interaction)

newline

private void newline()

footer

private void footer()

getMatchExpr

public java.util.function.Function<Node,java.lang.String> getMatchExpr()

setMatchExpr

public void setMatchExpr(java.util.function.Function<Node,java.lang.String> matchExpr)