public class DefaultTeXFontParser
extends java.lang.Object
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 | Description |
---|---|
DefaultTeXFontParser() |
|
DefaultTeXFontParser(java.io.InputStream file,
java.lang.String name) |
|
DefaultTeXFontParser(java.lang.Object base,
java.io.InputStream file,
java.lang.String name) |
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) |
public static final java.lang.String RESOURCE_NAME
public static final java.lang.String STYLE_MAPPING_EL
public static final java.lang.String SYMBOL_MAPPING_EL
public static final java.lang.String GEN_SET_EL
public static final java.lang.String MUFONTID_ATTR
public static final java.lang.String SPACEFONTID_ATTR
protected static java.util.ArrayList<java.lang.String> Font_ID
public DefaultTeXFontParser() throws ResourceParseException
ResourceParseException
public DefaultTeXFontParser(java.io.InputStream file, java.lang.String name) throws ResourceParseException
ResourceParseException
public DefaultTeXFontParser(java.lang.Object base, java.io.InputStream file, java.lang.String name) throws ResourceParseException
ResourceParseException
public FontInfo[] parseFontDescriptions(FontInfo[] fi, java.io.InputStream file, java.lang.String name) throws ResourceParseException
ResourceParseException
public FontInfo[] parseFontDescriptions(FontInfo[] fi) throws ResourceParseException
ResourceParseException
protected void parseExtraPath() throws ResourceParseException
ResourceParseException
public static void registerFonts(boolean b)
public static java.awt.Font createFont(java.lang.String name) throws ResourceParseException
ResourceParseException
public static java.awt.Font createFont(java.io.InputStream fontIn, java.lang.String name) throws ResourceParseException
ResourceParseException
public java.util.Map<java.lang.String,CharFont> parseSymbolMappings() throws ResourceParseException
ResourceParseException
public java.lang.String[] parseDefaultTextStyleMappings() throws ResourceParseException
ResourceParseException
public java.util.Map<java.lang.String,java.lang.Float> parseParameters() throws ResourceParseException
ResourceParseException
public java.util.Map<java.lang.String,java.lang.Number> parseGeneralSettings() throws ResourceParseException
ResourceParseException
public java.util.Map<java.lang.String,CharFont[]> parseTextStyleMappings()
public static float getFloatAndCheck(java.lang.String attrName, org.w3c.dom.Element element) throws ResourceParseException
ResourceParseException
public static int getIntAndCheck(java.lang.String attrName, org.w3c.dom.Element element) throws ResourceParseException
ResourceParseException
public static int getOptionalInt(java.lang.String attrName, org.w3c.dom.Element element, int defaultValue) throws ResourceParseException
ResourceParseException
public static float getOptionalFloat(java.lang.String attrName, org.w3c.dom.Element element, float defaultValue) throws ResourceParseException
ResourceParseException