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

Update wikipage Void-safe changes to Eiffel libraries. (Signed-off-by:jocelyn).

Browse Source 
git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1550 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2016-04-11 10:13:50 +00:00
parent 9fb579b701
commit b0ca2459f6
1 changed files with 11 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/converting-existing-software-void-safety/changes-eiffel-libraries-support-void-safety.wiki
View File

@@ -12,7 +12,7 @@ During the adoption of void-safety, the software libraries provided by Eiffel So
==Important changes to library classes== ==Important changes to library classes==
===Class <code>ARRAY</code>=== ===Class ARRAY===
====New preconditions==== ====New preconditions====
@@ -20,7 +20,7 @@ Some additional preconditions are in force in <code>ARRAY</code> in void-safe mo
In void-unsafe mode, the behavior is equivalent to that of previous versions. In void-unsafe mode, the behavior is equivalent to that of previous versions.
====Feature <code>make_from_special</code>==== ====Feature make_from_special====
The signature of this routine has changed. The signature of this routine has changed.
@@ -30,30 +30,30 @@ Previous signature: <code>make_from_special (a: SPECIAL [G]; min_index, max_inde
Using the current version will create an array with a range from 1 to the number of elements in the argument `a'. Using the current version will create an array with a range from 1 to the number of elements in the argument `a'.
====Feature <code>auto_resize</code>==== ====Feature auto_resize====
This implementation (private) feature has been removed. This implementation (private) feature has been removed.
===Class <code>ARRAYED_LIST</code>=== ===Class ARRAYED_LIST===
====Relationship to ARRAY==== ====Relationship to ARRAY====
Previously <code>ARRAYED_LIST</code> conformed to <code>ARRAY</code>. This is no longer the case. The feature <code>{ARRAYED_LIST}.to_array</code> can be used to produce an instance of <code>ARRAY</code> from an instance of <code>ARRAYED_LIST</code>. Previously <code>ARRAYED_LIST</code> conformed to <code>ARRAY</code>. This is no longer the case. The feature <code>{ARRAYED_LIST}.to_array</code> can be used to produce an instance of <code>ARRAY</code> from an instance of <code>ARRAYED_LIST</code>.
====Features <code>count</code> and <code>area</code>==== ====Features count and area====
Previously these two queries were attributes. They are now functions. Previously these two queries, <code>count</code> and <code>area</code>, were attributes. They are now functions.
===Class <code>HASH_TABLE</code>=== ===Class HASH_TABLE===
The internal implementation has changed in ways that cause the order of traversal to differ from previous versions. The internal implementation has changed in ways that cause the order of traversal to differ from previous versions.
===Classes <code>SPECIAL</code> and <code>TO_SPECIAL</code>=== ===Classes SPECIAL and TO_SPECIAL===
====Feature <code>{SPECIAL}.make</code>==== ====Feature {SPECIAL}.make====
This void-unsafe feature has been removed. This void-unsafe feature has been removed.
@@ -63,7 +63,7 @@ In its place, the creation procedures <code>{SPECIAL}.make_filled</code> and <co
<code>{SPECIAL}.make_empty</code> is available in ''default'' mode only. <code>{SPECIAL}.make_empty</code> is available in ''default'' mode only.
====Feature <code>{TO_SPECIAL}.make_area</code>==== ====Feature {TO_SPECIAL}.make_area====
In order to reflect the above change to class <code>SPECIAL</code>, the <code>make_area</code> feature of <code>TO_SPECIAL</code> has been removed in favor of <code>{TO_SPECIAL}.make_filled_area</code> and <code>{TO_SPECIAL}.make_empty_area</code>. In order to reflect the above change to class <code>SPECIAL</code>, the <code>make_area</code> feature of <code>TO_SPECIAL</code> has been removed in favor of <code>{TO_SPECIAL}.make_filled_area</code> and <code>{TO_SPECIAL}.make_empty_area</code>.
@@ -73,7 +73,7 @@ The availability of <code>{TO_SPECIAL}.make_filled_area</code> and <code>{TO_SPE
<code>{TO_SPECIAL}.make_empty_area</code> is available only in ''default'' mode. <code>{TO_SPECIAL}.make_empty_area</code> is available only in ''default'' mode.
====Relationship of feature <code>{SPECIAL}.count</code> to <code>{SPECIAL}.capacity</code>==== ====Relationship of feature {SPECIAL}.count to {SPECIAL}.capacity====
In previous versions, for a particular instance of <code>SPECIAL</code> the queries <code>count</code> and <code>capacity</code> yielded the same value. In previous versions, for a particular instance of <code>SPECIAL</code> the queries <code>count</code> and <code>capacity</code> yielded the same value.