Grundlagen der Informatik I “Programmierung”

class ARRAY[X]
creation make
feature
lower, upper, count: INTEGER;
make(min,max:INTEGER) is -- Erzeuge Feld mit Grenzen min und max
do...
ensure
max= min implies lower = min and upper = max;
max >= min implies count = max - min + 1
end; -- make
item, infix "@" (i:INTEGER):X is -- Element mit Index i
require
lower