public class MarginBlock extends Block
| Modifier and Type | Field and Description |
|---|---|
static double |
MARGIN |
| Constructor and Description |
|---|
MarginBlock(Block child) |
| Modifier and Type | Method and Description |
|---|---|
void |
draw(java.awt.Graphics2D g2,
double x,
double y,
boolean reversed,
boolean onBackEdge,
int grayLevel) |
double |
getBottomHeight() |
java.awt.geom.Point2D |
getFirstChildPosition(boolean reversed) |
double |
getHeight() |
java.awt.geom.Point2D |
getLastChildPosition(boolean reversed) |
double |
getTopHeight() |
double |
getWidth() |
grayLevelToColor, isOptional, setOptional, setToDimmedForegroundColor, setToForegroundColorpublic static final double MARGIN
public MarginBlock(Block child)
public double getTopHeight()
getTopHeight in class Blockpublic double getBottomHeight()
getBottomHeight in class Blockpublic void draw(java.awt.Graphics2D g2,
double x,
double y,
boolean reversed,
boolean onBackEdge,
int grayLevel)
public java.awt.geom.Point2D getFirstChildPosition(boolean reversed)
getFirstChildPosition in class Blockpublic java.awt.geom.Point2D getLastChildPosition(boolean reversed)
getLastChildPosition in class Block