public class ParallelBlock extends Block
| Modifier and Type | Field and Description |
|---|---|
static double |
ARC |
static double |
PADDING |
static double |
SYMBOL_HEIGHT |
static double |
SYMBOL_LINE_WIDTH |
| Constructor and Description |
|---|
ParallelBlock(Block... children) |
ParallelBlock(java.util.List<Block> children) |
| Modifier and Type | Method and Description |
|---|---|
void |
draw(java.awt.Graphics2D g2,
double x,
double y,
boolean reversed,
boolean onBackEdge,
int grayLevel) |
java.awt.geom.Point2D |
getFirstChildPosition(boolean reversed) |
double |
getHeight() |
java.awt.geom.Point2D |
getLastChildPosition(boolean reversed) |
double |
getWidth() |
getBottomHeight, getTopHeight, grayLevelToColor, isOptional, setOptional, setToDimmedForegroundColor, setToForegroundColorpublic static final double PADDING
public static final double SYMBOL_HEIGHT
public static final double SYMBOL_LINE_WIDTH
public static final double ARC
public ParallelBlock(Block... children)
public ParallelBlock(java.util.List<Block> children)
public 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