public class DefaultTeXFontParser extends Object
| 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 and Description |
|---|
DefaultTeXFontParser() |
DefaultTeXFontParser(InputStream file,
String name) |
DefaultTeXFontParser(Object base,
InputStream file,
String name) |
| 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) |
public static final String RESOURCE_NAME
public static final String STYLE_MAPPING_EL
public static final String SYMBOL_MAPPING_EL
public static final String GEN_SET_EL
public static final String MUFONTID_ATTR
public static final String SPACEFONTID_ATTR
public DefaultTeXFontParser()
throws ResourceParseException
ResourceParseExceptionpublic DefaultTeXFontParser(InputStream file, String name) throws ResourceParseException
ResourceParseExceptionpublic DefaultTeXFontParser(Object base, InputStream file, String name) throws ResourceParseException
ResourceParseExceptionpublic FontInfo[] parseFontDescriptions(FontInfo[] fi, InputStream file, String name) throws ResourceParseException
ResourceParseExceptionpublic FontInfo[] parseFontDescriptions(FontInfo[] fi) throws ResourceParseException
ResourceParseExceptionprotected void parseExtraPath()
throws ResourceParseException
ResourceParseExceptionpublic static void registerFonts(boolean b)
public static Font createFont(String name) throws ResourceParseException
ResourceParseExceptionpublic static Font createFont(InputStream fontIn, String name) throws ResourceParseException
ResourceParseExceptionpublic Map<String,CharFont> parseSymbolMappings() throws ResourceParseException
ResourceParseExceptionpublic String[] parseDefaultTextStyleMappings() throws ResourceParseException
ResourceParseExceptionpublic Map<String,Float> parseParameters() throws ResourceParseException
ResourceParseExceptionpublic Map<String,Number> parseGeneralSettings() throws ResourceParseException
ResourceParseExceptionpublic static float getFloatAndCheck(String attrName, Element element) throws ResourceParseException
ResourceParseExceptionpublic static int getIntAndCheck(String attrName, Element element) throws ResourceParseException
ResourceParseExceptionpublic static int getOptionalInt(String attrName, Element element, int defaultValue) throws ResourceParseException
ResourceParseExceptionpublic static float getOptionalFloat(String attrName, Element element, float defaultValue) throws ResourceParseException
ResourceParseExceptionCopyright © 2014–2018. All rights reserved.