EiffelStudio 20.11 Releases

Revision as of 06:01, 7 December 2020 by Alexander Kogtenkov (Talk | contribs) (Developer changes: Cosmetics.)

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

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

20.11.xx.yyyy (Month Day 2020)

New features

  • compiler: supported once classes.
  • EiffelStudio (wizards): Added WrapC wizard.
  • EiffelStudio: Added pretty printer notification.


  • EiffelStudio: Added a zoom indicator in the Zoom menu.
  • EiffelStudio (AutoTest): Updated to make it compatible with void safety.
  • compiler: Extended the message about successful compilation with a notification if warnings were reported.
  • EiffelStudio (editor): Made start and stop symbols from Unicode forms of loop instructions to be pairs of matching "parentheses".
  • EiffelStudio (editor): Updated grammar rules for syntax highlighting to match those used by teh compiler.
  • EiffelStudio (debugger): Added preferences to control default values of CAT-call detection in the debugger and reporting in the console.

Bug fixes

  • compiler (pretty printer): Fixed bug#19667 (test#pretty033) by making sure a space is printed before delayed arguments of an agent.
  • compiler (pretty printer): Fixed test#pretty034 by correcting output for feature export adaptation clause.
  • EiffelStudio: Restore focus to previous focused widget when raising a message notification.
  • tool (Eiffel script): Fixed cache location when using an ECF file with multiple application targets.
  • EiffelStudio: Fixed the customized formatter editor dialog.
  • EiffelStudio: Fixed crash while using the project settings on linux (bug#19687).
  • EiffelStudio (AutoTest): Fixed issue with AutoTest Extracted Test Cases
  • EiffelStudio (AutoTest): Fixed issue, feature call on void target with Autotest Random generator
  • compiler (code analyzer): Significantly reduced the number of false positives when checking for CA022 violations (unreachable code).
  • EiffelStudio (debugger): Fixed a bug that prevented correct saving and restoring of CAT-call handling settings.

Feature removed

  • compiler: Dropped support for obsolete syntax with exclamation marks:
    • creation instruction/expression: use create x and create {FOO} bar.make instead of !!x and !FOO!bar.make;
    • type attachment marks: use attached and detachable instead of marks ! and ? respectively.

User changes

  • delivery: removed the "experimental" folder from the delivery.
  • EiffelStudio: Added scripts (for Unixes) in tools/spec/../bin to open external editor, launch URL, and open terminal.
  • EiffelStudio: Updated Features tools, collapsing inheritance sub-tree by default.
  • library (vision): Marked {EV_ANY}.copy as obsolete (it is non-obsolete only in descendants that redefine it).

Libraries improvements

  • http: Improved support for RFC 3339 (a profile of ISO 8601)
  • web cms: improved random value generation
  • web cms: improved authentication related to user not yet validated
  • eiffelweb: "application/force-download" is not a standard MIME content type, so use "application_octet_stream" instead as default.
  • web cms: added support for recaptcha v3
  • web cms: improved the custom block module
  • web cms: improved web form manipulation and html generation
  • vision2: added EV_LINK_LABEL and EV_HIGHLIGHT_LINK_LABEL (to mimic web link)
  • uri_launcher: Moved uri_launcher library from Eiffel framework to library/runtime/process/uri_launcher
  • base_extension: Added class TOPOLOGICAL_SORTER used to produce a total order on a set of elements having only a partial order.
  • base_extension (unstable): extended with library classes for Graphs, B-Trees and union-find, based on the thesis work Extending the Eiffel Library for data structures and algorithms: EiffelBase
  • base: Added a feature `to_hexa_digit` to character classes to convert a hexadecimal (Unicode) digit character to the corresponding numeric value.

New libraries

  • Multiple new wrappers for C libraries:
Wrapper Description of C library
wrap_mpack mpack is a C implementation of an encoder and decoder for the [MessagePack](https://msgpack.org/) serialization format.
wrap_cairo Cairo is a 2D graphics library with support for multiple output devices. Currently supported output targets include the X Window

System (via both Xlib and XCB), quartz, win32, and image buffers, as well as PDF, PostScript, and SVG file output. Experimental backends include OpenGL, BeOS, OS/2, and DirectFB.

wrap_rsvg This is librsvg - A small library to render Scalable Vector Graphics (SVG), associated with the GNOME Project. It renders SVG files to Cairo surfaces. Cairo is the 2D, antialiased drawing library that GNOME uses to draw things to the screen or to generate output for printing.

Libraries bug fixes

  • sqlite3: Fixed SQLITE text containing null character
  • web cms: Updated core and authentication modules to remove potential vulnerabilities (js, svg script in url).
  • web cms: Fixed a crash of the "roc" installer tool when a module had no "site" folder.
  • base: Corrected preconditions of shift operations on integral numbers that might not work when shift count is equal to the number of bits.

Developer changes

  • libraries: Removed the *-safe.ecf configuration files because they became useless with introduction of capabilities.