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

Bug 450 - 64 character limit on template names
Summary: 64 character limit on template names
Status: RESOLVED DUPLICATE of bug 421
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.6
Hardware: All All
: P2 normal
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2008-10-29 10:48 CET by Jacob Illum
Modified: 2008-10-29 11:24 CET (History)
0 users

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 Jacob Illum 2008-10-29 10:48:14 CET 
There seems to be a 64 character limit on templates names in Uppaal. If possible I would like to have this removed.

If not Uppaal should complain when you type a longer name for the template, as it is now, Uppaal won't complain until you instantiate a system, and here the issues has two variants. 

Assume a long name: TName...long, where 'TName...' is the name up to 64 chars, and 'long' is the rest.

1. If you instantiate an automaton as: 'A = TName...long();' you get the error 'No such template.
2. If you instead write 'system TName...long;' you get 'No such process TName...', where 'long' has just been truncated.

I suggest that either the restriction is removed, or an error is given where the long template name is given.

I have not submitted this as an enhancement, as I consider the error reporting a bug.
Comment 1 Alexandre David 2008-10-29 11:24:14 CET 

*** This bug has been marked as a duplicate of bug 421 ***