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

Bug 356 - sync is recognized as a keyword
Summary: sync is recognized as a keyword
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.2
Hardware: All All
: P2 trivial
Assignee: Gerd Behrmann
Depends on:
Reported: 2006-10-12 13:38 CEST by Gerd Behrmann
Modified: 2008-06-11 16:57 CEST (History)
2 users (show)

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Gerd Behrmann 2006-10-12 13:38:45 CEST
The GUI highlights "sync" as a keyword. However, sync is only a keyword in the textual format.
Comment 1 Gerd Behrmann 2006-10-12 17:43:50 CEST
On the other hand, you could argue that it is acceptable that 'sync' is highlighted: Since it is indeed a keyword in the ta format, it is not allowed as an identifier anywhere. Thus highlighting it gives a hint that it is actually a keyword (even though it is not usable from the gui).

I need input from others on this issue. Please comment.
Comment 2 Gerd Behrmann 2006-11-14 23:02:04 CET
I may add that 'meta' is not recognised as a keyword. I guess it should be shown in bold face just like 'const'.
Comment 3 Timothy Bourke 2007-11-02 07:33:48 CET
The scalar keyword should probably also be shown in bold.
Comment 4 Marius Mikučionis 2008-04-25 12:30:19 CEST
I am about to add the following highlights:

enum - green (as type)
scalar - green (as type)
priority - bold (as keyword)
meta - bold (as prefix)
progress - bold (as keyword)
switch - bold (as keyword)
case - bold (as keyword)
default - bold (as keyword)
Comment 5 Marius Mikučionis 2008-05-10 12:40:39 CEST
added the tokens on trunk in rev. 3558