EiffelStudio 7.1 Releases

Revision as of 10:09, 31 January 2012 by Manus (Talk | contribs) (User changes)

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.
  • compiler: test#tilde002 (review#7297016) - Optimized code generation for the equality test that involves two values of different expanded types.

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.
  • compiler: test#exec338 (review#7297016) - Fixed code generation for equality tests that involve different basic types resulted from formal generic parameter substitutions.

User changes

  • compiler: review#7289252 (test#replication009) - Enabled system freeze for precompiled library when all classes are requested to be compiled.
  • thread: made the EiffelThread library compliant with SCOOP. This required adding a creation procedure `make' to the THREAD class to initialize some internal changes to avoid a thread object from being launched in various threads. If your code inherit from THREAD, you now have to call `make' otherwise you will either get a compilation error in void-safe mode, or a call on void-target in non-void-safe mode when trying to launch a thread.

Developer changes