|Summary:||xta parser does not handle comments|
|Product:||UPPAAL||Reporter:||Robert Keller <keller>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
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.