| changeset 35000 | 952a7b4652f0 |
| parent 34752 | 9c262a013456 |
| child 35736 | bae6ea327651 |
| 34999:aacf94dab449 | 35000:952a7b4652f0 |
|---|---|
180 } |
180 } |
181 } |
181 } |
182 return null; |
182 return null; |
183 } |
183 } |
184 |
184 |
185 @Override |
185 @Override |
186 public String toString() { |
186 public String toString() { |
187 return "WrappedDiagnostic(" + getMessage(null) + ":" + getPosition() + ")"; |
187 return "WrappedDiagnostic(" + getMessage(null) + ":" + getPosition() + ")"; |
188 } |
188 } |
189 } |
189 } |
190 } |
190 } |