UML-B notes for 0.4.4

From Event-B
Revision as of 12:15, 4 March 2009 by imported>Colin (→‎State-machine properties are not saved)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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).

Fixed - This problem has been fixed in version 0.5.x.