Number reversal game: Difference between revisions

Content added Content deleted
Line 800:
require
upper_positive: upper > 0
ar_not_void: numbers /= voidVoid
local
i, j: INTEGER
Line 826:
ar_not_empty: not ar.is_empty
do
Result := TRUETrue
across
1 |..| (r - 1) as c
loop
if ar [c.item] > ar [c.item + 1] then
Result := FALSEFalse
end
end