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...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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
Retrieved from ‘https://wiki.event-b.org/index.php?title=UML-B_release_notes_for_2.1.0&oldid=10555’