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

Bug 381 - xta parser does not handle comments
Summary: xta parser does not handle comments
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.3
Hardware: Macintosh Mac OS
: P1 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-12-15 17:46 CET by Robert Keller
Modified: 2006-12-22 17:55 CET (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Robert Keller 2006-12-15 17:46:51 CET 
If one includes a comment in a transition, then saves in .xta format,
it appears that Uppaal will report a syntax error where the comment
occurs in the .xta file and be unable to load the file. An example of
the error message is:
 
Encountered "/" at line XX, column YY
Was expecting:
<ID> ...
Comment 1 Gerd Behrmann 2006-12-22 16:54:31 CET 
Confirmed. 

There are actually several problems. This problem is triggered when including a documentation string in the comment tab and when including comments in the guard/sync/assignment field. For the second part, this is part an export problem and part an import problem. If the comment is the last part of the guard, the terminating semicolon will be commented in the XTA file. Even if the comment is at the beginning, the XTA file cannot be read pack into the GUI.
Comment 2 Gerd Behrmann 2006-12-22 17:55:04 CET 
Fixed on the 4.0 branch from rev. 2880 and on the trunk from rev. 2881.