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

Bug 80

Summary: Problem reading xta files
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: normal    
Priority: P2    
Version: 3.4.3   
Hardware: PC   
OS: Linux   
Architecture:
Bug Depends on:    
Bug Blocks: 100    

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 <filali@irit.fr>.
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.