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: GUIAssignee: 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.