Bug 160 - XML model without certain sections cause GUI problems
Summary: XML model without certain sections cause GUI problems
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.5.6
Hardware: PC Linux
: P4 minor
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2005-06-13 14:06 CEST by Ferdy Hanssen
Modified: 2005-06-17 16:26 CEST (History)
0 users

See Also:
Architecture:


Attachments
Model without global declaration section (484 bytes, text/xml)
2005-06-13 14:07 CEST, Ferdy Hanssen
Details
Model without system section (535 bytes, text/xml)
2005-06-13 14:07 CEST, Ferdy Hanssen
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Ferdy Hanssen 2005-06-13 14:06:51 CEST
When loading a Uppaal model in XML form where the global declaration section is
missing, Uppaal will load it, but Java will spit out a null pointer exception
when trying to edit the declarations.  Editing other textual parts of the model
afterwards does not work any more.

Missing local declaration sections are not a problem.  A missing instantiation
section is also not a problem.

A missing system section causes Uppaal to hang when loading the model.

The attached models can be used to show these problems.  These problems only
occur when using models modified by software other than Uppaal itself.
Comment 1 Ferdy Hanssen 2005-06-13 14:07:32 CEST
Created attachment 41 [details]
Model without global declaration section
Comment 2 Ferdy Hanssen 2005-06-13 14:07:52 CEST
Created attachment 42 [details]
Model without system section
Comment 3 Ferdy Hanssen 2005-06-13 14:25:25 CEST
I just noticed that the global declaration section is left out by Uppaal when
saving a model where the global declarations are empty (i.e., when the initial
comment is removed and the model is then saved).
Comment 4 Gerd Behrmann 2005-06-17 11:52:47 CEST
Confirmed. A fix will be checked into CVS later today.
Comment 5 Gerd Behrmann 2005-06-17 16:26:12 CEST
A fix for the problem with global declarations has been checked in (the declaration tag is optional, so of 
course the GUI should work even when it is not there).

The system tag is not optional (see the DTD), but I fixed the GUI such that it actually loads the file 
correctly anyway. I changed the server/verifyta such that an exception is thrown when the system tag is 
missing.

Resolving bug.