org.scilab.forge.jlatexmath
Class DefaultTeXFontParser

java.lang.Object
  extended by org.scilab.forge.jlatexmath.DefaultTeXFontParser

public class DefaultTeXFontParser
extends java.lang.Object

Parses the font information from an XML-file.


Field Summary
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
DefaultTeXFontParser()
           
 
Method Summary
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()
           
 FontInfo[] parseFontDescriptions(FontInfo[] fi)
           
 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()
           
 
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
Constructor Detail

DefaultTeXFontParser

public DefaultTeXFontParser()
                     throws ResourceParseException
Throws:
ResourceParseException
Method Detail

parseFontDescriptions

public FontInfo[] parseFontDescriptions(FontInfo[] fi)
                                 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