Bug 147

Summary: IllegalArgumentException when changing wrong sync
Product: UPPAAL Reporter: Lars T. Mikkelsen <ltm>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: minor    
Priority: P2    
Version: 3.5.5   
Hardware: PC   
OS: Linux   
Attachments: Uppaal model

Description Lars T. Mikkelsen 2005-04-15 09:44:59 CEST
Steps to reproduce:
1. In the attached model, change the sync "call?" to "call?[newline]c?"
2. Press F7 (Uppaal marks "c?" as a syntax error)
3. Change the sync back to "call?"

Uppaal throws an IllegalArgumentException.
Comment 1 Lars T. Mikkelsen 2005-04-15 09:45:37 CEST
Created attachment 29 [details]
Uppaal model
Comment 2 Lars T. Mikkelsen 2005-04-15 09:46:27 CEST
Created attachment 30 [details]
Comment 3 Gerd Behrmann 2005-04-24 20:09:49 CEST
Can you reproduce this error? I have tried to follow your instructions, but I do
not see any exceptions at all (using Linux and UPPAAL 3.5.5).
Comment 4 Lars T. Mikkelsen 2005-04-24 23:31:37 CEST
Yes, the bug is reproducible. However, it only occurs if the sync is changed via
"Edit Edge" and not when changed via "Edit Synchronisation" - I'm sorry I didn't
make that clear in the original report.
Comment 5 Gerd Behrmann 2005-05-03 09:20:11 CEST
Yes, now I can also reproduce the error.
Comment 6 Gerd Behrmann 2005-05-03 13:39:50 CEST
I will fix the bug.
Comment 7 Gerd Behrmann 2005-06-03 22:22:42 CEST
A fix has been checked into CVS. The problem was that the edit edge dialog did not erase the previous 
error messages from the list (but the edit synchronisation dialog did).