mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-06 14:52:03 +01:00
Code Issues Packages Projects Releases Wiki Activity

Removed a few technical details.

Browse Source 
Updated wikipage Release notes for EiffelStudio 18.05.
	(Signed-off-by:jocelyn).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2033 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2018-05-28 19:05:10 +00:00
parent f2c81a67c5
commit bd055511ce
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
documentation/trunk/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-18.05.wiki
View File

@@ -4,9 +4,10 @@
[[Property:weight|0]]
==Graphical environment==
===What's new===
* The execution parameters can be automatically loaded from the eventual file `$target_name.$system_name.dbg.profiles.xml` located in same folder as the .ecf project file.
* The execution parameters can be automatically loaded from the default file saved from a previous execution session.
===Improvements===
* Extended sets of constructs checked by some default rules (CA017, CA046, CA071) of the code analyzer and made sure the checks do not trigger false positives.
* The debugger string viewer now displays information about the current cursor (character, position, ...). In addition, a new "JSON" string debugger viewer is available.
* The auto-completion is not triggered anymore for `|.` or `..` cases.
@@ -15,8 +16,8 @@
* Minor changes in icons, to have better icons for '''class feature'''.
==Compiler==
*It is now possible to extend a project target from a different project (ECF) following the xml syntax `<target name="foo" extends="bar" extends_location="another.ecf"> ....`
* The rules for '''class''' features were relaxed. Redeclaration into or joining with a class feature is valid as soon as combined assertions satisfy the class feature conditions. A non-static external and constant feature automatically gets a class post-condition if its contracts do not involve constructs that can access Current object (`Current`, an unqualified call, an inline or unqualified agent, `Precursor`, an address expression with `Current` or an unqualified feature).
* It is now possible to extend a project target from a different project (ECF).
* The rules for '''class''' features were relaxed. Re-declaration into or joining with a class feature is valid as soon as combined assertions satisfy the class feature conditions. A non-static external and constant feature automatically gets a class post-condition if its contracts do not involve constructs that can access Current object .
* Updated the Eiffel grammar to support bracket expressions as bracket targets (`foo [x][y][z]` as a synonym of `((foo [x]) [y]) [z]`)
* Supports detection of VHPR(5) violations for arbitrary ancestors, not just for immediate parents. This may be a breaking change for classes that inherit different generic derivations of the same class.
@@ -30,7 +31,6 @@
* Encoding: Use a default console code page on Windows if the current one cannot be retrieved that may happen for GUI applications.
----
See [https://dev.eiffel.com/EiffelStudio_18.05_Releases change log] for more details.