public class TeXSymbolParser extends Object
| Modifier and Type | Field and Description |
|---|---|
static String |
DELIMITER_ATTR |
static String |
RESOURCE_NAME |
static String |
TYPE_ATTR |
| Constructor and Description |
|---|
TeXSymbolParser() |
TeXSymbolParser(InputStream file,
String name) |
| Modifier and Type | Method and Description |
|---|---|
Map<String,SymbolAtom> |
readSymbols() |
public static final String RESOURCE_NAME
public static final String DELIMITER_ATTR
public static final String TYPE_ATTR
public TeXSymbolParser()
throws ResourceParseException
ResourceParseExceptionpublic TeXSymbolParser(InputStream file, String name) throws ResourceParseException
ResourceParseExceptionpublic Map<String,SymbolAtom> readSymbols() throws ResourceParseException
ResourceParseExceptionCopyright © 2014–2018. All rights reserved.