UML-B release notes for 2.1.0
From Event-B
Revision as of 19:23, 19 November 2010 by imported>Colin (New page: =New Features= * make diagram preferences particular to each diagram type * enable super-type arrows to target ExtendedClassTypes and RefinedClasses * provide convergence property on state...)
New Features
- make diagram preferences particular to each diagram type
- enable super-type arrows to target ExtendedClassTypes and RefinedClasses
- provide convergence property on state transitions
- report to user if translation didn't proceed due to model validator
- hide disjunct transitions from Refines property section
- improve refresh of diagrams for error marking
- improve refresh of diagrams for properties changes
- improvements and additions to model validations
Bug Fixes
- fix missing default labelling in diagrams
- fix automatic diagram deletion
- fix bug that stopped universal quantification for Class/Classtype invariants
- fix problems with refresh of properties view on macs
- fix null pointer exception in marker builder
- fix bug in state transition translation
- fix bug with equality operator in translation
- fix bug with modelling assistant showing a null object on refined sm
- fix Class cast exception in U2B translator
- fix null pointer exception in properties view during start-up
- fix null pointer exception when refine state-machine deleted
- fix multiple null options in some enumeration combo boxes in properties view
