Package 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.
-
-
Field Summary
Fields Modifier and Type Field Description protected static java.util.ArrayList<java.lang.String>
Font_ID
static java.lang.String
GEN_SET_EL
static java.lang.String
MUFONTID_ATTR
static java.lang.String
RESOURCE_NAME
static java.lang.String
SPACEFONTID_ATTR
static java.lang.String
STYLE_MAPPING_EL
static java.lang.String
SYMBOL_MAPPING_EL
-
Constructor Summary
Constructors Constructor Description DefaultTeXFontParser()
DefaultTeXFontParser(java.io.InputStream file, java.lang.String name)
DefaultTeXFontParser(java.lang.Object base, java.io.InputStream file, java.lang.String name)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static java.awt.Font
createFont(java.io.InputStream fontIn, java.lang.String name)
static java.awt.Font
createFont(java.lang.String name)
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()
protected void
parseExtraPath()
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()
static void
registerFonts(boolean b)
-
-
-
Field Detail
-
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
-
-
Constructor Detail
-
DefaultTeXFontParser
public DefaultTeXFontParser() throws ResourceParseException
- Throws:
ResourceParseException
-
DefaultTeXFontParser
public DefaultTeXFontParser(java.io.InputStream file, java.lang.String name) throws ResourceParseException
- Throws:
ResourceParseException
-
DefaultTeXFontParser
public DefaultTeXFontParser(java.lang.Object base, java.io.InputStream file, java.lang.String name) throws ResourceParseException
- Throws:
ResourceParseException
-
-
Method Detail
-
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
-
parseExtraPath
protected void parseExtraPath() throws ResourceParseException
- Throws:
ResourceParseException
-
registerFonts
public static void registerFonts(boolean b)
-
createFont
public static java.awt.Font createFont(java.lang.String name) throws ResourceParseException
- Throws:
ResourceParseException
-
createFont
public static java.awt.Font createFont(java.io.InputStream fontIn, java.lang.String name) 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
-
-