private static void show(
Comparable[] a, int figNum, int totalFigNum, String text) // figNum : 0, 1, ...totalFigNum-1
{
int N = a.length;
double yShift = (totalFigNum - 1 - figNum) * 1.2;
d.line(0, yShift, N, yShift); // draw x axis
for (int i = 0; i < N; i++) {
if (flag[i] == 0) d.setPenColor(Draw.GRAY);
else if (flag[i] == 1) d.setPenColor(Draw.BLACK);
else if (flag[i] == 2) d.setPenColor(Draw.RED);
d.filledRectangle(i, yShift + (Double) a[i] / 2.0, 0.3, (Double) a[i] / 2.0);
}
d.setPenColor();
d.text(0, yShift + 1.0, text);
}
