Bug 56 - Refuse to delete last nail of self-loop
Summary: Refuse to delete last nail of self-loop
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.5.7
Hardware: All All
: P1 enhancement
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2003-09-10 21:12 CEST by Ulrik Nyman
Modified: 2006-03-10 15:36 CET (History)
0 users

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Ulrik Nyman 2003-09-10 21:12:40 CEST
The fact that the delete option for a nail and a transition shares the same name
in the popup menues can cause the user to mistakenly think that he/she has
deleted a transition when actually he/she has only deleted a nail in the
transition. This can occur when two transitions go from state A to state B and
the one (C) is direct and the other (D) has exactly one nail. If the D
transition has no Guard, Sync. or Update (yet) and the nail is deleted this
transition (D) will seem to disappear, but actually it will just coincide with
the C transition.
Comment 1 Ulrik Nyman 2003-09-10 21:15:16 CEST
Parhaps the names in the popup functions should be "delete transition" and
"delete nail".
Comment 2 Gerd Behrmann 2003-09-11 09:11:24 CEST
In fact, I think UPPAAL should refuse to delete the last nail. If I remember
correctly, you cannot create such invisible transition in the first place, so
you should not be able to "downgrade" a loop with one nail to a loop without any
nails.
Comment 3 Gerd Behrmann 2003-09-11 19:14:27 CEST
Changed the label on the delete menu item. I leave this bug open, since I feel
there is a bigger issue with having multible transitions between the same two
locations (as descriped by the reporter), but there is no time to fix this for 3.4.
Comment 4 Gerd Behrmann 2005-06-29 21:17:05 CEST
Moved enhancement request to 3.5.7, as only bug fixes are allowed in previous releases.
Comment 5 Gerd Behrmann 2006-03-10 15:36:55 CET
I changed it such that deleting the last nail of a self loop also deletes the edge.