public class PredefinedTeXFormulaParser
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
RESOURCE_NAME |
Constructor and Description |
---|
PredefinedTeXFormulaParser(java.io.InputStream file,
java.lang.String type) |
PredefinedTeXFormulaParser(java.lang.String PredefFile,
java.lang.String type) |
Modifier and Type | Method and Description |
---|---|
void |
parse(java.util.Map predefinedTeXFormulas) |
public static final java.lang.String RESOURCE_NAME
public PredefinedTeXFormulaParser(java.io.InputStream file, java.lang.String type) throws ResourceParseException
ResourceParseException
public PredefinedTeXFormulaParser(java.lang.String PredefFile, java.lang.String type) throws ResourceParseException
ResourceParseException