EiffelStudio 19.05 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 19.05.x Releases

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


19.05.10.3187 (May 21st 2019, beta 19.05)

Bug fixes

  • compiler: test#exec374 — Made sure that features is_deep_equal, is_equal and standard_is_equal for real numbers work the same way as equality tests.

Developer changes

  • compiler and run-time: test#final130, test#final131, test#final132 — Ensured that an object of a class that has been removed due to dead code removal cannot be created via reflection, deserialization or storable facilities.

19.05.10.3131 (May 06th 2019, beta 19.04)

New features

  • studio: Added "Symbols" panel in feature completion dialog (in addition to features, and templates), it lists all available Unicode symbols.
  • studio: Added "Update manager" to handle EiffelStudio update notifications of new releases (beta|stable).
  • library (uri): Added support for IDNA (Internationalized Domain Names in Applications), using Punycode encoding.
  • library (scoop_patterns): Added an example to demonstrate CP_SED_CONTAINER which adds a simple solution to copy an object from a scoop processor to another using SED facilities.
  • library (base): Added features to REAL_32 and REAL_64 to perform comparison compliant to the standard IEEE 754 (the feature names start with ieee_, e.g. ieee_is_less).

Bug fixes

  • compiler: bug#16555 (test#final088) — Fixed a bug that caused missing void target checks when inlining in finalized mode was enabled.
  • compiler: Fixed minor issues with capabilities settings when manually edited, and capability comes before option declaration.
  • wizards: Fixed EiffelWeb wizard execution that was hanging EiffelStudio.
  • compiler: Fixed AST character position for Unicode operator (issue raised when the token has only one Unicode character).
  • compiler: test#exec374 — Made sure comparison of REAL numbers works the same way for classic and .NET mode.
  • compiler: test#exec374 — Corrected code generation for REAL numbers to handle total order as well as IEEE 754 standard as expected.

User changes

  • compiler: Added a warning VD81 for compiling a project when the setting for total order on reals is disabled.

    Recommended.png Recommended: Existing projects should be updated to enable total order on reals because otherwise they will be flagged with an error in the future releases.

  • compiler: Unless specified otherwise (explicitly, or implicitly when using project configurations created by an earlier version of EiffelStudio), the setting for total order on reals is enabled by default.

Developer changes

  • run-time: Replaced sys_siglist[sig] by strsignal(sig) to allow compiling the run-time on wider set of platforms.
  • library (base): Used built-in feature instead of external ones in ISE_RUNTIME, REFLECTED_COPY_SEMANTICS_OBJECT, REFLECTOR.
  • run-time: Added macros for built-in features for ISE_RUNTIME, REFLECTED_COPY_SEMANTICS_OBJECT, REFLECTOR.
  • compiler: Made settings dependent on ECF schema version.

19.05.10.3044 (April 02nd 2019, beta 19.03)

New features

  • compiler: Added a new dead code removal level, now there are 3 possible variants of the optimization:
    • none — code removal is not performed;
    • feature — code removal is based on feature call graph analysis;
    • all — in addition to the feature call analysis, only classes that are used as targets as object creation or marked as visible are kept in the system.

Bug fixes

  • compiler: bug#15876 (test#final081) — Fixed a bug causing compiler crash when compiling code a redeclaration of an external feature into a constant in finalized mode with inlining.
  • compiler: bug#17957 (test#final111) — Fixed a bug causing incorrect behavior at run-time for a non-object call on a qualified anchored type with a formal generic when inlining is enabled is finalized mode.
  • compiler: bug#19532 (test#final127) — Fixed a bug causing an object call to a wrong feature in finalized mode when the original feature is an external one.
  • compiler: bug#15853 (test#exec313) — Fixed a bug causing a non-object call to a wrong feature on the type like Curent in finalized mode when the original feature is an external one.
  • compiler: bug#19507 (test#scoop082) — Fixed a bug causing incorrect C code generation for a separate instruction in a feature without arguments triggering C compilation errors under certain conditions.
  • compiler: test#final045 — Fixed a bug that caused the compiler to terminate with an exception when finalizing code after incremental changes in the buggy source code using formal generics' creation constrains combined with renaming.
  • studio: bug#19531 Fixed metrics tool by ensuring class browser set the 3rd column text only if it exists.

