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
ResourceParseException
public TeXSymbolParser(java.io.InputStream file, java.lang.String name) throws ResourceParseException
ResourceParseException
public java.util.Map<java.lang.String,SymbolAtom> readSymbols() throws ResourceParseException
ResourceParseException