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/
- EiffelStudio (error): Added an automated fix for violation of
VDRS(4)that removes the associated feature name from the corresponding subclause
- 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.
- 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.
- library (vision): Removed references to the obsolete class
EV_CURSOR, and moved conversion between