19.05.10.2945 (March 08th 2019, beta 19.02)

New features

  • Added the possibility to insert unicode symbols using the IDE feature completion (see $ISE_EIFFEL/eifinit/unicode_symbols.cfg).
  • New EXECUTION_ENVIRONMENT.temporary_directory_path.
  • New feature FILE.make_open_temporary(_with_prefix) to create temporary file or folder. This should be used to replace obsolete FILE_NAME.make_temporary.
  • Dead code removal detects when instances of classes are not created and removes code associated with them. If a class should be part of the system because it is created indirectly (using reflection or storable mechanism), it should be marked as visible in the project configuration. With this option, executable size becomes 10% smaller on average (on Windows).

Improvements

  • Optimized code generation in finalized mode for feature calls by considering polymorphic status of calls to routines and attributes separately.

Bug fixes

User changes

  • Added output of classes that are empty or removed to the file REMOVED in finalized mode.

Developer changes

  • Updated contrib/library/gobo to Gobo v4.3 . *WARNING:* you may need to add to your ecf file the libraries gobo_(lexical|parse)_skl.ecf, in addition to gobo_(lexical|parse).

19.05.10.2756 (February 01st 2019, beta 19.01)

New features

  • EiffelStudio (error): Added an automated fix for violation of VDRS(4) that removes the associated feature name from the corresponding subclause redefine.
  • library (base): Added creation procedures make_open_temporary and make_open_temporary_with_prefix to the class FILE to create temporary files.
  • library (base): Added class features null_path and null_name to the class FILE.
  • library (OpenSSL): Added TLSv1.3 support, added creation procedures make_as_tls_server and make_as_tls_client to the class SSL_CONTEXT to create flexible TLS capable server/client context, the supported protocols are SSLv3, TLSv1, TLSv1.1, TLSv1.2 and TLSv1.3.
  • library (EiffelNetSSL): Added features set_options to change the SSL ctx options as defined here SSL_CTX_set_options and clear_options to clear CTX options, set_max_protocol_version, set_min_protocol_version, max_proto_version and min_proto_version for configured version or 0 for auto-configuration of highest/lowest protocol to the class SSL_SOCKET.
  • library (WEL): Added features dpi_for_monitor to get dots per inch (dpi) of a display and set_process_dpi_awaerness_per_monitor to class WEL_API
  • compiler: Workbench C code is not generated when performing finalized compilation.

Improvements

  • EiffelStudio (error): Provided location for violations of VDRS (4).
  • EiffelStudio (error): Supported a possibility to open all classes that are fixed automatically in the editor and to remember this choice for all subsequent fixes. The setting is also available in the preferences.
  • EiffelStudio (dpi): Added basic support for high dpi only on Windows.
  • Library (wikitext): accepts absolute path in external wiki link (such as [/path/to/page a page]).
  • Debugger: extended support for local variable stone in relation with the debugger.

Bug fixes

  • library (logging): Fixed a C compiler warning for the call to the feature syslog that might lead to potential vulnerability if a message has embedded format specifiers.
  • compiler: bug#19437 (test#free025) — Fixed a bug preventing validity checks for class status of features used in unqualified calls in arguments to qualified calls inside a class feature (VUCR).
  • compiler: bug#19502 — Fixed a bug with checking target dependency in project settings (ECF) when only the first occurrence of a target was checked though some other dependencies could be invalid instead.
  • compiler: test#valid019, test#valid233, test#vdrs401, test#vdrs402, test#vdrs403 — Added missing checks for VDRS(4) when a deferred feature listed in the redefine subclause is effected or merged rather than redefined. This may trigger VDRS(4) errors for existing code. The automatic fix associated with the bug report is backward compatible with previous versions of EiffelStudio and can be safely applied.
  • EiffelStudio: Avoided a crash when all editors are closed during the first compilation of a project.
  • Compiler: fixed compilation with remote target and no root class.
  • EiffelStudio: fixed regression on features tool, when toggling signature display.
  • EiffelStudio: fixed issue on gtk (linux, ...) with code completion that was not focusing back to the editor.

User changes

  • library (vision): Removed references to the obsolete class EV_CURSOR, and moved conversion between EV_CURSOR and EV_POINTER_STYLE completely to EV_CURSOR.
  • library (base): Marked the class FILE_NAME as obsolete use class PATH instead