Modifier and Type | Field | Description |
---|---|---|
protected static int |
BOT |
|
protected static int |
CAPITALS |
|
protected static int |
DEPTH |
|
protected float |
factor |
|
protected static int |
HEIGHT |
|
boolean |
isBold |
|
boolean |
isIt |
|
boolean |
isRoman |
|
boolean |
isSs |
|
boolean |
isTt |
|
protected static int |
IT |
|
static java.util.List<java.lang.Character.UnicodeBlock> |
loadedAlphabets |
|
protected static int |
MID |
|
protected static int |
NONE |
No extension part for that kind (TOP,MID,REP or BOT)
|
protected static int |
NUMBERS |
|
static java.util.Map<java.lang.Character.UnicodeBlock,AlphabetRegistration> |
registeredAlphabets |
|
protected static int |
REP |
|
protected static int |
SMALL |
|
protected static int |
TOP |
|
protected static int |
UNICODE |
|
protected static int |
WIDTH |
Constructor | Description |
---|---|
DefaultTeXFont(float pointSize) |
|
DefaultTeXFont(float pointSize,
boolean b,
boolean rm,
boolean ss,
boolean tt,
boolean it) |
|
DefaultTeXFont(float pointSize,
float f,
boolean b,
boolean rm,
boolean ss,
boolean tt,
boolean it) |
Modifier and Type | Method | Description |
---|---|---|
static void |
addAlphabet(java.lang.Character.UnicodeBlock alphabet,
java.io.InputStream inlanguage,
java.lang.String language,
java.io.InputStream insymbols,
java.lang.String symbols,
java.io.InputStream inmappings,
java.lang.String mappings) |
|
static void |
addAlphabet(java.lang.Character.UnicodeBlock alphabet,
java.lang.String name) |
|
static void |
addAlphabet(java.lang.Object base,
java.lang.Character.UnicodeBlock[] alphabet,
java.lang.String language) |
|
static void |
addAlphabet(AlphabetRegistration reg) |
|
static void |
addTeXFontDescription(java.io.InputStream in,
java.lang.String name) |
|
static void |
addTeXFontDescription(java.lang.Object base,
java.io.InputStream in,
java.lang.String name) |
|
static void |
addTeXFontDescription(java.lang.String file) |
|
TeXFont |
copy() |
|
TeXFont |
deriveFont(float size) |
Derives a new
TeXFont object with the given point size |
static void |
enableMagnification(boolean b) |
|
float |
getAxisHeight(int style) |
|
float |
getBigOpSpacing1(int style) |
|
float |
getBigOpSpacing2(int style) |
|
float |
getBigOpSpacing3(int style) |
|
float |
getBigOpSpacing4(int style) |
|
float |
getBigOpSpacing5(int style) |
|
boolean |
getBold() |
|
Char |
getChar(char c,
java.lang.String textStyle,
int style) |
Get a Char-object specifying the given character in the given text style with
metric information depending on the given "style".
|
Char |
getChar(java.lang.String symbolName,
int style) |
Get a Char-object for the given symbol with metric information depending on
"style".
|
Char |
getChar(CharFont cf,
int style) |
Get a Char-object for this specific character containing the metric information
|
Char |
getDefaultChar(char c,
int style) |
Get a Char-object specifying the given character in the default text style with
metric information depending on the given "style".
|
float |
getDefaultRuleThickness(int style) |
|
float |
getDenom1(int style) |
|
float |
getDenom2(int style) |
|
float |
getEM(int style) |
|
Extension |
getExtension(Char c,
int style) |
Get an Extension-object for the given Char containing the 4 possible parts to
build an arbitrary large variant.
|
boolean |
getIt() |
|
float |
getKern(CharFont left,
CharFont right,
int style) |
Get the kern value to be inserted between the given characters in the given style.
|
CharFont |
getLigature(CharFont left,
CharFont right) |
Get the ligature that replaces both characters (if any).
|
int |
getMuFontId() |
|
Char |
getNextLarger(Char c,
int style) |
Get the next larger version of the given character.
|
float |
getNum1(int style) |
|
float |
getNum2(int style) |
|
float |
getNum3(int style) |
|
float |
getQuad(int style,
int fontCode) |
|
boolean |
getRoman() |
|
float |
getScaleFactor() |
|
float |
getSize() |
|
static float |
getSizeFactor(int style) |
|
float |
getSkew(CharFont cf,
int style) |
Get the kern amount of the character defined by the given CharFont followed by the
"skewchar" of it's font.
|
float |
getSpace(int style) |
|
boolean |
getSs() |
|
float |
getSub1(int style) |
|
float |
getSub2(int style) |
|
float |
getSubDrop(int style) |
|
float |
getSup1(int style) |
|
float |
getSup2(int style) |
|
float |
getSup3(int style) |
|
float |
getSupDrop(int style) |
|
boolean |
getTt() |
|
float |
getXHeight(int style,
int fontCode) |
|
boolean |
hasNextLarger(Char c) |
|
boolean |
hasSpace(int font) |
|
boolean |
isExtensionChar(Char c) |
|
static void |
registerAlphabet(AlphabetRegistration reg) |
|
TeXFont |
scaleFont(float factor) |
|
void |
setBold(boolean bold) |
|
void |
setIt(boolean it) |
|
static void |
setMagnification(float mag) |
|
static void |
setMathSizes(float ds,
float ts,
float ss,
float sss) |
|
void |
setRoman(boolean rm) |
|
void |
setSs(boolean ss) |
|
void |
setTt(boolean tt) |
protected static final int NONE
protected static final int NUMBERS
protected static final int CAPITALS
protected static final int SMALL
protected static final int UNICODE
protected static final int TOP
protected static final int MID
protected static final int REP
protected static final int BOT
protected static final int WIDTH
protected static final int HEIGHT
protected static final int DEPTH
protected static final int IT
public static java.util.List<java.lang.Character.UnicodeBlock> loadedAlphabets
public static java.util.Map<java.lang.Character.UnicodeBlock,AlphabetRegistration> registeredAlphabets
protected float factor
public boolean isBold
public boolean isRoman
public boolean isSs
public boolean isTt
public boolean isIt
public DefaultTeXFont(float pointSize)
public DefaultTeXFont(float pointSize, boolean b, boolean rm, boolean ss, boolean tt, boolean it)
public DefaultTeXFont(float pointSize, float f, boolean b, boolean rm, boolean ss, boolean tt, boolean it)
public static void addTeXFontDescription(java.lang.String file) throws ResourceParseException
ResourceParseException
public static void addTeXFontDescription(java.io.InputStream in, java.lang.String name) throws ResourceParseException
ResourceParseException
public static void addTeXFontDescription(java.lang.Object base, java.io.InputStream in, java.lang.String name) throws ResourceParseException
ResourceParseException
public static void addAlphabet(java.lang.Character.UnicodeBlock alphabet, java.io.InputStream inlanguage, java.lang.String language, java.io.InputStream insymbols, java.lang.String symbols, java.io.InputStream inmappings, java.lang.String mappings) throws ResourceParseException
ResourceParseException
public static void addAlphabet(java.lang.Object base, java.lang.Character.UnicodeBlock[] alphabet, java.lang.String language) throws ResourceParseException
ResourceParseException
public static void addAlphabet(java.lang.Character.UnicodeBlock alphabet, java.lang.String name)
public static void addAlphabet(AlphabetRegistration reg)
public static void registerAlphabet(AlphabetRegistration reg)
public TeXFont deriveFont(float size)
TeXFont
TeXFont
object with the given point sizederiveFont
in interface TeXFont
size
- the new size (in points) of the derived TeXFont
TeXFont
with the new sizepublic float getScaleFactor()
getScaleFactor
in interface TeXFont
public float getAxisHeight(int style)
getAxisHeight
in interface TeXFont
public float getBigOpSpacing1(int style)
getBigOpSpacing1
in interface TeXFont
public float getBigOpSpacing2(int style)
getBigOpSpacing2
in interface TeXFont
public float getBigOpSpacing3(int style)
getBigOpSpacing3
in interface TeXFont
public float getBigOpSpacing4(int style)
getBigOpSpacing4
in interface TeXFont
public float getBigOpSpacing5(int style)
getBigOpSpacing5
in interface TeXFont
public Char getChar(char c, java.lang.String textStyle, int style) throws TextStyleMappingNotFoundException
TeXFont
getChar
in interface TeXFont
c
- alphanumeric charactertextStyle
- the text style in which the character should be drawnstyle
- the style in which the atom should be drawnTextStyleMappingNotFoundException
- if there's no text style defined with
the given namepublic Char getChar(CharFont cf, int style)
TeXFont
public Char getChar(java.lang.String symbolName, int style) throws SymbolMappingNotFoundException
TeXFont
getChar
in interface TeXFont
symbolName
- the symbol namestyle
- the style in which the atom should be drawnSymbolMappingNotFoundException
- if there's no symbol defined with the given
namepublic Char getDefaultChar(char c, int style)
TeXFont
getDefaultChar
in interface TeXFont
c
- alphanumeric characterstyle
- the style in which the atom should be drawnpublic float getDefaultRuleThickness(int style)
getDefaultRuleThickness
in interface TeXFont
public Extension getExtension(Char c, int style)
TeXFont
getExtension
in interface TeXFont
c
- a Char-object for a specific characterstyle
- the style in which the atom should be drawnpublic float getKern(CharFont left, CharFont right, int style)
TeXFont
public CharFont getLigature(CharFont left, CharFont right)
TeXFont
getLigature
in interface TeXFont
left
- left characterright
- right characterpublic int getMuFontId()
getMuFontId
in interface TeXFont
public Char getNextLarger(Char c, int style)
TeXFont
getNextLarger
in interface TeXFont
c
- characterstyle
- the style in which the atom should be drawnpublic float getSize()
public float getSkew(CharFont cf, int style)
TeXFont
public float getSubDrop(int style)
getSubDrop
in interface TeXFont
public float getSupDrop(int style)
getSupDrop
in interface TeXFont
public float getXHeight(int style, int fontCode)
getXHeight
in interface TeXFont
public boolean hasNextLarger(Char c)
hasNextLarger
in interface TeXFont
c
- a characterpublic boolean isExtensionChar(Char c)
isExtensionChar
in interface TeXFont
c
- a characterpublic static void setMathSizes(float ds, float ts, float ss, float sss)
public static void setMagnification(float mag)
public static void enableMagnification(boolean b)
public static float getSizeFactor(int style)