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

Bug 420 - Error on channel identifiers
Summary: Error on channel identifiers
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.6
Hardware: PC Linux
: P2 normal
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2007-05-24 12:28 CEST by Ludovic Apvrille
Modified: 2019-10-21 10:15 CEST (History)
1 user (show)

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 Ludovic Apvrille 2007-05-24 12:28:23 CEST 
When two channel identifiers have the beginning of their identifier which is equal, and that beginning is equal or greater than 63 characters, this results in a "Duplicate definition" error at syntax checking.

For example, if you open a brand new UPPAAL modeling, put the following lines in the declaration section, you obtain a "duplicate definition" error.

urgent chan ttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttt1;
urgent chan ttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttt2;

I've seen no such restrictions mentioned in the grammar, but I may have missed that information.
By the way, I found this bug because I have written a UML-to-UPPAAL automatic code generator which may generate long channel names.
Comment 1 Gerd Behrmann 2007-05-24 14:40:46 CEST 
Your observation is correct. I can either take this as a documentation bug or as a request for enhancement - your choice :-)
Comment 2 Ludovic Apvrille 2007-05-24 14:47:03 CEST 
Well, actually, there is at least one bug: UPPAAL should not provide an "duplicate definition" error, but rather a "invalid identifier" error, even if the documentation is updated.
But you may consider this as a request for enhancement!
Comment 3 Marius Mikučionis 2019-10-21 10:15:11 CEST 
taking over