public interface OutputDisplay
| Modifier and Type | Method and Description |
|---|---|
void |
colorizeByClass(Area area,
java.lang.String cname)
Draws the colorized are bounds.
|
void |
colorizeByTags(Area area,
java.util.Set<Tag> s)
Draws the colorized are bounds.
|
void |
drawBox(Box box)
Draws the box contents on the page depending on the box type.
|
void |
drawExtent(Area area)
Draws the area bounds at the output display.
|
void |
drawExtent(Box box)
Draws the box bounds at the output display.
|
void |
drawPage(Page page)
Draws the complete page including all the boxes.
|
void |
drawRectangle(Rectangular rect,
java.awt.Color color)
Draws the given rectangle with the specified color.
|
java.awt.Graphics2D |
getGraphics() |
java.awt.Graphics2D getGraphics()
void drawPage(Page page)
page - The page to draw.void drawBox(Box box)
box - The box do draw.void drawExtent(Box box)
box - The box to be displayedvoid drawExtent(Area area)
area - The area to be displayedvoid drawRectangle(Rectangular rect, java.awt.Color color)
rect - the rectangle to be drawncolor - the drawing colorvoid colorizeByTags(Area area, java.util.Set<Tag> s)
area - The area to be displayeds - A set of tags used for generating the area colorsvoid colorizeByClass(Area area, java.lang.String cname)
area - The area to be displayedcname - The class name used for generating the colors.