public class LogPrinter
extends java.lang.Object
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 and Description |
---|
LogPrinter() |
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) |
public static java.lang.String SEPARATOR
public static java.lang.String RANGE_SEPARATOR
public static java.lang.String END_MARKER
private java.io.StringWriter w
private java.io.PrintWriter out
private java.util.function.Function<Node,java.lang.String> matchExpr
private int indent
private InteractionLog state
public static java.lang.String getBranchingLabel(Node node)
public java.lang.String print(InteractionLog state)
state
- a stateprivate void header()
private void body()
private void body(java.util.HashMap<Interaction,java.util.List<Interaction>> tree, Interaction interaction)
private void newline()
private void footer()
public java.util.function.Function<Node,java.lang.String> getMatchExpr()
public void setMatchExpr(java.util.function.Function<Node,java.lang.String> matchExpr)