Latest revision as of 21:19, 8 December 2009

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

6.5.8.1777 (Final Release, December 8th 2009)

Bug fixes

• base: Fixed bug in `remove_substring' from STRING_32 and STRING_8 which was not resetting the string's hashcode.
• base: Fixed contract violation in FORMAT_INTEGER for CR/DR.
• docking: Fixed one compilation error that prevented void-safe mode compilation of the library.
• docking: Made dragging of tools or notebook tabs more sensitive, previously if you only moved along one axis it would have no effect.
• store: Fixed a segmentation violation in the ODBC handle in the experimental version of the library.
• vision2: Implemented workaround for window segfaults on latest Ubuntu where gtkwindow objects created before the main app causes a seg fault.
• vision2: Fixed catcall issues when enumerating font names under void-safety.
• compiler: Fixed bug#15241 where finalizing with assertions enabled would cause a C compilation error when freezing later in the same EiffelStudio session.
• compiler: Fixed eweasel test#final086 where an object test could evaluate more than once the expression.
• autotest: Fixed issue where test case would be generated for every failure even if they are not unique.
• autotest: Made it possible to test a void-safe system using AutoTest.
• debugger: Fixed bug#16494 where "attached {FOO} bar" would give an incorrect result.
• debugger: Fixed bug#16488 where you would get a feature call on void target in {EV_GRID_EDITABLE_ELLIPSIS_ITEM}.set_text in EiffelStudio.
• studio: Fixed bug#16489 where selecting the current target in the groups tool while having previously selected a cluster would cause an infinite loop and memory exhaustion.
• runtime: Fixed a bug in CECIL macros which would cause a segmentation violation on some platforms at the first GC cycle.
• runtime: Fixed bug#16395 and eweasel test#store026 to avoid mismatch if the metadata stored in `eskelet' is simplified or not (i.e. for class A[G] feature g: B[G], and then having A [INTEGER] could either describe `g' as either `B[G]' or `B[INTEGER]', even though different they are the same type and should not yield a mismatch).
• examples: Fixed some of the CECIL samples.

6.5.8.1614 (November 23rd 2009 - Release Candidate 2)

New features

Improvements

Feature removed

• studio: removed all void-safe configurations in non-experimental mode. One has to use experimental mode to really get void-safe benefits.

Bug fixes

• debugger: Fixed major issue with evaluation of object test locals on feature without any (normal) locals.
• debugger: Fixed bug#16382: Watch expression gives improper result for an object test local
• vision2: Fixed a hanging issue when performing P&D on Windows when the computer is under somewhat heavy load.
• runtime: Fixed eweasel test#store028 where retrieving an object whose type involves a TUPLE type without a TUPLE instance could corrupt the retrieval system.
• compiler: Fixed bug#15241 where an extra ')' was generated in workbench mode when freezing just after finalizing with keeping assertions.
• dotnet: Fixed a code generation crash we introduced at rev#81207.
• build: Fixed bug#16467 and bug#16468 where EiffelBuild failed at renaming classes that have already been generated, and failed at creating a new sub directory in the widget selector.

User changes

Developer changes

6.5.8.1483 (November 12th 2009 - Release Candidate)

New features

• compiler: New loop constructs implementation per a draft specification of the next ECMA standard.

Improvements

• studio: Error list tool now displays the file name and position of configuration file parse errors.
• studio: Added "console" and "void-safety" information in the "system" output
• debugger: it is now possible to unset an environment variable, or unset all variables, in the execution parameters dialog (see doc)

Feature removed

Bug fixes

