Anonymous user
Sorting algorithms/Gnome sort: Difference between revisions
m
→{{header|Eiffel}}
Line 637:
sort (ar: ARRAY [G]): ARRAY [G]
--
require
array_not_void: ar /= VOID
Line 667:
end
ensure
Result_is_sorted: is_sorted (Result)
end
Line 676:
--- Is 'ar' sorted in ascending order?
require
ar_not_empty: ar.is_empty =
local
i: INTEGER
do
Result :=
from
i := ar.lower
Line 687:
loop
if ar [i] > ar [i + 1] then
end
i := i + 1
|