org.scilab.forge.jlatexmath
Class DefaultTeXFontParser
java.lang.Object
org.scilab.forge.jlatexmath.DefaultTeXFontParser
public class DefaultTeXFontParser
- extends java.lang.Object
Parses the font information from an XML-file.
Method Summary |
static float |
getFloatAndCheck(java.lang.String attrName,
org.w3c.dom.Element element)
|
static int |
getIntAndCheck(java.lang.String attrName,
org.w3c.dom.Element element)
|
static float |
getOptionalFloat(java.lang.String attrName,
org.w3c.dom.Element element,
float defaultValue)
|
static int |
getOptionalInt(java.lang.String attrName,
org.w3c.dom.Element element,
int defaultValue)
|
java.lang.String[] |
parseDefaultTextStyleMappings()
|
FontInfo[] |
parseFontDescriptions(FontInfo[] fi)
|
FontInfo[] |
parseFontDescriptions(FontInfo[] fi,
java.io.InputStream file,
java.lang.String name)
|
java.util.Map<java.lang.String,java.lang.Number> |
parseGeneralSettings()
|
java.util.Map<java.lang.String,java.lang.Float> |
parseParameters()
|
java.util.Map<java.lang.String,CharFont> |
parseSymbolMappings()
|
java.util.Map<java.lang.String,CharFont[]> |
parseTextStyleMappings()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RESOURCE_NAME
public static final java.lang.String RESOURCE_NAME
- See Also:
- Constant Field Values
STYLE_MAPPING_EL
public static final java.lang.String STYLE_MAPPING_EL
- See Also:
- Constant Field Values
SYMBOL_MAPPING_EL
public static final java.lang.String SYMBOL_MAPPING_EL
- See Also:
- Constant Field Values
GEN_SET_EL
public static final java.lang.String GEN_SET_EL
- See Also:
- Constant Field Values
MUFONTID_ATTR
public static final java.lang.String MUFONTID_ATTR
- See Also:
- Constant Field Values
SPACEFONTID_ATTR
public static final java.lang.String SPACEFONTID_ATTR
- See Also:
- Constant Field Values
Font_ID
protected static java.util.ArrayList<java.lang.String> Font_ID
DefaultTeXFontParser
public DefaultTeXFontParser()
throws ResourceParseException
- Throws:
ResourceParseException
DefaultTeXFontParser
public DefaultTeXFontParser(java.io.InputStream file,
java.lang.String name)
throws ResourceParseException
- Throws:
ResourceParseException
parseFontDescriptions
public FontInfo[] parseFontDescriptions(FontInfo[] fi,
java.io.InputStream file,
java.lang.String name)
throws ResourceParseException
- Throws:
ResourceParseException
parseFontDescriptions
public FontInfo[] parseFontDescriptions(FontInfo[] fi)
throws ResourceParseException
- Throws:
ResourceParseException
parseSymbolMappings
public java.util.Map<java.lang.String,CharFont> parseSymbolMappings()
throws ResourceParseException
- Throws:
ResourceParseException
parseDefaultTextStyleMappings
public java.lang.String[] parseDefaultTextStyleMappings()
throws ResourceParseException
- Throws:
ResourceParseException
parseParameters
public java.util.Map<java.lang.String,java.lang.Float> parseParameters()
throws ResourceParseException
- Throws:
ResourceParseException
parseGeneralSettings
public java.util.Map<java.lang.String,java.lang.Number> parseGeneralSettings()
throws ResourceParseException
- Throws:
ResourceParseException
parseTextStyleMappings
public java.util.Map<java.lang.String,CharFont[]> parseTextStyleMappings()
getFloatAndCheck
public static float getFloatAndCheck(java.lang.String attrName,
org.w3c.dom.Element element)
throws ResourceParseException
- Throws:
ResourceParseException
getIntAndCheck
public static int getIntAndCheck(java.lang.String attrName,
org.w3c.dom.Element element)
throws ResourceParseException
- Throws:
ResourceParseException
getOptionalInt
public static int getOptionalInt(java.lang.String attrName,
org.w3c.dom.Element element,
int defaultValue)
throws ResourceParseException
- Throws:
ResourceParseException
getOptionalFloat
public static float getOptionalFloat(java.lang.String attrName,
org.w3c.dom.Element element,
float defaultValue)
throws ResourceParseException
- Throws:
ResourceParseException