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

Bug 68 - Selecting a location does not select self loops
Summary: Selecting a location does not select self loops
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.4.2
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2003-11-04 13:43 CET by Gerd Behrmann
Modified: 2005-02-04 14:42 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 Gerd Behrmann 2003-11-04 13:43:00 CET
When selecting multible locations, the editor automatically selects all
connecting edges and also all labels on the locations and edges. Thus it would
be natural to expect, that selecting a single location would also select any
self loops of this location. This is does not happen.
Comment 1 Gerd Behrmann 2003-12-09 13:54:27 CET
In fact, the description in the bug is not entirely true. It turns out that the
transition is only selected if it does not have any nails. A self loop does have
a nail, so it is not selected. 

The question is to what extent nails should simply be ignored in the automatic
selection of transitions, i.e. if the source and target locations are selected,
should intermediate transitions then automatically be selected as well? Any
comments?
Comment 2 Gerd Behrmann 2005-02-04 14:42:56 CET
Fixed in 3.5.