public class LogPrinter
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
END_MARKER |
static java.lang.String |
RANGE_SEPARATOR |
static java.lang.String |
SEPARATOR |
Constructor and Description |
---|
LogPrinter(Services services) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getBranchingLabel(Node node) |
java.util.function.Function<Node,java.lang.String> |
getMatchExpr() |
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
public LogPrinter(Services services)
public static java.lang.String getBranchingLabel(Node node)
public java.lang.String print(InteractionLog state)
state
- a statepublic java.util.function.Function<Node,java.lang.String> getMatchExpr()
public void setMatchExpr(java.util.function.Function<Node,java.lang.String> matchExpr)
Copyright © 2003-2019 The KeY-Project.