This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 199

Summary: Better default exception handling
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Robert Olesen <egir>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P3    
Version: unspecified   
Hardware: All   
OS: All   
Architecture:

Description Gerd Behrmann 2005-09-14 22:21:17 CEST
At the moment an uncaught exception causes a stract trace to be printed in the console. In Java 5, it is 
relatively easy to catch those exception by setting a default exception handler by calling 
Thread.setDefaultUncaughtExceptionHandler(). We should extend the GUI such that uncaught 
exceptions are processed rather than printed to the console.

A first implementation should provide a nice dialog showing the error message, with a button to show 
more details (the stack trace). The stack trace must then be cut'n'pastable (i.e. it must be possible to 
select the text - easy if the correct control is used). This is similar to how windows deals with 
exceptions.

A second implementation should offer to email the stack trace together with an optional description of 
what the user was doing, a copy of the model, and various version information to our internal mailing 
list (or some other address).

The framework must be flexible enough such that other exceptions can be processed as well, e.g., if we 
actually catch an exception, but do not know how to process it, then we should call the default handler 
rather than simply ignore the exception.
Comment 1 Gerd Behrmann 2005-09-22 13:29:10 CEST
Reassigned to Mads.
Comment 2 Gerd Behrmann 2005-11-01 09:40:05 CET
Some initial code for displaying a dialog box with any uncaught exception has been added to CVS. It needs 
to be improved: E.g. optionally showing the stack trace.
Comment 3 Gerd Behrmann 2006-02-23 17:05:40 CET
Mads is too busy to work on these things. Robert, I hope you can find some time to do some work on 
these items.
Comment 4 Robert Olesen 2006-03-03 12:30:44 CET
ok