Difference between revisions of "UML-B notes for 0.4.4"

From Event-B
Jump to navigationJump to search
imported>Colin
(New page: ==State-machine properties are not saved== '''Problem''' - On Statemachine diagrams, some properties fields cannot be saved. When the focus is moved elsewhere the changes to these fields ...)
 
imported>Mathieu
m (In version 0.4.4 moved to UML-B notes for 0.4.4: Title should give some context)
(No difference)

Revision as of 09:09, 4 March 2009

State-machine properties are not saved

Problem - On Statemachine diagrams, some properties fields cannot be saved. When the focus is moved elsewhere the changes to these fields are lost.

Workaround 1 - Move an element of the diagram slightly before making the edits to the property fields. This makes the Statemachine editor 'dirty' so that the save button is enabled. You can then press save after editing the properties fields.

Workaround 2 - You can edit the properties of a transition from the class diagram by clicking on the transition name inside the statemachine figure. (This dosen't work for nested statemachines because they do not appear on the class diagram).