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 and 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 and 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

Modifier and Type	Method and 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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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