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

Bug 142 - Annotating models with documentation
Summary: Annotating models with documentation
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: All All
: P2 enhancement
Assignee: Kim Algreen
URL:
Depends on:
Blocks:
 
Reported: 2005-04-01 17:53 CEST by Gerd Behrmann
Modified: 2006-03-18 16:34 CET (History)
1 user (show)

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
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.