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

Bug 144 - Expose location and transition id in the system editor.
Summary: Expose location and transition id in the system editor.
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: All All
: P4 enhancement
Assignee: Gerd Behrmann
URL:
Depends on: 143
Blocks:
  Show dependency tree
 
Reported: 2005-04-01 17:59 CEST by Gerd Behrmann
Modified: 2005-06-17 11:56 CEST (History)
1 user (show)

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 Gerd Behrmann 2005-04-01 17:59:09 CEST 
Michael Amann suggested that the location id and the transition id (from the XML
format) is made visible in the system editor. This is supposed to help link the
model with a requirements document.
Comment 1 Gerd Behrmann 2005-04-01 18:08:25 CEST 
This bug depends on bug 143.
Comment 2 Gerd Behrmann 2005-06-17 11:56:13 CEST 
The plan is to add some kind of "object inspector" to the editor, similar to what is known from various IDE. 
This inspector would be able to show all kinds of properties of the elements of a model, including the 
requested information. 

Another bug for the development of this inspector should be created.