EiffelStudio 7.1 Releases

Revision as of 10:53, 19 January 2012 by Alexander Kogtenkov (Talk | contribs) (→‎Improvements: Added a note on fixing test#valid275 (review#7289271))

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Below are not the release notes of EiffelStudio. It is the change log of EiffelStudio intermediate releases and the most important changes are highlighted in green or in red (for breaking changes). The release notes of EiffelStudio can be found at the following URL. You can also download the latest revision here. Information about other version can be found under Category:Releases.

EiffelStudio 7.1.x Releases

7.1.x.y (...)

New features

Improvements

compiler: bug#17591, bug#17662 (test#pretty028) - Improved formatting of comments delimited with blank lines.
vision2: one can now provide a hint of the size of the dropdown list of the combobox. The hint is currently only effective on Windows.
vision2: Improved the default size of the dropdown list of a combobox so that all the text can be visible.
compiler: test#valid275 (review#7289271) - Reduced the number of cases when VWEQ warning is reported, in particular by limiting it to the immediate code only.

Feature removed

compiler: test#vwmq001 - Disabled type qualifier in the manifest constant used to declare a constant attribute because the type is already specified in the feature header.

Bug fixes

compiler: bug#17987 (test#incr421) - Applied application options to library classes during recompilation when required.
compiler: bug#18045 (test#vwmq001) - Added detection and error report of VWMQ violation for manifest string constants with type qualifiers other STRING_8 and STRING_32.
compiler: bug#18047 (test#valid274) - Avoided duplication of VFAC(1) error report.
compiler: bug#18067 (test#attach096) - Reported VEVI error if an unqualified agent is created when not all the attributes are properly set.
compiler: test#replication008 (review#7280256) - Ensured that replication information is preserved when feature is undefined in a descendant class so that inherited assertions are generated correctly.
compiler: test#replication009 (review#7307045) - Avoided a crash when processing inherited preconditions of a replicated feature.