|Summary:||Reading XTA and TA files failes|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
|Version:||3.6 Alpha 2|
Description Gerd Behrmann 2005-12-02 11:03:41 CET
On attempt to open an XTA file without a matching UGI file, the GUI generates a FileNotFoundException followed by a NullPointerException. The XTA file is not opened.
Comment 1 Gerd Behrmann 2005-12-02 11:31:29 CET
It seems the problem is actually much worse: It has nothing to do with missing UGI files. We simply cannot read TA and XTA files in the GUI in alpha 2. Also, the missing UGI error message is never shown, even when the UGI file is missing. Instead an error message is printed to stderr. This part is a minor issue though, as this error message has been eliminated in later version of the GUI.
Comment 2 Gerd Behrmann 2005-12-02 18:18:18 CET
A fix is already in CVS (revision 1300 seems to fix the problem).