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 Font
createFont
(InputStream fontIn, String name) static Font
createFont
(String name) static float
getFloatAndCheck
(String attrName, Element element) static int
getIntAndCheck
(String attrName, Element element) static float
getOptionalFloat
(String attrName, Element element, float defaultValue) static int
getOptionalInt
(String attrName, Element element, int defaultValue) String[]
protected void
FontInfo[]
FontInfo[]
parseFontDescriptions
(FontInfo[] fi, InputStream file, String name) static void
registerFonts
(boolean b)
-
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
-
registerFonts
public static void registerFonts(boolean b) -
createFont
- Throws:
ResourceParseException
-
createFont
- Throws:
ResourceParseException
-
parseSymbolMappings
- Throws:
ResourceParseException
-
parseDefaultTextStyleMappings
- Throws:
ResourceParseException
-
parseParameters
- Throws:
ResourceParseException
-
parseGeneralSettings
- Throws:
ResourceParseException
-
parseTextStyleMappings
-
getFloatAndCheck
public static float getFloatAndCheck(String attrName, Element element) throws ResourceParseException - Throws:
ResourceParseException
-
getIntAndCheck
- Throws:
ResourceParseException
-
getOptionalInt
public static int getOptionalInt(String attrName, Element element, int defaultValue) throws ResourceParseException - Throws:
ResourceParseException
-
getOptionalFloat
public static float getOptionalFloat(String attrName, Element element, float defaultValue) throws ResourceParseException - Throws:
ResourceParseException
-