g.setColor(Value.FALSE.getColor());
g.drawPolyline(new int[] { 6, 6, 10, 10, 14, 14 },
new int[] { 10, 6, 6, 14, 14, 10 }, 6);
}
Direction dir = painter.getAttributeValue(StdAttr.FACING);
int pinx = 15; int piny = 8;
if (dir == Direction.EAST) { // keep defaults
} else if (dir == Direction.WEST) { pinx = 3;
} else if (dir == Direction.NORTH) { pinx = 8; piny = 3;
} else if (dir == Direction.SOUTH) { pinx = 8; piny = 15;