Package org.scilab.forge.jlatexmath
Class DefaultTeXFontParser
java.lang.Object
org.scilab.forge.jlatexmath.DefaultTeXFontParser
Parses the font information from an XML-file.
-
Field Summary
Fields -
Constructor Summary
ConstructorsConstructorDescriptionDefaultTeXFontParser(InputStream file, String name) DefaultTeXFontParser(Object base, InputStream file, String name) -
Method Summary
Modifier and TypeMethodDescriptionstatic floatgetFloatAndCheck(String attrName, XmlElement element) static intgetIntAndCheck(String attrName, XmlElement element) static floatgetOptionalFloat(String attrName, XmlElement element, float defaultValue) static intgetOptionalInt(String attrName, XmlElement element, int defaultValue) String[]protected voidFontInfo[]FontInfo[]parseFontDescriptions(FontInfo[] fi, InputStream file, String name)
-
Field Details
-
RESOURCE_NAME
- See Also:
-
STYLE_MAPPING_EL
- See Also:
-
SYMBOL_MAPPING_EL
- See Also:
-
GEN_SET_EL
- See Also:
-
MUFONTID_ATTR
- See Also:
-
SPACEFONTID_ATTR
- See Also:
-
Font_ID
-
-
Constructor Details
-
DefaultTeXFontParser
- Throws:
ResourceParseException
-
DefaultTeXFontParser
- Throws:
ResourceParseException
-
DefaultTeXFontParser
public DefaultTeXFontParser(Object base, InputStream file, String name) throws ResourceParseException - Throws:
ResourceParseException
-
-
Method Details
-
parseFontDescriptions
public FontInfo[] parseFontDescriptions(FontInfo[] fi, InputStream file, String name) throws ResourceParseException - Throws:
ResourceParseException
-
parseFontDescriptions
- Throws:
ResourceParseException
-
parseExtraPath
- Throws:
ResourceParseException
-
parseSymbolMappings
- Throws:
ResourceParseException
-
parseDefaultTextStyleMappings
- Throws:
ResourceParseException
-
parseParameters
- Throws:
ResourceParseException
-
parseGeneralSettings
- Throws:
ResourceParseException
-
parseTextStyleMappings
-
getFloatAndCheck
public static float getFloatAndCheck(String attrName, XmlElement element) throws ResourceParseException - Throws:
ResourceParseException
-
getIntAndCheck
- Throws:
ResourceParseException
-
getOptionalInt
public static int getOptionalInt(String attrName, XmlElement element, int defaultValue) throws ResourceParseException - Throws:
ResourceParseException
-
getOptionalFloat
public static float getOptionalFloat(String attrName, XmlElement element, float defaultValue) throws ResourceParseException - Throws:
ResourceParseException
-