|Summary:||Problem reading xta files|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
|Bug Depends on:|
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 <email@example.com>.
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.