public void paint(Graphics2D g, Rectangle2D allocation, double scale) {
if (boundaryPath0 == null) createShape(allocation);
if (insidePath != null) g.draw(insidePath);
if (boundaryPath0 != null) g.draw(boundaryPath0);
if (boundaryPath1 != null) g.draw(boundaryPath1);
g.setStroke(ConvexZoneViewParameters.getDashedLineStroke());
if (allocationIntersectionPath0 != null) g.draw(allocationIntersectionPath0);
if (allocationIntersectionPath1 != null) g.draw(allocationIntersectionPath1);
g.setStroke(ConvexZoneViewParameters.getSolidLineStroke());
convexZoneHalfPlaneView.paint(g, allocation, scale);
if (DEBUG) debug();
}
// -----------------------------------------------------------------------
public void paintHighlighter(Graphics2D g, Rectangle2D allocation, double scale) {
convexZoneHalfPlaneView.paintHighlighter(g, allocation, scale);
}