• compiler: Fixed eweasel test#incr313, test#incr317 and test#incr318 where removal of a convert clause was not taken into account by the compiler.
• compiler: Fixed eweasel test#svalid022 where conversion to a target of a detachable type was not accepted, and also now the compiler will verify that the source of the conversion is always attached. Ensured that the source or the target type mentioned in a convert clause is attached.
• compiler: Fixed eweasel test#svalid024 where using an inspect clause with static constant access would failed to compile in a descendant class when `full class checking' is enabled.
• compiler: Fixed eweasel test#term156 and test#svalid025 where compiler would crash while compiling code that needs to be regenerated in descendant classes (e.g. code from precondition) involving anchors or formal generic parameters.
• compiler: Fixed creation of manifest array with an attached actual generic parameter to not throw a precondition violation in void-safe mode.
• compiler: Fixed eweasel test#array006 where creating a manifest array would trigger an unjustified invariant violation.
• compiler: Ensured that code generation in .NET mode with experimental compiler worked properly. The current limitation is that manifest type instances are not unique unlike their classic counterpart and that {ANY}.generating_type cannot be applied on .NET types.
• runtime: Fixed a crash at runtime on Windows for non-console application when they try to output or read something from the console.
• base: Fixed invalid retrieval of SPECIAL objects using the Eiffel SED serializer in experimental mode.
• base: Fixed a missing element in {BOUNDED_QUEUE}.linear_representation (eweasel test#queue003)
• studio: Fixed various layout bug due to the above fix with the serializer
• debugger: Fixed bug#16300: Setting environment variable has no effect
• debugger: Fixed bug#15996: Disable Assertion Checking not very clever. Also fixes other similar issues with menu and toolbar items update, where text and pixmap were not updated after toggling action.
• debugger: Fixed evaluation involving object test expression such as "attached {like foo} bar"
• debugger: Fixed issue where the breakpoint tool was empty
• debugger: Fixed bug#11384, "Current" Object can be removed
• debugger: Fixed breakpoint relocation feature. (Ctrl+RightClick and Ctrl+drop on bp slot)
• debugger: Fixed major issue for debugger evaluation ... where "a = b" were evaluated as "equal (a, b)"
• debugger: Fixed issue occurring sometime when loading a project recompiled from scratch with enabled breakpoint (referencing class id not existing anymore)
• debugger: Fixed crash related to remote evaluation using the RT_ objects (mainly related to conditional breakpoint)
• debugger: Fixed bug#16382: Watch expression gives improper result for an object test local

User changes

Developer changes

6.5.8.945 (September 29th 2009)

New features

• base: Added the "+" operator on READABLE_STRING_GENERAL.

Improvements

• compiler: Supported tracking changes made to a shared library definition file to trigger freeze automatically when there are any modifications to this file.
• preferences: fixed bug#13502: Preference values are not taken into account when searching in Preferences window flat view
• studio: Implemented shortcut F9 to enable/remove breakpoint at current line (cursor) on focused flat formatter (feature relation tool).
• studio: Implemented shortcut Shift+F9 to enable/disable breakpoint at current line (cursor) on focused flat formatter (feature relation tool).
• studio: Implemented shortcut Ctrl+F9 to edit breakpoint at current line (cursor) on focused flat formatter (feature relation tool).
• studio: Recorded targets of recently open projects so that they can be immediately open from the list of recent pojects.
• vision2: Improved pick and drop mechanism to not use the `wel_hook.dll'. The visible change is that when the cursor is outside the vision2 application its shape changes depending on what is beneath.
• windows: Added official support for Windows SDK 7.0 and betas of Visual Studio/Visual C/C++ Express 2010.
• studio: bug#14849: Implement a "Go to BP Slot" action for debugging. (Shortcut = Ctrl+G on flat formatter.)

Feature removed

Bug fixes

• studio: allowed undoing the first modification made in the diagram tool (see bug#5291).
• studio: prevented useless additio of `Zoom 100%' in the undo/redo list of the diagram tool.
• studio: fixed bug#15984: [sm] Typo in dialog box
• studio: fixed bug#16236: Abort Freezing dialog should have yes/no buttons
• studio: fixed bug#13201: Violation of precondition `not_destroyed' of {EB_VISION_WINDOW}.set_pointer_style
• studio: Fixed bug#16266 which prevented saving of classes in EiffelStudio. The first save would be successful, but none of the one after.
• studio: Fixed bug#16271 where some dialogs will appear in the german language even if locale is english.
• studio: Fixed bug when opening a recent project from EiffelStudio's MRU menu, with a space in the file name, on *nix platforms.
• studio: fixed bug#13003: Sample basic application should print something
• studio: fixed bug#13501: Ctrl+Shift+V pastes text. And other similar shortcut where we now also check that "Shift" is not enabled.
• studio: fixed bug#13184: Vioation of `initialized' of {EB_EXPRESSION_DEFINITION_DIALOG}.eiffel_universe
• studio: fixed bug#13234: Typos in {INTERFACE_NAMES}.l_..._runnin..
• studio: fixed bug#15483: Open layout is disabled even if you have an entry

• build: Fixed crash of EiffelBuild when loading a project that has a EV_SPIN_BUTTON for which the `text_change_actions' event was connected.

• docking: fixed bug#16213, bug#16214: Precondition in docking
• docking: fixed bug#16153: Precondition violated Tag: docking_manager_attached in {EB_DEVELOPMENT_WINDOW}.close_all_tools in Eiffel Studio
• docking: fixed bug#4764: Enhancements to how undocked windows work
• docking: fixed bug#13018: Picking class via context menu does not work in mini-toolbar
• docking: fixed bug#13038: Double-click on docked window title bar often undocks instead of maximizing
• docking: fixed bug#13659: Call on Void target in {SD_SAVE_CONFIG_MEDIATOR}.save_one_auto_hide_panel_data
• docking: fixed bug#13178: Violation of precondition `setted' of {EB_SD_COMMAND_TOOL_BAR_BUTTON}.has_position

• debugger: fixed bug#16195: Debug session with conditional breakpoint causes program to exhaust memory, crash EStudio
• debugger: keep rows selection when disabling several lines in the watch tool
• debugger: Fixed various debugger's issues related to Expanded object (especially about items from SPECIAL of expanded object).
• debugger: Fixed bug#16197: is DEBUG_OUTPUT no longer supported?

• compiler: Fixed bug on *nix platforms where spaces in project/installation paths failed to create the necessary symbolic links, when using precompiles.
• compiler: Fixed issue with TYPE instances not properly created. It addresses extended eweasel test#melt097.

User changes

• arg_parser: `make_hidden' now takes one argument less.

Developer changes

6.5.8.524 (August 30th 2009)

New features

• libraries: added the base extension library that offers some extra functionality to EiffelBase. Namely a SEARCH_TABLE which is basically a HASH_TABLE where keys and items are the same, and sorting facilities for INDEXABLE containers.

Improvements

• studio: Automatic class licenser can now use license.lic files next to an ECF instead of naming file *.lic after the ECF. Makes it easier for multi-ECF libraries.

Feature removed

Bug fixes

• base: Fixed issue with `put' and `extend' from PART_SORTED_SET which had no effect and thus causing a postcondition violation.
• base: Fixed issue with `remove' in BINARY_SEARCH_TREE_SET which would not move the cursor and thus causing an infinite loop in `subtract', `intersect.
• base: Added ability to create a directory recursively.
• testing: Fixed an issue with the Eiffel runtime override of byte code causing some test execution to fail if no code was melted.
• studio: Fixed issue with ES crashing when trying to merge a license, when class contains an empty note clause.
• studio: Fixed issue where project settings would let you add twice the same include file rule.
• studio: Fixed an issue where clicking in the project settings entry to display a dialog and then clicking cancel would show the dialog a second time.
• studio: Fixed bug#14840: Extracted homonyms once, and now Estudio keeps trying to extract them again
• debugger: Fixed bug#5084: I cannot PnD class attributes in the watch window

User changes

• base: Made `clear_all' in STRING_8, STRING_32 and HASH_TABLE obsolete. One has to use `wipe_out' instead.
• base: Strengthen precondition of `resize' in STRING_8/STRING_32 to forbid values that would shrink the string content. Use `grow' instead to preserve former `resize' behavior.

Developer changes

6.5.8.294 (August 17th 2009)

New features

• web_browser: Added Web Browser widget {EV_WEB_BROWSER} (see new "web_browser" library) and example project (see example under $ISE_LIBRARY/examples/web_browser)
• studio: GCC and MSC external compilation errors are now displayed in the error list, with linking to source Eiffel feature when the information is available.

Improvements

• studio: Improved error messages for VUAR/VJAR/VBAR errors to mention compatibility instead of just conformance.
• studio: Now double clicking on an ecf file will select the previously compiled target by default.
• ec: Fixed command line compilation to use the current working directory unless -project_path is specified (restoring pre-ecf behavior)
• ec: When an ecf file has been specified with -config, the previously compiled target is chosen as the first option in the compilable target list.
• AutoTest: Improved tag tree for displaying tests by merging view/filter box into one input field
• AutoTest: Potential test classes are traversed asynchronously after each compilation, allowing the user to continue working while tests are found. This also removes the need for special test clusters.
• AutoTest: Improved the way tests are executed. By tagging a test with "execution/isolated" the test process is restarted before and after the test is executed. By tagging a number of tests with a tag "execution/serial", the tagged tests are not executed in parallel. Because of these changes, test execution and generation might not completely work in the next release (missing test results/output).
• AutoTest library: {EQA_TEST_SET}.on_prepare is called during `default_create', which makes it simpler to use attached attributes in void-safe tests.
• AutoTest library: Moved actual test routine invocation into {EQA_TEST_SET}.run_test which can be used to nest the test routine call. This is used for example by Vision2 tests to launch the event loop before calling the test routine.
• Docking library: Made Smart Docking library (including docking library examples) void-safe
• studio: when dropping a library stone inside an editor, it also display sub libraries (among other data)
• studio: Added a context menu "Add Selection To" ... watch tools. This is used to create a new expression using the editor's selection text. (fixed bug#11064)

Feature removed

Bug fixes

• base: Fixed bug#4118 where on .NET `put' had no effect on the actual process environment variables because the API was only available in .NET 2.0 which is what we support at the minimum.
• base: Fixed bug in `copy' from HEAP_PRIORITY_QUEUE which would not do anything because it was simply copying itself, not other.
• base: Fixed bug in `remove' from HEAP_PRIORITY_QUEUE which caused the internal structure to be referenced beyond its bounds.
• base: Fixed a bug in {MEMORY}.memory_map which would cause a precondition violation in one of its call.
• serialization: Fixed a bug in SED_INDEPENDENT_DESERIALIZER in the experimental branch where we could get an out of bound access because we incorrectly resized a SPECIAL.
• studio: Fixed bug preventing the an output from being selected on Windows.
• studio: Fixed duplicate output issue when a subsystem activates the outputs tool before showing it.
• studio: Fixed bug preventing the new features dialog from being displayed when using newer syntax.
• EiffelVision: Fixed potential crash with tab navigation code when a key press was sent to a widget that is in the process of being unparented.
• debugger: fixed#16013, now all READABLE_STRING_8/32 and descendant will be displayed as string literal in debugger tools.
• compiler: Fixed eweasel test#final084 where compiler would generate incorrect type at run-time causing some memory corruption or a general failure.
• compiler: Fixed eweasel test#final083 where compiler would crash when inlining certain type of code involving generic classes.
• compiler: Fixed issues in experimental version when introducing `generating_type: TYPE [like Current]' in ANY which was causing a few eweasel tests. Also add new test for bug found with manifest type (eweasel test#melt097 and test#valid257).
• base: Added missing `own_from_pointer' in .NET version of MANAGED_POINTER
• studio: Fixed issue where one could not change an integer based preference entry in EiffelStudio.
• debugger: Fixed bug#16013: IMMUTABLE_STRING objects cannot be viewed as strings

6.5.7.9743 (July 13th 2009)

New features

• base: Added `own_from_pointer' in C_STRING.

Improvements

• studio:Made some bug fixes and improvements to the new output tool.
• studio: Added tooltip to precompilation wizard list to show item's ecf file path

Feature removed

Bug fixes

• autotest: Fixed bug#15875 where selecting a test class and choosing run had no effect, now it will run all the test cases defined in that class.
• base: Added missing `own_from_pointer' routine in the .NET version of MANAGED_POINTER
• base: Made TYPE class similar to the classic version.
• studio: Fixed bug#13103: Cannot set Shift+Esc as a shortcut in the preferences dialog.
• studio: Fixed typo reported by bug#13220 in the Metric tool.
• compiler: Fixed issue where one could not debug an application if the `executable_name' specified in the ECF contained the .exe suffix on Windows. This fixes bug#11834.

User changes

• compiler: the indexing value volatile previously introduced has been renamed into transient.

Developer changes

6.5.7.9500

New features

• base: Changed {ANY}.generating_type to return an instance of TYPE
• runtime: Added support for transient attributes for store/retrieve. A transient attribute is an attribute which is not stored at runtime and for which its absence in the retrieval system has no effect.
• compiler: Supported detection and validity error report for VSRP(3) (the root procedure is not precondition-free) (see test#vsrp301).

Improvements

Feature removed

Bug fixes

User changes

Developer changes