(final String file, final int line, final String error)
| 86 | } |
| 87 | |
| 88 | private void addFailure(final String file, final int line, final String error) { |
| 89 | failures_.add(file + ", line " + (line <= 0 ? 1 : line) + ": " + error); |
| 90 | } |
| 91 | |
| 92 | /** |
| 93 | * @throws IOException if the test fails |
no test coverage detected