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)
- compiler: test#exec374 — Made sure that features
standard_is_equalfor real numbers work the same way as equality tests.
- 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)
- 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_64to perform comparison compliant to the standard IEEE 754 (the feature names start with
- 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.
- compiler: Added a warning
VD81for compiling a project when the setting for total order on reals is disabled.
- 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.
- run-time: Replaced
strsignal(sig)to allow compiling the run-time on wider set of platforms.
- library (base): Used built-in feature instead of external ones in
- run-time: Added macros for built-in features for
- compiler: Made settings dependent on ECF schema version.
19.05.10.3044 (April 02nd 2019, beta 19.03)
- 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.
- 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 Curentin 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)
- Added the possibility to insert unicode symbols using the IDE feature completion (see $ISE_EIFFEL/eifinit/unicode_symbols.cfg).
- New feature
FILE.make_open_temporary(_with_prefix)to create temporary file or folder. This should be used to replace obsolete
- 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).
- Optimized code generation in finalized mode for feature calls by considering polymorphic status of calls to routines and attributes separately.
- library (json): REAL NaN, Negative and Positive Infinity values are serialized as "null" (as JSON has no support for such values)
- compiler: consider that empty value or unset environment variables represent the same value for ecf variables.
- compiler: bug#17331 (test#once021) — Fixed a bug causing unresolved symbols at link time when a once-per-object calls a precursor with a formal generic return type.
- compiler: bug#15874 (test#final080), bug#18012 (test#final113), test#final124 — Fixed a bug that led to ignoring an attribute body when inlining in finalized mode was enabled.
- compiler: bug#19520 remote parent target is not readonly.
- compiler: bug#16951 (test#incr368), bug#17257 (test#incr403), bug#17305 (test#incr410), bug#17308 (test#incr412) — Fixed a bug causing incorrect recompilation for code involving qualified anchored types.
- Added output of classes that are empty or removed to the file
REMOVEDin finalized mode.
- 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
19.05.10.2756 (February 01st 2019, beta 19.01)
- EiffelStudio (error): Added an automated fix for violation of
VDRS(4)that removes the associated feature name from the corresponding subclause
- library (base): Added creation procedures
make_open_temporary_with_prefixto the class
FILEto create temporary files.
- library (base): Added class features
null_nameto the class
- library (OpenSSL): Added TLSv1.3 support, added creation procedures
make_as_tls_clientto the class
SSL_CONTEXTto 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_optionsto change the SSL ctx options as defined here SSL_CTX_set_options and
clear_optionsto clear CTX options,
min_proto_versionfor configured version or 0 for auto-configuration of highest/lowest protocol to the class
- library (WEL): Added features
dpi_for_monitorto get dots per inch (dpi) of a display and
- compiler: Workbench C code is not generated when performing finalized compilation.
- EiffelStudio (error): Provided location for violations of
- 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.
- library (logging): Fixed a C compiler warning for the call to the feature
syslogthat 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 (
- 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.
- library (vision): Removed references to the obsolete class
EV_CURSOR, and moved conversion between
- library (base): Marked the class
FILE_NAMEas obsolete use class