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

Added a note about detection of manifest array type mismatch.

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

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2051 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2018-07-25 07:17:37 +00:00
parent ebf16c08aa
commit 8f97cb0907
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
documentation/18.07/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-18.07.wiki
View File

@@ -1,4 +1,4 @@
[[Property:modification_date|Wed, 04 Jul 2018 09:10:10 GMT]] [[Property:modification_date|Wed, 25 Jul 2018 07:17:36 GMT]]
[[Property:publication_date|Wed, 27 Jun 2018 08:33:05 GMT]] [[Property:publication_date|Wed, 27 Jun 2018 08:33:05 GMT]]
[[Property:uuid|73F20392-AB22-4CD6-BFE5-83296B8BD64B]] [[Property:uuid|73F20392-AB22-4CD6-BFE5-83296B8BD64B]]
[[Property:title|Release notes for EiffelStudio 18.07]] [[Property:title|Release notes for EiffelStudio 18.07]]
@@ -21,7 +21,8 @@
* It is now possible to extend a project target from a different project (ECF). * 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 . * 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 (such as `table[x][y][z]`) * Updated the Eiffel grammar to support bracket expressions as bracket targets (such as `table[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. * Supported 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.
* Added detection of a type mismatch between a manifest array and a target of the reattachment where the manifest array is used for projects created before 18.01 release to facilitate migration to the new typing rules for manifest arrays. A per-library option and a project-wide setting are available to control the checks.
==Libraries== ==Libraries==
* EiffelBase: * EiffelBase: