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

Bug 142

Summary:	Annotating models with documentation
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	GUI	Assignee:	Kim Algreen <algreen>
Status:	RESOLVED FIXED
Severity:	enhancement	CC:	m.amann
Priority:	P2
Version:	unspecified
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2005-04-01 17:53:05 CEST

Within the System Editor it should be possible to give comments for 
Locations and Transitions. There could maybe be a new text field "Comment".

Comment 1 Gerd Behrmann 2005-04-01 18:13:31 CEST

Agreed. In fact, this has been a wish for a long time. In 3.5, the model
representation in the GUI has been reimplemented to make additions like this one
much easier.

Comment 2 Gerd Behrmann 2005-11-06 17:47:20 CET

Reducing priority, as I doubt we will have time to implement this before 3.6 final.

Comment 3 Gerd Behrmann 2006-03-13 17:20:23 CET

Kim Algreen agreed to take a look at this feature. Currently, we plan to add another tab to the edge and location dialogs. Documentation can be added in this new tab. 

The documentation can the be shown as tooltips on locations and edges in the editor and simulator.

Comment 4 Gerd Behrmann 2006-03-18 16:34:04 CET

Resolved on the trunk from rev. 1667.