|Summary:||Error on channel identifiers|
|Product:||UPPAAL||Reporter:||Ludovic Apvrille <ludovic.apvrille>|
|Component:||GUI||Assignee:||Alexandre David <adavid>|
Description Ludovic Apvrille 2007-05-24 14:44:57 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 Alexandre David 2008-06-12 17:56:34 CEST
Fixed in revision 3780 in both 4.0 and trunk.