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.