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

m

Browse Source 
Author:halw
Date:2010-08-14T15:09:37.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@655 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2010-08-14 15:09:37 +00:00
parent fd3d1eb1f0
commit 2b36669046
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/current/method/void-safe-programming-eiffel/converting-existing-software-void-safety/changes-eiffel-libraries-support-void-safety.wiki
View File

@@ -84,7 +84,7 @@ This is no longer always true. If an instance of <code>SPECIAL</code> is created
However creating a <code>SPECIAL</code> using <code>make_filled</code> will produce an instance in which <code>count</code> and <code>capacity</code> are equal upon creation. So the behavior is similar to that of previous versions. Also, <code>make_filled</code> is available in both ''default'' and ''compatible'' modes.
If you are depending upon <code>count</code> and <code>capacity</code> having the same value, then use <code>make_filled</code> for creation. And then if you need resizing, use the "with_default" versions of the "resized" queries, specifically <code>resized_area_with_default</code> and <code>aliased_resized_area_with_default</code>.
If your code depends upon <code>count</code> and <code>capacity</code> having the same value, then you can use <code>make_filled</code> for creation. And then if you need resizing, use the "_with_default" versions of the "resized" features, specifically <code>resized_area_with_default</code> and <code>aliased_resized_area_with_default</code>.