https://wiki.event-b.org/index.php?title=UML-B_notes_for_2.0.1&feed=atom&action=historyUML-B notes for 2.0.1 - Revision history2024-03-29T09:02:29ZRevision history for this page on the wikiMediaWiki 1.33.3https://wiki.event-b.org/index.php?title=UML-B_notes_for_2.0.1&diff=10545&oldid=previmported>Colin: New page: == Refresh problems on MAC only== '''Problem''' - Properties view does not always appear correctly when a new element is selected. '''Workaround''' - Resize the properties view '''Prob...2010-10-17T19:48:13Z<p>New page: == Refresh problems on MAC only== '''Problem''' - Properties view does not always appear correctly when a new element is selected. '''Workaround''' - Resize the properties view '''Prob...</p>
<p><b>New page</b></p><div>== Refresh problems on MAC only==<br />
<br />
'''Problem''' - Properties view does not always appear correctly when a new element is selected.<br />
<br />
'''Workaround''' - Resize the properties view<br />
<br />
<br />
'''Problem''' - Class diagram does not refresh when model changes<br />
<br />
'''Workaround''' - Close and re-open the diagram<br />
<br />
<br />
<br />
''Unsolved from previous versions''<br />
<br />
==Machine level diagram elements can be dragged into Classes ==<br />
<br />
'''Problem''' - Machine level variables, events, statemachines can be dragged into the corresponding compartment of a Class. Once there it is difficult to remove them again.<br />
<br />
'''Workaround''' - Avoid doing it in the first place. If necessary delete the element and recreate it.<br />
<br />
==Minor bugs==<br />
<br />
Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.<br />
<br />
Diagram and Event-B file names are not changed/deleted if model is altered directly from EMF editors or model tab of properties view<br />
<br />
Supertype links cannot be drawn to Refined Class or Extended Class Type<br />
<br />
Machine variables cannot be retained in refinement without repeating their type invariant<br />
<br />
<br />
[[Category:UML-B]]</div>imported>Colin