public void render(Color c, int stroke, int markType) {
if (c == null) c = Color.RED;
V.pushColor(c);
if (defined()) {
seg.render(c, stroke, markType);
} else {
for (int i = 0; i < 2; i++) {
if (i == 1 && discA == discB) continue;
EdObject obj = object(i);
if (obj instanceof EdDisc) {
EdDisc d = (EdDisc) obj;
stroke = STRK_RUBBERBAND;
V.pushStroke(stroke);
double r = Math.max(d.getRadius() - 4, 2.0);
V.drawCircle(d.getOrigin(), r);
V.popStroke();
} else {
Tools.unimp("rendering undefined bitangents of polygons");
}
}
}
V.popColor();
}
