EiffelStudio 7.3 Releases

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.3.x Releases

Beta download: ftp://beta:beta57@ftp.eiffel.com/7.3/

7.3.9.2766 (July 1st, Final Release)

New features

  • base: Added ability to inspect object that contains references to objects with copy semantics.
  • base: Changed TUPLE and depending classes to allow for separate items (rev#92359).
  • base: test#scoop031 - Changed ROUTINE and descendants to be usable for agents with separate targets (rev#92360).
  • compiler, run-time: test#scoop030, test#scoop031 - Supported agents with targets of separate types (rev#92361, rev#92362).
  • studio: "Affected target" and "Affected source" in Info tool. They are used to report potential target or source changes that are affected by corresponding source and target.(rev#92389)
  • compiler: Added new levels of void-safety: "conformance" that enables taking attachment marks into account when checking for conformance; "transitional" (previous "all") that checks almost all void-safety rules except those for unqualified agents and allows CAPs for preconditions and check instructions; "all" that checks all void-safety rules.

Improvements

  • compiler: Fixed issue that causes many classes to be recompiled when not needed. (rev#92411).
  • compiler: Relaxed rules for using Current and unqualified agents when not all attributes are set to report VEVI errors only when qualified calls are involved in a sequence of unqualified calls and creation procedure calls ("targeted rules") (rev#92573).
  • studio: Used void-safety settings of a target to list libraries that are compatible with it and provided more details on their void-safety status in a dialog to add libraries.
  • library: Changed many libraries to satisfy the highest void-safety level.

Feature removed

Bug fixes

  • vision2: Fixed bug#18549 inconsistencies in maximize/restore window behavior between Windows and Gtk platforms (rev#92367)
  • base: Fixed bug#18559 in SED_MEMORY_READER_WRITER where if you retrieve a large chunk, we would not allocate enough memory. (rev#92366)
  • base: Fixed bug#18560 where comparing an EQUALITY_TUPLE it would only care about the last elements, not the first different element. (rev#92365)
  • wel/vision2: Fixed an issue with {WEL_CHOOSE_FOLDER_DIALOG} where `set_starting_path' had no effect (rev#92337).
  • compiler: test#scoop020 - Fixed a bug that caused incorrect conformance checks for formal generics of different separate status(rev#92353).
  • compiler: test#scoop020 - Fixed a bug that might cause incorrect conformance checks for attachment and separateness status of a constrained formal generic parameter against a class type (rev#92358).
  • compiler: test#scoop021 - Fixed a C code generation bug that might cause an access on an invalid address during object test evaluation with an expression of a separate type (rev#92355).
  • studio: Fixed the bug that a class directly belongs to a cluster (no folder layer in between) could not be located by the locating function in Groups tool. (rev#92369)
  • studio: Fixed a memory corruption that would occur when you have multiple errors during a compilation and you are opening each error in its own tab editor, after opening 4 or 5 tabs, EiffelStudio could become unstable. (rev#92368)
  • studio: Fixed a crash after saving a diagram as a PNG file. (rev#92414).
  • serialization: Fixed a bug in .NET where using the Eiffel serialization or marking objects would trigger computation of `hash_code' on Eiffel objects and thus changing their state.
  • compiler: bug#17314 (test#attach081), bug#17319 (test#attach082) - Fixed error in processing replicated and selected attributes with self-initializing attribute bodies that could lead to reporting these attributes as uninitialized.
  • compiler: test#attach103 - Fixed a bug that might result in a missing VEVI error for Result in a self-initializing attribute body.
  • runtime: test#reflection008 - Fixed a bug where the TYPE instance of a new generic derivation in the running system would be corrupted.

User changes

Developer changes

  • store: Do not remove trailing spaces for STRING_* data types. (rev#92394)
  • store: Changed type mapping from STRING_* to varchar instead of char at table allocation (ODBC, rev#92394)

7.3.9.1412 (Monday March 18th 2013)

New features

  • vision2: Added {EV_PIXEL_BUFFER}.stretched which gives you a stretched version of an EV_PIXEL_BUFFER. The quality of the stretch image is much better than of EV_PIXMAP for Windows. On Unix it is the same quality as EV_PIXMAP. (rev#91208)
  • base: Added ability to store/retrieve expanded objects with SED (but not yet those that are reference with copy semantics).
  • EiffelStudio: Completion window tooltip with contracts.
  • EiffelStudio: Debug tooltip that display value of expression when mouse pointer moves over.

Improvements

  • vision2: Improved stretching of EV_PIXMAP on Windows by using the Color on Color stretching mode of the Win32 API StretchBlt. (rev#91207)
  • autotest: Now tests will be executed under the location of the ECFs, and not in the Testing subdirectory of the EIFGENs directory. (rev#91247)

Feature removed

  • Dropped BIT type.

Bug fixes

  • vision2: Fixed {EV_GRID_COLUMN}.required_width_of_item_span to only take into account visible item. (code review#9356052 and rev#91224).
  • vision2: Fixed a resizing bug when you have a vertical/horizontal box with a minimum size set, if one of the item has a minimum size larger than its parent, then in some circumstances the child will be shrinked beyond its minimum size causing some visual glitches. See regression tests TEST_EV_CONTAINER.test_horizontal_box_resizing and TEST_EV_CONTAINER.test_vertical_box_resizing for scenario. (code review#9351166 and rev#91251).
  • wel: Fixed a 64-bit truncation bug in WEL which was only found when compiling a Vision2 project using an EV_COMBO_BOX on Windows 8 using VCExpress 2012. (rev#91290).
  • vision2/wel: Fixed a memory corruption that would occur when loading a 32-bit BMP image as a background image of a container in a 16-bit or lower display. (rev#91377).

User changes

  • base: Storables made using SED from version 6.6 or earlier of EiffelStudio not using the `is_for_fast_retrieval' setting won't be recoverable.

Developer changes