public class Parser
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
MONOSPACED |
Constructor and Description |
---|
Parser() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getColor(java.lang.String s) |
static double |
getScale(java.lang.String s,
double def) |
static boolean |
isCodeEnd(java.lang.String line) |
static boolean |
isCodeStart(java.lang.String line) |
static boolean |
isLatexEnd(java.lang.String line) |
static boolean |
isLatexStart(java.lang.String line) |
static boolean |
isTreeStart(java.lang.String line) |
public static final java.lang.String MONOSPACED
public static boolean isLatexStart(java.lang.String line)
public static boolean isLatexEnd(java.lang.String line)
public static boolean isCodeStart(java.lang.String line)
public static boolean isCodeEnd(java.lang.String line)
public static boolean isTreeStart(java.lang.String line)
public static double getScale(java.lang.String s, double def)
public static java.lang.String getColor(java.lang.String s)