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

Bug 231 - Reading XTA and TA files failes
Summary: Reading XTA and TA files failes
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.6 Alpha 2
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
Depends on:
Reported: 2005-12-02 11:03 CET by Gerd Behrmann
Modified: 2005-12-02 18:18 CET (History)
1 user (show)

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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
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).