https://wiki.event-b.org/index.php?action=history&feed=atom&title=UML-B_notes_for_2.0.1 UML-B notes for 2.0.1 - Revision history 2026-05-17T09:43:18Z Revision history for this page on the wiki MediaWiki 1.42.1 https://wiki.event-b.org/index.php?title=UML-B_notes_for_2.0.1&diff=10545&oldid=prev imported>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== &#039;&#039;&#039;Problem&#039;&#039;&#039; - Properties view does not always appear correctly when a new element is selected. &#039;&#039;&#039;Workaround&#039;&#039;&#039; - Resize the properties view &#039;&#039;&#039;Prob...</p> <p><b>New page</b></p><div>== Refresh problems on MAC only==<br /> <br /> &#039;&#039;&#039;Problem&#039;&#039;&#039; - Properties view does not always appear correctly when a new element is selected.<br /> <br /> &#039;&#039;&#039;Workaround&#039;&#039;&#039; - Resize the properties view<br /> <br /> <br /> &#039;&#039;&#039;Problem&#039;&#039;&#039; - Class diagram does not refresh when model changes<br /> <br /> &#039;&#039;&#039;Workaround&#039;&#039;&#039; - Close and re-open the diagram<br /> <br /> <br /> <br /> &#039;&#039;Unsolved from previous versions&#039;&#039;<br /> <br /> ==Machine level diagram elements can be dragged into Classes ==<br /> <br /> &#039;&#039;&#039;Problem&#039;&#039;&#039; - 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 /> &#039;&#039;&#039;Workaround&#039;&#039;&#039; - Avoid doing it in the first place. If necessary delete the element and recreate it.<br /> <br /> ==Minor bugs==<br /> <br /> Inverse function ~ doesn&#039;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