public class TeXSymbolParser
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
DELIMITER_ATTR |
static java.lang.String |
RESOURCE_NAME |
static java.lang.String |
TYPE_ATTR |
| Constructor and Description |
|---|
TeXSymbolParser() |
TeXSymbolParser(java.io.InputStream file,
java.lang.String name) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Map<java.lang.String,SymbolAtom> |
readSymbols() |
public static final java.lang.String RESOURCE_NAME
public static final java.lang.String DELIMITER_ATTR
public static final java.lang.String TYPE_ATTR
public TeXSymbolParser()
throws ResourceParseException
ResourceParseExceptionpublic TeXSymbolParser(java.io.InputStream file,
java.lang.String name)
throws ResourceParseException
ResourceParseExceptionpublic java.util.Map<java.lang.String,SymbolAtom> readSymbols() throws ResourceParseException
ResourceParseException