O specificare (partiala) pentru un oir generic preluata din biblioteca standard a limbajului (EIFFEL Base):
class ARRAY [G] inherit
RESIZABLE [G]
redefine
full
end;
… restul parin?ilor este omis
creation make feature - Initialization make (minindex, maxindex: INTEGER) is - Allocate array… do … corpul rutinei este omis ensure no_capacity:(minindex > maxindex) implies (capacity = 0); capacity_constraint: (minindex <= maxindex) implies (capacity = maxindex- minindex + 1) end; … restul caracteristicilor este omis end --class ARRAY