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

Bug 144

Summary: Expose location and transition id in the system editor.
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement CC: m.amann
Priority: P4    
Version: unspecified   
Hardware: All   
OS: All   
Architecture:
Bug Depends on: 143    
Bug Blocks:    

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.