First Last Prev Next    No search results available      Search page      Enter new bug
Bug#: 421
Product:
Component:
Status: RESOLVED
Resolution: FIXED
Assigned To: Alexandre David <adavid@cs.aau.dk>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: Ludovic Apvrille <ludovic.apvrille@eurecom.fr>
Add CC:
CC:
Remove selected CCs
URL:
Summary:

Attachment Type Creator Created Size Actions
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 421 depends on: Show dependency tree
Show dependency graph
Bug 421 blocks:
Votes: 0    Show votes for this bug    Vote for this bug

Additional Comments:







View Bug Activity   |   Format For Printing   |   XML   |   Clone This Bug

Description:   Opened: 2007-05-24 14:44 
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 From Alexandre David 2008-06-12 17:56:34 ------- 
Fixed in revision 3780 in both 4.0 and trunk.

------- Comment #2 From Alexandre David 2008-10-29 11:24:14 ------- 
*** Bug 450 has been marked as a duplicate of this bug. ***
First Last Prev Next    No search results available      Search page      Enter new bug