EiffelStudio 18.05 Releases

(Redirected from EiffelStudio ChangeLog)

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

Beta download: https://ftp.eiffel.com/pub/beta/18.05/


New features

  • compiler: Supported extension of project targets from a different project (ECF).
  • EiffelStudio: Added auto-import (and auto-export) for the execution parameters using the file $target_name.$system_name.dbg.profiles.xml located in same folder as the .ecf file.
  • compiler: Allowed target to extend a target from another .ecf <target name="foo" extends="bar" extends_location="another.ecf"> ....
  • compiler: Added support to ecf condition with custom value comparisons based on case-sensitive, case-insensitive, regular expression and wildcard.
  • debugger: Included information about current caret position in the string display debugger viewer.
  • debugger: Added a JSON debugger viewer (similar to the XML viewer).
  • EiffelStudio: Supported ArrowUp and ArrowDown in the address bar (class and feature field in the tool bar) to see next or previous suggestions, and Ctrl+Space to open the completion dialog.
  • library: Added a feature {ARRAY}.force_and_fill that works like {ARRAY}.force, but fills previously unoccupied positions with the specified value rather than with a default one.


  • eweasel: Supported Unicode in paths, arguments and environment.
  • code analyzer: test#codeanalysis027 — Supported more expressions when checking for CA071 (comparison to itself): Result, Current, Precursor, non-object call.
  • code analyzer: test#codeanalysis027 — Supported object (tilde) equality when checking for CA071 (comparison to itself).
  • code analyzer: test#codeanalysis028 — Supported conditional expressions when checking for CA046 (inequality used in if-then-else-end) in addition to conditional instructions.
  • EiffelStudio: Supported localized output from precompilation process (in case EiffelStudio is started in the environment with a non-English locale).
  • compiler: Reported source code context for class-level errors when this information is available.
  • compiler: Taken a condition into account when processing a precompile to allow for using different precompiles with different settings and for making such uses optional.
  • compiler: Change grammar to support bracket expressions as bracket targets. Support foo [x][y][z] as a synonym for ((foo [x]) [y]) [z]
  • code analyzer: test#codeanalysis029 — Extended the rule CA017 (an empty conditional) to check for an empty compound after elseif or else parts.
  • compiler: test#free015, test#free016, test#free017, test#free018, test#free019, test#free020, test#free021, test#free022, test#free023, test#free024 — Relaxed rules for class features. Redeclaration into or joining with a class feature is valid as soon as combined assertions satisfy the class feature conditions. A non-static external and constant feature automatically gets a class postcondition if its contracts do not involve constructs that can access Current object (Current, an unqualified call, an inline or unqualified agent, Precursor, an address expression with Current or an unqualified feature).
  • EiffelStudio: Indicated whether a feature is a class one with special icons in various tools.
  • library (base): Marked many features of Base library as class ones to make them usable for non-object calls.
  • EiffelStudio: Improved auto completion for "|." and ".." cases.
  • library: Added EXECUTION_ENVIRONMENT.available_cpu_count.
  • library (process): Marked features of BASE_PROCESS_FACTORY, PROCESS_FACTORY, and PROCESS_INFO as class ones to make them usable for non-object calls.
  • library (base): Relaxed a precondition of {ARRAY}.subarray to allow for calling it on empty arrays.
  • library (encoding): Used a default console code page on Windows if the current one cannot be retrieved that may happen for GUI applications.
  • library (EiffelWeb): the web socket can now also be used without any persistent connection.
  • library (EiffelWeb): it is now possible to redefine the default http response when an exception occurs.
  • library (EiffelWeb): added examples/docker to demonstrate the use of apache2+libfcgi inside a docker container.

Feature removed

  • compiler: Removed an unused setting msil_assembly_compatibility from ECF (Eiffel configuration file).

Bug fixes

  • compiler: Fixed issues that caused link errors when using run-time in DLL (rather than statically linked).
  • code analyzer: test#codeanalysis027 — Avoided reporting expressions involving computation (e.g. function calls) by CA071 (comparison to itself).
  • code analyzer: test#codeanalysis028 — Avoided false positives for CA046 (inequality used in if-then-else-end) when elseif parts are present.
  • EiffelStudio: Disabled editing read-only library settings.
  • compiler: bug#17297, test#valid255 — Supported detection of VHPR(5) violations for arbitrary ancestors, not just for immediate parents. Breaking change for classes that inherit different generic derivations of the same class.
  • compiler: test#valid255 — Fixed a recompilation issue when first compilation fails and parents of the classes are changed.
  • code analyzer: test#codeanalysis029 — Avoided false positives for CA017 (an empty conditional) when there are non-empty elseif or else parts.
  • compiler: Specified source code class when reporting VUCR to show source code correctly.
  • library: bug#19436 (test#utf003) — Fixed several issues in the implementation of UTF_CONVERTER.is_valid_utf_16 (premature end of validation, infinite looping on certain inputs, access on index outside valid bounds).
  • library: Fixed a bug in the implementation of {WEL_API}.cwin_read_file and {WEL_API}.cwin_write_file that may cause GC in multi-threaded environment to hang on Windows because ReadFile and WriteFile were not marked as blocking.
  • EiffelStudio: Made sure message counters in the error panel are updated when messages are removed by a user.
  • library: test#thread024 - Fixed a bug in the implementation of PROCEDURE and FUNCTION classes that might cause memory corruption, access on void target or access on an invalid address when using agents in a system with any concurrency option turned on.
  • EiffelStudio: Fixed Pick and Drop from `Precursor` tokens.
  • EiffelStudio: Fixed EIS with pdf named destinations
  • library (EiffelWeb): Fixed HTTP_HEADER.put_raw_header (..) by ignoring any empty line of the argument value.

User changes

  • EiffelStudio: In the completion window, complete code with a single click action, and show tooltip when mouse is over the entry.
  • EiffelStudio: Show auto completion window, even if there is a unique entry.

Developer changes

  • eweasel: Ignored end-of-line differences when comparing output files.
  • compiler: Updated configuration file (ECF) schema version.