static void |
DefaultTeXFont.addAlphabet(java.lang.Character.UnicodeBlock alphabet,
java.io.InputStream inlanguage,
java.lang.String language,
java.io.InputStream insymbols,
java.lang.String symbols,
java.io.InputStream inmappings,
java.lang.String mappings) |
static void |
DefaultTeXFont.addAlphabet(java.lang.Object base,
java.lang.Character.UnicodeBlock[] alphabet,
java.lang.String language) |
static void |
TeXFormula.addPredefinedCommands(java.io.InputStream xmlFile) |
static void |
TeXFormula.addPredefinedTeXFormula(java.io.InputStream xmlFile) |
static void |
TeXFormula.addSymbolMappings(java.io.InputStream in,
java.lang.String name) |
static void |
TeXFormula.addSymbolMappings(java.lang.String file) |
static void |
DefaultTeXFont.addTeXFontDescription(java.io.InputStream in,
java.lang.String name) |
static void |
DefaultTeXFont.addTeXFontDescription(java.lang.Object base,
java.io.InputStream in,
java.lang.String name) |
static void |
DefaultTeXFont.addTeXFontDescription(java.lang.String file) |
static java.awt.Font |
DefaultTeXFontParser.createFont(java.io.InputStream fontIn,
java.lang.String name) |
static java.awt.Font |
DefaultTeXFontParser.createFont(java.lang.String name) |
int[][][] |
GlueSettingsParser.createGlueTable() |
static float |
DefaultTeXFontParser.getFloatAndCheck(java.lang.String attrName,
org.w3c.dom.Element element) |
static int |
DefaultTeXFontParser.getIntAndCheck(java.lang.String attrName,
org.w3c.dom.Element element) |
static float |
DefaultTeXFontParser.getOptionalFloat(java.lang.String attrName,
org.w3c.dom.Element element,
float defaultValue) |
static int |
DefaultTeXFontParser.getOptionalInt(java.lang.String attrName,
org.w3c.dom.Element element,
int defaultValue) |
java.lang.Object |
TeXFormulaParser.parse() |
java.lang.String[] |
DefaultTeXFontParser.parseDefaultTextStyleMappings() |
protected void |
DefaultTeXFontParser.parseExtraPath() |
FontInfo[] |
DefaultTeXFontParser.parseFontDescriptions(FontInfo[] fi) |
FontInfo[] |
DefaultTeXFontParser.parseFontDescriptions(FontInfo[] fi,
java.io.InputStream file,
java.lang.String name) |
java.util.Map<java.lang.String,java.lang.Number> |
DefaultTeXFontParser.parseGeneralSettings() |
java.util.Map<java.lang.String,java.lang.Float> |
DefaultTeXFontParser.parseParameters() |
java.util.Map<java.lang.String,CharFont> |
DefaultTeXFontParser.parseSymbolMappings() |
void |
TeXFormulaSettingsParser.parseSymbolMappings(java.lang.String[] mappings,
java.lang.String[] textMappings) |
void |
TeXFormulaSettingsParser.parseSymbolToFormulaMappings(java.lang.String[] mappings,
java.lang.String[] textMappings) |
java.util.Map<java.lang.String,SymbolAtom> |
TeXSymbolParser.readSymbols() |