org.scilab.forge.jlatexmath

Class DefaultTeXFontParser

java.lang.Object

org.scilab.forge.jlatexmath.DefaultTeXFontParser

public class DefaultTeXFontParser
extends Object

Parses the font information from an XML-file.

Field Summary

Fields

Modifier and Type	Field and Description
protected static ArrayList<String>	Font_ID
static String	GEN_SET_EL
static String	MUFONTID_ATTR
static String	RESOURCE_NAME
static String	SPACEFONTID_ATTR
static String	STYLE_MAPPING_EL
static String	SYMBOL_MAPPING_EL

Constructor Summary

Constructors

Constructor and Description
DefaultTeXFontParser()
DefaultTeXFontParser(InputStream file, String name)
DefaultTeXFontParser(Object base, InputStream file, String name)

Method Summary

Modifier and Type	Method and Description
static 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[]	parseDefaultTextStyleMappings()
protected void	parseExtraPath()
FontInfo[]	parseFontDescriptions(FontInfo[] fi)
FontInfo[]	parseFontDescriptions(FontInfo[] fi, InputStream file, String name)
Map<String,Number>	parseGeneralSettings()
Map<String,Float>	parseParameters()
Map<String,CharFont>	parseSymbolMappings()
Map<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 String RESOURCE_NAME

See Also:

Constant Field Values

STYLE_MAPPING_EL

public static final String STYLE_MAPPING_EL

See Also:

Constant Field Values

SYMBOL_MAPPING_EL

public static final String SYMBOL_MAPPING_EL

See Also:

Constant Field Values

GEN_SET_EL

public static final String GEN_SET_EL

See Also:

Constant Field Values

MUFONTID_ATTR

public static final String MUFONTID_ATTR

See Also:

Constant Field Values

SPACEFONTID_ATTR

public static final String SPACEFONTID_ATTR

See Also:

Constant Field Values

Font_ID

protected static ArrayList<String> Font_ID

Constructor Detail

DefaultTeXFontParser

public DefaultTeXFontParser()
                     throws ResourceParseException

Throws:

ResourceParseException

DefaultTeXFontParser

public DefaultTeXFontParser(InputStream file,
                            String name)
                     throws ResourceParseException

Throws:

ResourceParseException

DefaultTeXFontParser

public DefaultTeXFontParser(Object base,
                            InputStream file,
                            String name)
                     throws ResourceParseException

Throws:

ResourceParseException

Method Detail

parseFontDescriptions

public FontInfo[] parseFontDescriptions(FontInfo[] fi,
                                        InputStream file,
                                        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 Font createFont(String name)
                       throws ResourceParseException

Throws:

ResourceParseException

createFont

public static Font createFont(InputStream fontIn,
                              String name)
                       throws ResourceParseException

Throws:

ResourceParseException

parseSymbolMappings

public Map<String,CharFont> parseSymbolMappings()
                                         throws ResourceParseException

Throws:

ResourceParseException

parseDefaultTextStyleMappings

public String[] parseDefaultTextStyleMappings()
                                       throws ResourceParseException

Throws:

ResourceParseException

parseParameters

public Map<String,Float> parseParameters()
                                  throws ResourceParseException

Throws:

ResourceParseException

parseGeneralSettings

public Map<String,Number> parseGeneralSettings()
                                        throws ResourceParseException

Throws:

ResourceParseException

parseTextStyleMappings

public Map<String,CharFont[]> parseTextStyleMappings()

getFloatAndCheck

public static float getFloatAndCheck(String attrName,
                                     Element element)
                              throws ResourceParseException

Throws:

ResourceParseException

getIntAndCheck

public static int getIntAndCheck(String attrName,
                                 Element element)
                          throws ResourceParseException

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