public final class Utility
extends java.lang.Object
Constructor and Description |
---|
Utility() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
prettyString(ru.ispras.fortress.expression.Node node) |
static java.lang.String |
prettyString(ru.ispras.fortress.expression.Node node,
int indent) |
static ru.ispras.fortress.util.Pair<java.lang.String,java.lang.String> |
splitOnFirst(java.lang.String name,
char c) |
static ru.ispras.fortress.util.Pair<java.lang.String,java.lang.String> |
splitOnLast(java.lang.String name,
char c) |
public static ru.ispras.fortress.util.Pair<java.lang.String,java.lang.String> splitOnLast(java.lang.String name, char c)
public static ru.ispras.fortress.util.Pair<java.lang.String,java.lang.String> splitOnFirst(java.lang.String name, char c)
public static java.lang.String prettyString(ru.ispras.fortress.expression.Node node)
public static java.lang.String prettyString(ru.ispras.fortress.expression.Node node, int indent)