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

Bug 231

Summary: Reading XTA and TA files failes
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: normal CC: marius
Priority: P2    
Version: 3.6 Alpha 2   
Hardware: All   
OS: All   

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).