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:	GUI	Assignee:	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.