| changeset 40232 | 4995ab1a4558 |
| parent 37758 | 3ecf9b414e05 |
| child 40308 | 274367a99f98 |
| 40231:ba38ad2dd137 | 40232:4995ab1a4558 |
|---|---|
114 out.println(summary); |
114 out.println(summary); |
115 if (errorCount > 0) { |
115 if (errorCount > 0) { |
116 throw new Exception(errorCount + " errors found"); |
116 throw new Exception(errorCount + " errors found"); |
117 } |
117 } |
118 } |
118 } |
119 |
|
120 public void error(String message) { |
|
121 out.println("Error: " + message); |
|
122 errorCount++; |
|
123 } |
|
119 } |
124 } |