mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-07 15:22:31 +01:00
Author:manus
Date:2012-02-10T23:42:08.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1054 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
@@ -2,9 +2,6 @@
|
||||
[[Property:link_title|7.0]]
|
||||
[[Property:weight|13]]
|
||||
[[Property:uuid|0211321e-969d-04a4-66ee-2a6069836845]]
|
||||
{{UnderConstruction}}
|
||||
|
||||
|
||||
==What's new==
|
||||
* Supported development of incomplete void-safe classes (so called "design mode") by avoiding reporting void-safety errors for unreachable code, e.g. for the code after a call to a feature that never returns normally, say, to <e>{EXCEPTIONS}.die</e>. As a result it became possible to declare a creation procedure that does not initialize attached attributes properly (because the corresponding effective classes are not available yet), for example:
|
||||
<e>
|
||||
|
||||
Reference in New Issue
Block a user