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

Bug 80 - Problem reading xta files
Summary: Problem reading xta files
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.4.3
Hardware: PC Linux
: P2 normal
Assignee: Gerd Behrmann
Depends on:
Blocks: 100
  Show dependency tree
Reported: 2004-01-12 08:23 CET by Gerd Behrmann
Modified: 2005-02-18 11:03 CET (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Gerd Behrmann 2004-01-12 08:23:41 CET
When loading the 2doors demo file, then saving it as an .xta file, and then
loading that .xta file, you get an error stating that the initial states could
not  be found. It works in 3.4.2, which is strange since nothing related to this
has changed since then.

Reported by Mamoun FILALI-AMINE <>.
Comment 1 Gerd Behrmann 2004-01-14 16:14:23 CET
Turns out to be a problem with Xerces 2.6.0 (the XML parser we use). It works
with Xerces 2.5.0. I'm still trying to isolate the problem. As a workarround,
you can take the xercesImpl.jar file from Uppaal 3.4.2 and copy it into the lib
directory of Uppaal 3.4.3.
Comment 2 Gerd Behrmann 2004-03-12 11:09:50 CET
UPPAAL 3.4.4 has been shiped with Xerces 2.5.0. We need to see if this problem
has been solved in Xerces 2.6.2.
Comment 3 Gerd Behrmann 2004-05-04 10:48:52 CEST
I have changed the XTA parser so that it no longer uses internal Xerces APIs.
This should fix this bug, although some testing is required before we can
release the new code.
Comment 4 Gerd Behrmann 2004-05-13 14:04:37 CEST
The new code has been checked in.