Difference between revisions of "EiffelStudio 19.05 Releases"

m (New features: Added a note about taking into account object creation for dead code removal.)
m (Improvements: Added a note about optimizing feature calls in finalized mode.)
Line 14: Line 14:
  
 
===Improvements===
 
===Improvements===
 +
* Optimized code generation in finalized mode for feature calls by considering polymorphic status of calls to routines and attributes separately.
  
 
===Bug fixes===
 
===Bug fixes===

Revision as of 06:06, 20 March 2019

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.xx.yyyy ()

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.

Improvements

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

Bug fixes

  • 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#16555 (test#final088) — Fixed a bug that caused missing void target checks when inlining in finalized mode was enabled.

Feature removed

User changes

Developer changes

  • Updated contrib/library/gobo to Gobo v4.3 . *WARNING:* you may need to add to your ecf file the libraries gobo_(lexical


19.05.10.2756 (February 01st 2019)

  • Also known as 19.01-beta

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.

Feature removed

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

Developer changes