public class OverBar extends Box
background, children, DEBUG, depth, elderParent, foreground, height, markForDEBUG, parent, shift, type, width
Constructor and Description |
---|
OverBar(Box b,
float kern,
float thickness) |
Modifier and Type | Method and Description |
---|---|
void |
add(Box b)
Inserts the given box at the end of the list of child boxes.
|
void |
add(Box b,
float interline) |
void |
add(int pos,
Box b)
Inserts the given box at the given position in the list of child boxes.
|
void |
draw(java.awt.Graphics2D g2,
float x,
float y)
Paints this box at the given coordinates using the given graphics context.
|
int |
getLastFontId()
Get the id of the font that will be used the last when this box will be painted.
|
int |
getSize() |
public OverBar(Box b, float kern, float thickness)
public final void add(Box b)
Box
public final void add(Box b, float interline)
public void add(int pos, Box b)
Box
public void draw(java.awt.Graphics2D g2, float x, float y)
Box
public int getSize()
public int getLastFontId()
Box
getLastFontId
in class Box