public class TeXSymbolParser
extends java.lang.Object
| Modifier and Type | Field | Description |
|---|---|---|
static java.lang.String |
DELIMITER_ATTR |
|
static java.lang.String |
RESOURCE_NAME |
|
static java.lang.String |
TYPE_ATTR |
| Constructor | Description |
|---|---|
TeXSymbolParser() |
|
TeXSymbolParser(java.io.InputStream file,
java.lang.String name) |
| Modifier and Type | Method | 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