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

Bug 381

Summary: xta parser does not handle comments
Product: UPPAAL Reporter: Robert Keller <keller>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P1    
Version: 4.0.3   
Hardware: Macintosh   
OS: Mac OS   

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

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.