- Software Installation
- EiffelStudio How To's
- EiffelStudio: A Guided Tour
- EiffelStudio Reference
- EiffelStudio release notes
- Release notes for EiffelStudio 5.0
- Release notes for EiffelStudio 5.1
- Release notes for EiffelStudio 5.2
- Release notes for EiffelStudio 5.3
- Release notes for EiffelStudio 5.4
- Release notes for EiffelStudio 5.5
- Release notes for EiffelStudio 5.6
- Release notes for EiffelStudio 5.7
- Release notes for EiffelStudio 6.0
- Release notes for EiffelStudio 6.1
- Release notes for EiffelStudio 6.2
- Release notes for EiffelStudio 6.3
- Release notes for EiffelStudio 6.4
- Release notes for EiffelStudio 6.5
- Release notes for EiffelStudio 6.6
- EiffelStudio: General interface description
- Browsing tools
- EiffelStudio Editor
- Contract Editor tool
- EiffelStudio: Project settings window
- Compiler
- Debugger
- Error List Tool
- Diagram tool
- Metrics tool
- Console tool
- Outputs tool
- Eiffel Information System
- AutoTest
- Wizards and dialogs
- EiffelStudio Preferences
- Formatted information about compiled classes and features
- EiffelStudio release notes
- Beta documentation
Release notes for EiffelStudio 6.5
Contents
|
Graphical environment
What's new
- A new output tool that combines the Eiffel compilation output, the C compilation output, the testing output as well as the system information.
- When there is a C compilation error, the errors are now reported in the error list. Currently we only support error reported by either the GNU C compiler or the Microsoft C compiler. The error is also linked to the source Eiffel feature when the information is available.
Improvements
- In the recent projects submenu, one can select the most recently compiled target.
- The automatic class licenser can now use the license.lic files next to an ECF instead of naming the license after the ECF. It makes it easier for projects that have multiple ECF.
- Double clicking on an ECF file will select the previously compiled target by default.
- Added tooltip to the precompilation wizard list to show item's ECF file path.
Changes
No changes in this release.
Bug fixes
- Addressed issue where the first change made to the diagram tool could not be undone.
- Fixed issue with ES crashing when trying to merge a license, when class contains an empty note clause.
- Fixed issue where project settings would let you add twice the same include file rule.
- 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.
- Fixed bug preventing the new features dialog from being displayed when using newer syntax.
- Fixed issue where one could not change an integer based preference entry in EiffelStudio.
- Many more issues have been fixed. For a more complete list, see the change logs.
Compiler
- Click here for the compiler release notes.
AutoTest
- Library:
EQA_TES_SET.on_prepareis now called duringdefault_create, making it simpler to write void-safe tests. - Library: Added the possibility to wrap the actual test routine call.
- AutoTest traverses all writeable clusters in the project for possible test classes, making <tests>-clusters obsolete. The traversal happens in the background allowing the user to continue to work on the project.
- Tags can be used to control the test execution flow. Tagging a test with "execution/isolated" makes the test execute in a separate evaluator process, meaning the evaluator is restarted before and after executing the corresponding test (useful for tests relying on the initial access to a once routine or tests which possibly leave the memory corrupted).
Also any tag of the form "execution/serial[/*]" groups the tests to ensure that they are not executed in parallel (useful when a group of tests share a resource which has to be accessed sequentially). - Any results are stored between EiffelStudio sessions.
- Improved the management of existing tests by merging the "View" and "Filter" box into one input field.
- Improved bottom part of AutoTest tool by only having two tabs displaying test execution and test creation results.
Debugger
- Click here for the EiffelStudio debugger release notes.
EiffelBuild
- Click here for the EiffelBuild release notes.
Libraries
EiffelBase
- In experimental mode, we have changed the signature of
generating_typeto return an instance ofTYPErather than an instance ofSTRING. Existing code should still compile out of the box since we have equippedTYPEwith conversions and new features similar to those ofSTRING. In the few cases where it would still not compile, use `generating_type.out' to ensure that the code will compile fine regardless of the compiler mode chosen (i.e. experimental or non-experimental). - Fixed an issue in
copyfromHEAP_PRIORITY_QUEUEwhich would not do anything because it was simply copying itself, not the other queue. - Fixed a bug in
removefromHEAP_PRIORITY_QUEUEwhich caused the internal structure to be referenced beyond its bounds. - Made
clear_allinSTRING_8,STRING_32andHASH_TABLEobsolete. One has to usewipe_outinstead. - Strengthen precondition of
resizeinSTRING_8/STRING_32to forbid values that would shrink the string content. Usegrowinstead to preserve the formerresizebehavior. - Added the base extension library that offers some extra functionality to EiffelBase:
SEARCH_TABLEwhich is a HASH_TABLE where keys and items are the same (basically becoming a set), and sorting facilities forINDEXABLEcontainers. - Added the "+" operator in
READABLE_STRING_GENERAL. - Added ability to create a directory recursively.
- Fixed bug#4118 where on .NET
{EXECUTION_ENVIRONMENT}.puthad no effect on the actual process environment variables because the API was only available in .NET 2.0 which is what we now support at the minimum. - Fixed a bug in
{MEMORY}.memory_mapwhich would cause a precondition violation in one of its call. - Fixed issue with
{BINARY_SEARCH_TREE_SET}.removewhich would not move the cursor and thus causing an infinite loop insubtractandintersect. - Fixed issue with
{PART_SORTED_SET}.putand{PART_SORTED_SET}.extendwhich had no effect and thus causing a postcondition violation. - Fixed invalid retrieval of SPECIAL objects using the Eiffel SED serializer in experimental mode.
- Fixed a missing element in
{BOUNDED_QUEUE}.linear_representation.
EiffelNet
- Fixed an issue with {NETWORK_STREAM_SOCKET}.make_server_by_port (0) which would not automatically get a port assigned.
- Fixed obsolete warnings in the library.
- Prevented a socket to change its blocking mode when connecting with a timeout (it would end up always being blocking even if requested otherwise before the call to `connect'.
- Ensured that a socket is indeed connected when successfully connecting to it while the socket is in non-blocking mode.