private void printSummary(Writer writer) throws IOException {
int index = 1;
Iterator4 e = iterator();
while (e.moveNext()) {
writer.write(String.valueOf(index));
writer.write(") ");
writer.write(((TestFailure) e.current()).testLabel());
writer.write(TestPlatform.NEW_LINE);
++index;
}
}
private void printDetails(Writer writer) throws IOException {
int index = 1;
Iterator4 e = iterator();
while (e.moveNext()) {
writer.write(TestPlatform.NEW_LINE);
writer.write(String.valueOf(index));
writer.write(") ");
((Printable) e.current()).print(writer);
writer.write(TestPlatform.NEW_LINE);
++index;
}
}