(String message, ObjectReference or, ThreadReference thread)
| 795 | // presumably because exceptions may be wrapped inside others, |
| 796 | // and this will fire for both. |
| 797 | protected void reportException(String message, ObjectReference or, ThreadReference thread) { |
| 798 | listener.statusError(findException(message, or, thread)); |
| 799 | } |
| 800 | |
| 801 | |
| 802 | /** |
no test coverage detected