|Summary:||Expose location and transition id in the system editor.|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
|Bug Depends on:||143|
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 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.