diff --git a/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/converting-existing-software-void-safety/changes-eiffel-libraries-support-void-safety.wiki b/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/converting-existing-software-void-safety/changes-eiffel-libraries-support-void-safety.wiki index 381f1107..62b5565d 100644 --- a/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/converting-existing-software-void-safety/changes-eiffel-libraries-support-void-safety.wiki +++ b/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/converting-existing-software-void-safety/changes-eiffel-libraries-support-void-safety.wiki @@ -12,7 +12,7 @@ During the adoption of void-safety, the software libraries provided by Eiffel So ==Important changes to library classes== -===Class ARRAY=== +===Class ARRAY=== ====New preconditions==== @@ -20,7 +20,7 @@ Some additional preconditions are in force in ARRAY in void-safe mo In void-unsafe mode, the behavior is equivalent to that of previous versions. -====Feature make_from_special==== +====Feature make_from_special==== The signature of this routine has changed. @@ -30,30 +30,30 @@ Previous signature: 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'. -====Feature auto_resize==== +====Feature auto_resize==== This implementation (private) feature has been removed. -===Class ARRAYED_LIST=== +===Class ARRAYED_LIST=== ====Relationship to ARRAY==== Previously ARRAYED_LIST conformed to ARRAY. This is no longer the case. The feature {ARRAYED_LIST}.to_array can be used to produce an instance of ARRAY from an instance of ARRAYED_LIST. -====Features count and area==== +====Features count and area==== -Previously these two queries were attributes. They are now functions. +Previously these two queries, count and area, were attributes. They are now functions. -===Class HASH_TABLE=== +===Class HASH_TABLE=== The internal implementation has changed in ways that cause the order of traversal to differ from previous versions. -===Classes SPECIAL and TO_SPECIAL=== +===Classes SPECIAL and TO_SPECIAL=== -====Feature {SPECIAL}.make==== +====Feature {SPECIAL}.make==== This void-unsafe feature has been removed. @@ -63,7 +63,7 @@ In its place, the creation procedures {SPECIAL}.make_filled and {SPECIAL}.make_empty is available in ''default'' mode only. -====Feature {TO_SPECIAL}.make_area==== +====Feature {TO_SPECIAL}.make_area==== In order to reflect the above change to class SPECIAL, the make_area feature of TO_SPECIAL has been removed in favor of {TO_SPECIAL}.make_filled_area and {TO_SPECIAL}.make_empty_area. @@ -73,7 +73,7 @@ The availability of {TO_SPECIAL}.make_filled_area and {TO_SPE {TO_SPECIAL}.make_empty_area is available only in ''default'' mode. -====Relationship of feature {SPECIAL}.count to {SPECIAL}.capacity==== +====Relationship of feature {SPECIAL}.count to {SPECIAL}.capacity==== In previous versions, for a particular instance of SPECIAL the queries count and capacity yielded the same value.